Reposted by Jan Bobolz
Found a nice proof technique in your Crypto submission that deserves more attention? Do you have an elegant security proof that the community should know about? Or a new approach to cryptographic proofs?
Tell us about it!
Deadline *February 20*
Tell us about it!
Deadline *February 20*
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
And consider submitting a short talk abstract to tell the community what *you* are excited about! Deadline February 20. protecs-workshop.gitlab.io
ProTeCS 2025
Workshop on Proofs and Proof Techniques for Cryptographic Security. Affiliated with Eurocrypt 2025.
protecs-workshop.gitlab.io
February 17, 2025 at 7:22 PM
Found a nice proof technique in your Crypto submission that deserves more attention? Do you have an elegant security proof that the community should know about? Or a new approach to cryptographic proofs?
Tell us about it!
Deadline *February 20*
Tell us about it!
Deadline *February 20*