ProTeCS
The first Workshop on Proofs and Proof Techniques for Cryptographic Security (ProTeCS) focuses on cryptographic proofs as independent objects of study and will be held on
ProTeCS is an affiliated event at Eurocrypt 2024. All participants must be registered through the Eurocrypt website.
Location
The workshop will take place in the Hauptgebäude (HG) building of ETH Zurich in room D1.1.
Program
Workshop aims
Cryptographic reductions, simulations and security arguments are an important part of evaluating the (in)security of cryptographic algorithms and designs before they are realised—in standards, software and hardware. Despite the rich landscape of techniques used for reasoning about the security of primitives, constructions and interactive protocols, the cryptographic security proofs themselves are often seen as “attached” to the objects they relate to, and rarely studied as independent objects.
ProTeCS will aim at celebrating cryptographic proofs as independent objects of study and discussing the techniques that bring such proofs to life in practice, further fostering the growth of the community of proof nerds. In particular, we will focus on discussing coming challenges for cryptographic proof writers, from quantum reductions and simulations, to the need for end-to-end proof techniques that apply all the way from core primitives to high-level security requirements.
In addition to invited talks, we invite the community to submit short presentations. Please see the call for presentations.
Keynote speakers
- Joseph Jaeger (Georgia Institute of Technology)
- Adrien Koutsos (Inria Paris)
Important dates
| Submission deadline | 27 February 2024, AoE |
| Notification of acceptance | 15 March 2024 |
| Workshop | 25 May 2024 |
Organizers
- Sabine Oechsner (Vrije Universiteit Amsterdam)
- François Dupressoir (University of Bristol)