International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs (Extended Version)

Authors:
Ricardo Corin
Jerry den Hartog
Download:
URL: http://eprint.iacr.org/2005/467
Search ePrint
Search Google
Abstract: We extend a Probabilistic Hoare-style logic to formalize game-based cryptographic proofs. Our approach provides a systematic and rigorous framework, thus preventing errors from being introduced. We illustrate our technique by proving semantic security of ElGamal.
BibTeX
@misc{eprint-2005-12800,
  title={A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs (Extended Version)},
  booktitle={IACR Eprint archive},
  keywords={Games, Hoare logic, Programming languages},
  url={http://eprint.iacr.org/2005/467},
  note={To appear in ICALP 2006 Track C corin@cs.utwente.nl 13264 received 23 Dec 2005, last revised 26 Apr 2006},
  author={Ricardo Corin and Jerry den Hartog},
  year=2005
}