Bruno Blanchet
I am senior researcher at INRIA, in the Prosecco team of Karthik Bhargavan.
Research interests:
- ProVerif, automatic security protocol verifier in the symbolic model
- CryptoVerif, security protocol verifier in the computational model
Publications
Talks
Supervision:
Teaching:
Conferences
Associate Editor International Journal of Applied Cryptography (IJACT)
Member of the TECAP project.
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