Automated Security Proofs with Sequences of Games

This publication has 28 references indexed in Scilit:

• Probabilistic Polynomial-Time Semantics for a Protocol Security Logic
  Published by Springer Nature ,2005
• Computationally Sound, Automated Proofs for Security Protocols
  Published by Springer Nature ,2005
• A Machine-Checked Formalization of the Generic Model and the Random Oracle Model
  Published by Springer Nature ,2004
• A composable cryptographic library with nested operations
  Published by Association for Computing Machinery (ACM) ,2003
• Symmetric Authentication within a Simulatable Cryptographic Library
  Published by Springer Nature ,2003
• Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)*
  Journal of Cryptology, 2002
• Practice-oriented provable-security
  Published by Springer Nature ,1998
• The Exact Security of Digital Signatures-How to Sign with RSA and Rabin
  Published by Springer Nature ,1996
• Random oracles are practical
  Published by Association for Computing Machinery (ACM) ,1993
• New directions in cryptography
  IEEE Transactions on Information Theory, 1976