Bruno Blanchet

Je suis directeur de recherche à l'INRIA, dans l'équipe Prosecco de Karthik Bhargavan (et je remercie David Pointcheval de m'héberger dans ses bureaux au LIENS en attendant que j'emménage à l'antenne parisienne place d'Italie).

Sujets de recherche:

Vérification de protocoles cryptographiques dans le modèle formel, vérificateur ProVerif
Vérification de protocoles cryptographiques dans le modèle calculatoire, vérificateur CryptoVerif

Publications

Exposés

Enseignant au MPRI (Master Parisien de Recherche en Informatique), cours 2-30 Protocoles cryptographiques: preuves formelles et calculatoires

Etudiants en thèse:

Conférences:

POST'13 (PC member)
FCC'12 (PC member)
CCS'12 (PC member)
FM'12 (PC member)

Associate Editor International Journal of Applied Cryptography (IJACT)

Coordinateur du projet ProSe.

Travaux anciens :

Liens

Bruno Blanchet
Ecole Normale Supérieure
Département d'informatique
45, rue d'Ulm
75230 PARIS CEDEX 05
FRANCE
Courrier électronique : Bruno.Blanchet@trap-ens.fr (supprimez trap-)
Tél.: +33 1 44 32 21 57