TL
Tancrède Lepoint
@tancre.de
Applied Scientist at AWS • Cryptographer • My opinions are my own • 🏳️🌈 (he/him)
150 followers47 following11 posts
The program of Crypto 2024 is online, with an invited talk by Karthik Bhargavan on formal verification in crypto! #crypto2024crypto.iacr.org/2024/program...
Crypto 2024 program
44th Annual International Cryptology Conference
9 days left to register before the early registration deadline!
TL
Tancrède Lepoint
@tancre.de
Applied Scientist at AWS • Cryptographer • My opinions are my own • 🏳️🌈 (he/him)
150 followers47 following11 posts