• SAFKASI

  • Referenced in 5 articles [sw20431]
  • SAFKASI: A security mechanism for language-based systems. In order to run untrusted code ... unclear relationship to the actual achievement of security, overconstrained the implementation of a Java system...
  • maskVerif

  • Referenced in 2 articles [sw40780]
  • electromagnetic based side-channel attacks are serious threats against the security of cryptographic embedded devices ... implementation’s security. We develop and implement an automated approach for verifying security of masked ... contributes to demonstrate the benefits of language-based approaches (specifically probabilistic information flow) for masking...
  • BCiC

  • Referenced in 1 article [sw26749]
  • verifying and authenticating code that combines language-based proof methods with public-key digital signatures ... trust relations. BCiC integrates the Binder security language with the Calculus of (Co)Inductive Constructions...
  • SPIN

  • Referenced in 727 articles [sw03455]
  • Spin is a popular open-source software tool...
  • AspectJ

  • Referenced in 132 articles [sw04426]
  • aspect-oriented extension to the Java. AspectJ TM...
  • Maude

  • Referenced in 700 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • JavaScript

  • Referenced in 166 articles [sw06868]
  • JavaScript is a scripting language for computers. It...
  • Bebop

  • Referenced in 73 articles [sw08928]
  • Bebop: A Symbolic Model Checker for Boolean Programs...
  • Creol

  • Referenced in 27 articles [sw09421]
  • Creol: A type-safe object-oriented model for...
  • UMDES

  • Referenced in 403 articles [sw09523]
  • UMDES Software Library: UMDES-LIB is a library...
  • MOPS

  • Referenced in 23 articles [sw10117]
  • MOPS: an infrastructure for examining security properties of...
  • Paragon

  • Referenced in 9 articles [sw13306]
  • Paragon for practical programming with information-flow control...
  • TS#

  • Referenced in 3 articles [sw14208]
  • Gradual typing embedded securely in JavaScript, ... We present...
  • Jif

  • Referenced in 19 articles [sw16478]
  • Jif: Java information flow. Jif is a security...
  • DKAL

  • Referenced in 18 articles [sw20094]
  • DKAL (Distributed Knowledge Authorization Language) is a distributed...
  • JFlow

  • Referenced in 26 articles [sw20595]
  • JFlow: practical mostly-static information flow control. A...
  • ZKPDL

  • Referenced in 3 articles [sw30793]
  • ZKPDL: a language-based system for efficient zero...