Crypto 2021

August 16-20 2021


Workshop on Reduction Proofs in Pseudocode

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:

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:

Workshop website