Crypto 2021

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.

Abstract

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 Shoup¹ and Bellare and Rogaway² who introduced code- based game-playing. The Bellare-Rogaway approach was later formalized in EasyCrypt.
• Composition frameworks such as Universal Composability by Canetti³ and Abstract Cryptography by Maurer and Renner⁴ 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)⁵, one of the more recent additions to the crypto proof zoo that combines the code-based game-playing approach with compositionality.
• 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 composition.

Organizers