Benjamin Lipp

Special guest

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.

Benjamin Lipp has been a guest on 1 episode.