Computer-Aided Security Proofs for the Working Cryptographer

This publication has 12 references indexed in Scilit:

• Beyond Provable Security Verifiable IND-CCA Security of OAEP
  Published by Springer Nature ,2011
• A Machine-Checked Formalization of Sigma-Protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2010
• Formal Certification of ElGamal Encryption
  Published by Springer Nature ,2009
• The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols
  Published by Springer Nature ,2008
• CC(X): Semantic Combination of Congruence Closure with Solvable Theories
  Electronic Notes in Theoretical Computer Science, 2008
• The Security of Triple Encryption and a Framework for Code-Based Game-Playing Proofs
  Published by Springer Nature ,2006
• Automated Security Proofs with Sequences of Games
  Published by Springer Nature ,2006
• Secure information flow by self-composition
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2004
• Probabilistic Extensions of Process Algebras**This chapter is dedicated to the fond memory of Linda Christoff.
  Published by Elsevier ,2001
• The inductive approach to verifying cryptographic protocols
  Journal of Computer Security, 1998