Benjamin is a PhD student at Inria Paris in the Prosecco research team. He is enthusiastic about cryptography and more specifically cryptographic protocols. His research focuses on the mechanization of cryptographic security proofs, mainly for real-world protocols, and on formally linking such proofs to implementations.
January 7th, 2021 | 1 hr 37 mins
real world crypto
In this special episode, Nadim and Benjamin go through the entire program of IACR Real World Crypto 2021 in preparation for an exciting conference!