Short bio
Bruno Blanchet is a senior researcher at INRIA in Paris, leading the Prosecco team. His research focuses on formal methods, security protocols, and program analysis.
He is the creator of ProVerif, an automatic security protocol verifier in the symbolic model, and CryptoVerif, a verifier in the computational model. Blanchet has contributed significantly to the field through publications and teaching, including courses on proofs of security protocols.
— presenter's bio has been redacted at the date of last given talk