Benjamin Lipp

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.