- Referenced in 89 articles
- The MQV protocol of Law, Menezes, Qu, Solinas...
- Referenced in 81 articles
- LaMacchia, Lauter and Mityagin recently presented a strong...
- Referenced in 33 articles
- Computer-aided security proofs for the working cryptographer...
- Referenced in 6 articles
- ASPIER: An Automated Framework for Verifying Security Protocol...