Just Fast Keying in the Pi Calculus

This publication has 18 references indexed in Scilit:

• An efficient cryptographic protocol verifier based on prolog rules
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• A derivation system for security protocols and its logical formalization
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2004
• Hiding Names: Private Authentication in the Applied Pi Calculus
  Published by Springer Nature ,2003
• Computer-Assisted Verification of a Protocol for Certified Email
  Published by Springer Nature ,2003
• Efficient, DoS-resistant, secure key exchange for internet protocols
  Published by Association for Computing Machinery (ACM) ,2002
• From Secrecy to Authenticity in Security Protocols
  Published by Springer Nature ,2002
• Analyzing security protocols with secrecy types and logic programs
  Published by Association for Computing Machinery (ACM) ,2002
• Mobile values, new names, and secure communication
  Published by Association for Computing Machinery (ACM) ,2001
• A probabilistic poly-time framework for protocol analysis
  Published by Association for Computing Machinery (ACM) ,1998
• Three systems for cryptographic protocol analysis
  Journal of Cryptology, 1994