You are looking at a specific version 20060426:185139 of this paper.
See the latest version.
Paper 2005/467
A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs (Extended Version)
Ricardo Corin and Jerry den Hartog
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.
Metadata
- Available format(s)
- Publication info
- Published elsewhere. To appear in ICALP 2006 Track C
- Keywords
- GamesHoare logicProgramming languages
- Contact author(s)
- corin @ cs utwente nl
- History
- 2006-04-26: last of 3 revisions
- 2005-12-31: received
- See all versions
- Short URL
- https://ia.cr/2005/467
- License
-
CC BY