Bruno Blanchet
Je suis directeur de recherche à l'INRIA, responsable de l'équipe Prosecco (intérim de Karthik Bhargavan).
Sujets de recherche:
- ProVerif, vérificateur de protocoles cryptographiques dans le modèle symbolique
- CryptoVerif, vérificateur de protocoles cryptographiques dans le modèle calculatoire
Publications
Exposés
Enseignement:
Conférences
Responsable local du projet SVP (PEPR Cybersécurité) pour Inria Paris et
participant du projet PQ-TLS (PEPR Quantique).
Anciens étudiants en thèse:
Travaux anciens :
Liens
Bruno Blanchet
Inria
2 rue Simone Iff
75012 Paris
FRANCE
Courrier électronique : Bruno.Blanchet@trap-inria.fr (supprimez trap-)
Tél.: +33 1 80 49 43 51