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

Ricardo Corin, Jerry den Hartog

Research output: Book/ReportReportOther research output

30 Citations (Scopus)
16 Downloads (Pure)

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.
Original languageEnglish
Place of PublicationEnschede
PublisherUniversity of Twente, Department of Computer Science
Number of pages18
Publication statusPublished - 2006

Keywords

  • IR-55964

Fingerprint

Dive into the research topics of 'A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs (Extended version)'. Together they form a unique fingerprint.

Cite this