Download ProVerif 1.85: Automatic Cryptographic Protocol Verifier, User

Bibliography
[AB05a]
Martı́n Abadi and Bruno Blanchet. Analyzing security protocols with secrecy types and logic
programs. Journal of the ACM, 52(1):102–146, January 2005.
[AB05b]
Martı́n Abadi and Bruno Blanchet. Computer-assisted verification of a protocol for certified
email. Science of Computer Programming, 58(1–2):3–27, October 2005. Special issue SAS’03.
[AB05c]
Xavier Allamigeon and Bruno Blanchet. Reconstruction of attacks against cryptographic
protocols. In 18th IEEE Computer Security Foundations Workshop (CSFW-18), pages 140–
154, Aix-en-Provence, France, June 2005. IEEE.
[Aba00]
Martı́n Abadi. Security protocols and their properties. In F.L. Bauer and R. Steinbrueggen,
editors, Foundations of Secure Computation, NATO Science Series, pages 39–60. IOS Press,
2000. Volume for the 20th International Summer School on Foundations of Secure Computation, held in Marktoberdorf, Germany (1999).
[ABB+ 04] William Aiello, Steven M. Bellovin, Matt Blaze, Ran Canetti, John Ioannidis, Keromytis
Keromytis, and Omer Reingold. Just Fast Keying: Key agreement in a hostile Internet.
ACM Transactions on Information and System Security, 7(2):242–273, May 2004.
[ABCL09] Martı́n Abadi, Bruno Blanchet, and Hubert Comon-Lundh. Models and proofs of protocol
security: A progress report. In Ahmed Bouajjani and Oded Maler, editors, 21st International
Conference on Computer Aided Verification (CAV’09), volume 5643 of Lecture Notes on
Computer Science, pages 35–49, Grenoble, France, June 2009. Springer.
[ABF07]
Martı́n Abadi, Bruno Blanchet, and Cédric Fournet. Just Fast Keying in the pi calculus.
ACM Transactions on Information and System Security (TISSEC), 10(3):1–59, July 2007.
[AF01]
Martı́n Abadi and Cédric Fournet. Mobile values, new names, and secure communication. In
28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
(POPL’01), pages 104–115, London, United Kingdom, January 2001. ACM Press.
[AFP06]
Michel Abdalla, Pierre-Alain Fouque, and David Pointcheval. Password-based authenticated
key exchange in the three-party setting. IEE Proceedings Information Security, 153(1):27–39,
March 2006.
[AGHP02] Martı́n Abadi, Neal Glew, Bill Horne, and Benny Pinkas. Certified email with a light on-line
trusted third party: Design and implementation. In 11th International World Wide Web
Conference, pages 387–395, Honolulu, Hawaii, May 2002. ACM Press.
[AN95]
Ross Anderson and Roger Needham. Programming Satan’s computer. In J. van Leeuven,
editor, Computer Science Today: Recent Trends and Developments, volume 1000 of Lecture
Notes on Computer Science, pages 426–440. Springer, 1995.
[AN96]
Martı́n Abadi and Roger Needham. Prudent engineering practice for cryptographic protocols.
IEEE Transactions on Software Engineering, 22(1):6–15, January 1996.
[BAF08]
Bruno Blanchet, Martı́n Abadi, and Cédric Fournet. Automated verification of selected
equivalences for security protocols. Journal of Logic and Algebraic Programming, 75(1):3–51,
February–March 2008.
99