• AVISPA

  • Referenced in 84 articles [sw03172]
  • AVISPA (Automated Validation of Internet Security Protocols and...
  • EC2C-PAKA

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

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

  • Referenced in 4 articles [sw15083]
  • National Vulnerability Database. NVD is the U.S. government...