[PHOTO]

Bruno Blanchet

[Français]
I am senior researcher at INRIA, in the Prosecco team of Karthik Bhargavan.

Research interests:

Publications

Talks

Teaching at MPRI (Parisian Master of Research in Computer Science), course 2-30 Cryptographic protocols: formal and computational proofs

PhD students:

Conferences:

Associate Editor International Journal of Applied Cryptography (IJACT)

Member of the AnaStaSec project.

Coordinator of the ProSe project.


Old work:

Links


Bruno Blanchet
Inria
23 avenue d'Italie
CS 81321
75214 Paris Cedex 13
FRANCE
E-Mail: Bruno.Blanchet@trap-inria.fr (remove trap-)
Phone: +33 1 39 63 59 41