Workshop on Reduction Proofs in Pseudocode (WRePP)
Information about accepted papers, schedule, etc, is available on the workshop website (linked below). WRePP will take place virtually on Saturday, August 14, 2021 as an affiliated event of Crypto 2021.
The study of cryptographic proofs
has been an active field of research for over 20 years, since
cryptographic constructions and security proofs are notoriously
complex. Currently, there are two prominent lines of research
that seek to support cryptographic reasoning:
Game hopping as a methodology for proving security w.r.t.
game-based security notions was popularized by Shoup1 and Bellare and Rogaway2 who introduced code-
based game-playing. The Bellare-Rogaway approach was later
formalized in EasyCrypt.
Composition frameworks such as Universal Composability by
Canetti3 and Abstract Cryptography by Maurer and
Renner4 answer the orthogonal question of modular
protocol analysis. They provide a framework for syntactically
describing protocol composition and its effect on security.
In this workshop, we hope to break down some of the access
barriers of the field for those interested in proofs for
complex protocols and hope to provide inspiration also to
experienced protocol designers and analysts.
The workshop has three goals:
Introduce state-separating proofs (SSP)5, one of
the more recent additions to the crypto proof zoo that
combines the code-based game-playing approach with
Present new proof techniques in key exchange and secure multi-
party computation which leverage the usefulness of SSP.
Provide a platform for discussion and exchange to promote
mutual understanding in the field of cryptographic proofs and
1 Victor Shoup: Sequences of games: a tool
for taming complexity in security proofs. IACR Cryptology
ePrint Archive 2004: 332 (2004)
2 Mihir Bellare, Phillip Rogaway: The
Security of Triple Encryption and a Framework fo Code-Based
Game-Playing Proofs. EUROCRYPT 2006
3 Ran Canetti: Universally Composable
Security: A New Paradigm for Cryptographic Protocols. FOCS