A Framework for Game-Based Security Proofs

This publication has 17 references indexed in Scilit:

• Formal Proof of Provable Security by Game-Playing in a Proof Assistant
  Published by Springer Nature ,2007
• A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs
  Published by Springer Nature ,2006
• Automated Security Proofs with Sequences of Games
  Published by Springer Nature ,2006
• Proofs of Randomized Algorithms in Coq
  Published by Springer Nature ,2006
• A Machine-Checked Formalization of the Random Oracle Model
  Published by Springer Nature ,2006
• The Decision Diffie-Hellman problem
  Published by Springer Nature ,1998
• The Exact Security of Digital Signatures-How to Sign with RSA and Rabin
  Published by Springer Nature ,1996
• A public key cryptosystem and a signature scheme based on discrete logarithms
  IEEE Transactions on Information Theory, 1985
• Probabilistic encryption
  Journal of Computer and System Sciences, 1984
• New directions in cryptography
  IEEE Transactions on Information Theory, 1976