A probabilistic Hoare-style logic for game-based cryptographic proofs

R.J. Corin; J.I. Hartog, den

doi:10.1007/11787006_22

A probabilistic Hoare-style logic for game-based cryptographic proofs

R.J. Corin, J.I. Hartog, den

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

34 Citations (Scopus)

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
Title of host publication	Automata, Languages and Programming (Proceedings 33rd International Colloquium, ICALP 2006, Venice, Italy, July 9-16, 2006), Part II
Editors	M. Bugliesi, B. Preneel, V. Sassone, I. Wegener
Publisher	Springer
Pages	252-263
ISBN (Print)	3-540-35907-9
DOIs	https://doi.org/10.1007/11787006_22
Publication status	Published - 2006

Publication series

Name	Lecture Notes in Computer Science
Volume	4052
ISSN (Print)	0302-9743

Access to Document

10.1007/11787006_22

Cite this

Corin, R. J., & Hartog, den, J. I. (2006). A probabilistic Hoare-style logic for game-based cryptographic proofs. In M. Bugliesi, B. Preneel, V. Sassone, & I. Wegener (Eds.), Automata, Languages and Programming (Proceedings 33rd International Colloquium, ICALP 2006, Venice, Italy, July 9-16, 2006), Part II (pp. 252-263). (Lecture Notes in Computer Science; Vol. 4052). Springer. https://doi.org/10.1007/11787006_22

@inproceedings{18f390dfa60841398249508bdd4b348b,

title = "A probabilistic Hoare-style logic for game-based cryptographic proofs",

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

author = "R.J. Corin and {Hartog, den}, J.I.",

year = "2006",

doi = "10.1007/11787006_22",

language = "English",

isbn = "3-540-35907-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "252--263",

editor = "M. Bugliesi and B. Preneel and V. Sassone and I. Wegener",

booktitle = "Automata, Languages and Programming (Proceedings 33rd International Colloquium, ICALP 2006, Venice, Italy, July 9-16, 2006), Part II",

}

Corin, RJ & Hartog, den, JI 2006, A probabilistic Hoare-style logic for game-based cryptographic proofs. in M Bugliesi, B Preneel, V Sassone & I Wegener (eds), Automata, Languages and Programming (Proceedings 33rd International Colloquium, ICALP 2006, Venice, Italy, July 9-16, 2006), Part II. Lecture Notes in Computer Science, vol. 4052, Springer, pp. 252-263. https://doi.org/10.1007/11787006_22

A probabilistic Hoare-style logic for game-based cryptographic proofs. / Corin, R.J.; Hartog, den, J.I.
Automata, Languages and Programming (Proceedings 33rd International Colloquium, ICALP 2006, Venice, Italy, July 9-16, 2006), Part II. ed. / M. Bugliesi; B. Preneel; V. Sassone; I. Wegener. Springer, 2006. p. 252-263 (Lecture Notes in Computer Science; Vol. 4052).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - A probabilistic Hoare-style logic for game-based cryptographic proofs

AU - Corin, R.J.

AU - Hartog, den, J.I.

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.

U2 - 10.1007/11787006_22

DO - 10.1007/11787006_22

M3 - Conference contribution

SN - 3-540-35907-9

T3 - Lecture Notes in Computer Science

SP - 252

EP - 263

BT - Automata, Languages and Programming (Proceedings 33rd International Colloquium, ICALP 2006, Venice, Italy, July 9-16, 2006), Part II

A2 - Bugliesi, M.

A2 - Preneel, B.

A2 - Sassone, V.

A2 - Wegener, I.

PB - Springer

ER -

Corin RJ, Hartog, den JI. A probabilistic Hoare-style logic for game-based cryptographic proofs. In Bugliesi M, Preneel B, Sassone V, Wegener I, editors, Automata, Languages and Programming (Proceedings 33rd International Colloquium, ICALP 2006, Venice, Italy, July 9-16, 2006), Part II. Springer. 2006. p. 252-263. (Lecture Notes in Computer Science). doi: 10.1007/11787006_22

A probabilistic Hoare-style logic for game-based cryptographic proofs

Abstract

Publication series

Access to Document

Fingerprint

Cite this