Are you finally registering for Eurocrypt '25? Are you interested in a cool new workshop on using computers to help you actually do cryptography and proofs? Sign up for the Workshop on Computer-Aided Proofs of Security (CAPS), Sunday May 4th!
🜗 🝒 🝲 crypto as in 'cryptography' 🝳 🝡 🜖
¹isogenist, co-host SCWpod
