ProTeCS 2025 will be back at Eurocrypt! Join us to celebrate and discuss cryptographic proof techniques in Madrid, May 3.
And consider submitting a short talk abstract to tell the community what *you* are excited about! Deadline February 20.
protecs-workshop.gitlab.io