Workshop on Computer-Aided Proofs of Security (CAPS)

Computers should be helping us do cryptography.

Explore More ⇩
Overview

Workshop on Computer-Aided Proofs of Security - Sunday May 4th 2025

Interested in this formal verification thing everyone talks about, but no clue where to start? EasyCrypt, ProVerif, Lean, aren't they all the same? Why are there so many tools when one should be enough? CAPS will give you an overview of the formal verification tool landscape for cryptographic security, for primitives and protocols, and from symbolic to computational security and everything in between.

The workshop's aim is to give cryptographers an overview of the current tool landscape around cryptographic security proofs, from the perspective of how they would interact with the tools. More generally, we hope to bring together researchers and practitioners in cryptography and formal methods that are interested in computer-aided security proofs.

Program

9:00-9:30Overview by the organizers
9:30-9:45Primitives: KEM-DEM Security Pen & Paper Proof
9:45-10:30KEM-DEM & more in ProofFrog by Douglas Stebila
10:30-11:00coffee break
11:00-12:00KEM-DEM & more in EasyCrypt by François Dupressoir
12:00-12:15Protocols: Key Exchange Security Pen & Paper Proof by Doreen Riepel
12:15-13:00Key Exchange & more in Tamarin by Cas Cremers
13:00-14:15lunch break
14:15-15:15Key Exchange & more in ProVerif by Vincent Cheval
15:15-15:45coffee break
15:45-17:15Round Table with Tool Developers: The State of Computer-Aided Proofs of Security

(Subject to change)

Date and Location

Date: Sunday, May 4th, 2025

Location: Facultad de Ciencias Matemáticas, Universidad Complutense de Madrid (UCM)in Madrid, Spain. (Room TBD.)

The venue is near the Ciudad Universitaria (line 6) metro stop.

Registration

Please register through the Eurocrypt 2025 website by selecting CAPS as your "workshop day 2" event.

CAPS'25 will be held in Madrid, Spain, on Sunday, May 4th, as a Eurocrypt 2025 affiliated event. Please register through the Eurocrypt 2025 website by selecting CAPS as your "workshop day 2" event.

If you are excited about CAPS, the ProTeCS workshop may also interest you. It provides a less verification-focused take on cryptographic proofs on the day before CAPS.

Resources

Organizers

Last updated March 31, 2025