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

Ricardo Corin; Jerry den Hartog

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

Ricardo Corin, Jerry den Hartog

University of Twente

Research output: Book/Report › Report › Other research output

34 Citations (Scopus)

58 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 language	English
Place of Publication	Enschede
Publisher	University of Twente
Number of pages	18
Publication status	Published - 2006

Keywords

IR-55964

Access to Document

Corin06probabilisticFinal published version, 251 KB

http://eprint.iacr.org/2005/467.pdf

Cite this

@book{b76112e9a93345cc8fa4ece283f476f5,

title = "A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs (Extended version)",

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.",

keywords = "IR-55964",

author = "Ricardo Corin and {den Hartog}, Jerry",

year = "2006",

language = "English",

publisher = "University of Twente",

address = "Netherlands",

}

TY - BOOK

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

AU - Corin, Ricardo

AU - den Hartog, Jerry

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

KW - IR-55964

M3 - Report

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

PB - University of Twente

CY - Enschede

ER -

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

Abstract

Keywords

Access to Document

Fingerprint

Cite this