A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs

Ricardo Corin; Jerry den Hartog

doi:10.1007/11787006_22

A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs

Ricardo Corin
, Jerry den Hartog

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

313 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
Title of host publication	Automata, Languages and Programming
Subtitle of host publication	33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings
Editors	Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener
Place of Publication	Berlin
Publisher	Springer
Pages	252-263
Number of pages	12
ISBN (Electronic)	978-3-540-35908-1
ISBN (Print)	978-3-540-35907-4
DOIs	https://doi.org/10.1007/11787006_22
Publication status	Published - Jul 2006
Event	33rd International Colloquium on Automata, Languages and Programming, ICALP 2006 - Venice, Italy Duration: 9 Jul 2006 → 13 Jul 2006 Conference number: 33

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	4052
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	33rd International Colloquium on Automata, Languages and Programming, ICALP 2006
Abbreviated title	ICALP
Country/Territory	Italy
City	Venice
Period	9/07/06 → 13/07/06

Keywords

METIS-237428
SCS-Cybersecurity
EWI-1785
IR-65548

Access to Document

10.1007/11787006_22

hoare_crypto_longSubmitted version, 251 KB
hoare_cryptoAccepted author version, 234 KB

Cite this

Corin, R., & den Hartog, J. (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: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings (pp. 252-263). (Lecture Notes in Computer Science; Vol. 4052). Springer. https://doi.org/10.1007/11787006_22

Corin, Ricardo ; den Hartog, Jerry. / A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs. Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings. editor / Michele Bugliesi ; Bart Preneel ; Vladimiro Sassone ; Ingo Wegener. Berlin : Springer, 2006. pp. 252-263 (Lecture Notes in Computer Science).

@inproceedings{beb509e3a5904bb197dd9d55e3017b0f,

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

keywords = "METIS-237428, SCS-Cybersecurity, EWI-1785, IR-65548",

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

year = "2006",

month = jul,

doi = "10.1007/11787006\_22",

language = "English",

isbn = "978-3-540-35907-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "252--263",

editor = "Michele Bugliesi and Bart Preneel and Vladimiro Sassone and Ingo Wegener",

booktitle = "Automata, Languages and Programming",

address = "Germany",

note = "33rd International Colloquium on Automata, Languages and Programming, ICALP 2006, ICALP ; Conference date: 09-07-2006 Through 13-07-2006",

}

Corin, R & den Hartog, J 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: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings. Lecture Notes in Computer Science, vol. 4052, Springer, Berlin, pp. 252-263, 33rd International Colloquium on Automata, Languages and Programming, ICALP 2006, Venice, Italy, 9/07/06. https://doi.org/10.1007/11787006_22

A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs. / Corin, Ricardo; den Hartog, Jerry.
Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings. ed. / Michele Bugliesi; Bart Preneel; Vladimiro Sassone; Ingo Wegener. Berlin: 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, Ricardo

AU - den Hartog, Jerry

N1 - Conference code: 33

PY - 2006/7

Y1 - 2006/7

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 - METIS-237428

KW - SCS-Cybersecurity

KW - EWI-1785

KW - IR-65548

U2 - 10.1007/11787006_22

DO - 10.1007/11787006_22

M3 - Conference contribution

SN - 978-3-540-35907-4

T3 - Lecture Notes in Computer Science

SP - 252

EP - 263

BT - Automata, Languages and Programming

A2 - Bugliesi, Michele

A2 - Preneel, Bart

A2 - Sassone, Vladimiro

A2 - Wegener, Ingo

PB - Springer

CY - Berlin

T2 - 33rd International Colloquium on Automata, Languages and Programming, ICALP 2006

Y2 - 9 July 2006 through 13 July 2006

ER -

Corin R, den Hartog J. A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs. In Bugliesi M, Preneel B, Sassone V, Wegener I, editors, Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings. Berlin: 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

Conference

Keywords

Access to Document

Fingerprint

Cite this