• 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...