Results 1 to 4 of 4
Sort by:

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

  • NAXOS
  • Referenced in 81 articles [sw03050]
  • LaMacchia, Lauter and Mityagin recently presented a strong...

  • EasyCrypt
  • Referenced in 33 articles [sw09738]
  • Computer-aided security proofs for the working cryptographer...

  • ASPIER
  • Referenced in 6 articles [sw09852]
  • ASPIER: An Automated Framework for Verifying Security Protocol...