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