Formal Certification of ElGamal Encryption

This publication has 8 references indexed in Scilit:

• Proofs of randomized algorithms in Coq
  Science of Computer Programming, 2009
• A Framework for Game-Based Security Proofs
  Published by Springer Nature ,2007
• The Security of Triple Encryption and a Framework for Code-Based Game-Playing Proofs
  Published by Springer Nature ,2006
• A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs
  Published by Springer Nature ,2006
• A Machine-Checked Formalization of the Generic Model and the Random Oracle Model
  Published by Springer Nature ,2004
• Probabilistic Extensions of Process Algebras**This chapter is dedicated to the fond memory of Linda Christoff.
  Published by Elsevier ,2001
• A Per Model of Secure Information Flow in Sequential Programs
  Higher-Order and Symbolic Computation, 2001
• Probabilistic encryption
  Journal of Computer and System Sciences, 1984