• NAXOS

  • Referenced in 73 articles [sw03050]
  • presented a strong security definition for authenticated key agreement strengthening the well-known Canetti-Krawczyk ... complicated. This paper proposes a new authenticated key agreement protocol, called CMQV (‘Combined’ MQV), which...
  • EC2C-PAKA

  • Referenced in 11 articles [sw03308]
  • efficient client-to-client password-authenticated key agreement Most password-authenticated key agreement schemes described ... literature have focused on authenticated key agreement using a shared password between a client ... study client-to-client password-authenticated key agreement (C2C-PAKA) enabling two clients in different...
  • SCTP

  • Referenced in 2 articles [sw03483]
  • proposed solution for authentication and key agreement; Data confidentiality is provided through encryption and decryption...
  • ProVerif

  • Referenced in 43 articles [sw06558]
  • signatures), hash functions, and Diffie-Hellman key agreements, specified both as rewrite rules ... adversary cannot obtain the secret, CSFW’01), authentication (SAS’02) and more generally correspondence properties...
  • Magma

  • Referenced in 3315 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • NTL

  • Referenced in 220 articles [sw00638]
  • NTL is a high-performance, portable C++ library...
  • R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • HMQV

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

  • Referenced in 87 articles [sw03172]
  • AVISPA (Automated Validation of Internet Security Protocols and...
  • CPLEX

  • Referenced in 2773 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • Gurobi

  • Referenced in 690 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • DLMF

  • Referenced in 2809 articles [sw04968]
  • NIST digital library of mathematical functions. The National...
  • CBraid

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

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

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

  • Referenced in 95 articles [sw06559]
  • A Compiler for the Analysis of Security Protocols...
  • OEIS

  • Referenced in 4221 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • TinyECC

  • Referenced in 20 articles [sw09089]
  • TinyECC: A Configurable Library for Elliptic Curve Cryptography...