• QUAD

  • Referenced in 7 articles [sw19553]
  • QUAD: A multivariate stream cipher with provable security. We present the stream cipher QUAD ... provable security arguments supporting its conjectured strength for suitable parameter values. QUAD was first proposed...
  • AnZenMail

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

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

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

  • Referenced in 3917 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 739 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • Scream

  • Referenced in 4 articles [sw01287]
  • Scream: A software-efficient stream cipher. We report...
  • 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 61 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 40 articles [sw03047]
  • CLEFIA is an efficient, highly secure block cipher...
  • NAXOS

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

  • Referenced in 50 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 470 articles [sw03484]
  • PVS is a verification system: that is, a...
  • mctoolbox

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

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