Previous Editions

ProTeCS 2024, Zürich, 25 May 2024

Workshop on Proofs and Proof Techniques for Cryptographic Security. Affiliated with Eurocrypt 2025.

The ProTeCS logo was co-created with Canva's Magic Media AI tool.