Bruno Blanchet
I am a researcher at LIENS (Computer
Science Laboratory of Ecole Normale Supérieure), in
the Crypto team
of David Pointcheval
(INRIA project-team CASCADE).
Research interests:
Publications
Talks
Teaching at MPRI (Parisian Master of Research in Computer Science), course 2-30 Cryptographic protocols: formal and computational proofs
Conferences:
Associate Editor International Journal of Applied Cryptography (IJACT)
Coordinator of the Formacrypt project.
Old work:
Links
Bruno Blanchet
Ecole Normale Supérieure
Département d'informatique
45, rue d'Ulm
75230 PARIS CEDEX 05
FRANCE
E-Mail: Bruno.Blanchet@trap-ens.fr (remove trap-)
Phone: +33 1 44 32 21 57