Deirdre Connolly¹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!
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!