Bruno Blanchet
I am senior researcher at INRIA, leader of the Prosecco team (while Karthik Bhargavan is on leave).
Research interests:
- ProVerif, automatic security protocol verifier in the symbolic model
- CryptoVerif, security protocol verifier in the computational model
Publications
Talks
Teaching:
Conferences
In charge of projects SVP (PEPR Cybersecurity) and PQ-TLS (PEPR Quantic) for Prosecco.
Former PhD students:
Old work:
Links
Bruno Blanchet
Inria
2 rue Simone Iff
75012 Paris
FRANCE
E-Mail: Bruno.Blanchet@trap-inria.fr (remove trap-)
Phone: +33 1 80 49 43 51