A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs

This publication has 11 references indexed in Scilit:

• A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs
  Published by Springer Nature ,2006
• Proofs of Randomized Algorithms in Coq
  Published by Springer Nature ,2006
• A computationally sound mechanized prover for security protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2006
• Boneh-Franklin Identity Based Encryption Revisited
  Published by Springer Nature ,2005
• Machine-Checked Security Proofs of Cryptographic Signature Schemes
  Published by Springer Nature ,2005
• Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols
  Published by Springer Nature ,2004
• VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC
  International Journal of Foundations of Computer Science, 2002
• Identity-Based Encryption from the Weil Pairing
  Published by Springer Nature ,2001
• A public key cryptosystem and a signature scheme based on discrete logarithms
  IEEE Transactions on Information Theory, 1985
• An axiomatic basis for computer programming
  Communications of the ACM, 1969