• AnZenMail

  • Referenced in 4 articles [sw06211]
  • enhancement technologies. In addition to a provably secure message transfer protocol, we have designed...
  • Coq

  • Referenced in 1153 articles [sw00161]
  • Coq is a formal proof management system. It...
  • FGb

  • Referenced in 212 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • Mathematica

  • Referenced in 3847 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Reveal

  • Referenced in 19 articles [sw00801]
  • We describe the Reveal formal functional verification system...
  • SageMath

  • Referenced in 705 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • ESIGN

  • Referenced in 21 articles [sw02120]
  • ESIGN is an efficient digital signature algorithm [OkS...
  • OMAC

  • Referenced in 9 articles [sw02642]
  • Modeling involves a series of stages, from the...
  • HMQV

  • Referenced in 59 articles [sw02714]
  • The MQV protocol of Law, Menezes, Qu, Solinas...
  • KASUMI

  • Referenced in 19 articles [sw02926]
  • KASUMI is a block cipher used in UMTS...
  • CLEFIA

  • Referenced in 39 articles [sw03047]
  • CLEFIA is an efficient, highly secure block cipher...
  • NAXOS

  • Referenced in 43 articles [sw03050]
  • LaMacchia, Lauter and Mityagin recently presented a strong...
  • KEM-DEM

  • Referenced in 52 articles [sw03093]
  • A universally composable secure channel based on the...
  • EC2C-PAKA

  • Referenced in 11 articles [sw03308]
  • EC2C-PAKA: an efficient client-to-client password...
  • PVS

  • Referenced in 508 articles [sw03484]
  • PVS is a verification system: that is, a...
  • mctoolbox

  • Referenced in 1002 articles [sw04827]
  • The Matrix Computation Toolbox is a collection of...
  • CBraid

  • Referenced in 25 articles [sw05941]
  • CBraid is a C++ class library that implements...
  • Salsa20

  • Referenced in 19 articles [sw06165]
  • The Salsa20 encryption function, also known as Snuffle...
  • CMQV+

  • Referenced in 25 articles [sw06418]
  • CMQV+: an authenticated key exchange protocol from CMQV...