• McEliece

  • Referenced in 242 articles [sw02076]
  • Practical power analysis attacks on software implementations of...
  • ESIGN

  • Referenced in 23 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 79 articles [sw02714]
  • The MQV protocol of Law, Menezes, Qu, Solinas...
  • OTTER

  • Referenced in 316 articles [sw02904]
  • Our current automated deduction system Otter is designed...
  • KASUMI

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

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

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

  • Referenced in 59 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...
  • MCBC

  • Referenced in 6 articles [sw03323]
  • Two new efficient CCA-secure online ciphers: MHCBC...
  • PVS

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

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

  • Referenced in 557 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...
  • CBraid

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

  • Referenced in 29 articles [sw06009]
  • MIRACL (Multiprecision Integer and Rational Arithmetic C/C++ Library...
  • Salsa20

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

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

  • Referenced in 390 articles [sw06751]
  • The Nuprl system is a framework for reasoning...
  • ChaCha

  • Referenced in 31 articles [sw07098]
  • ChaCha, a variant of Salsa20. ChaCha8 is a...