CryptoDB
A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs (Extended Version)
Authors: | |
---|---|
Download: | |
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 }