Bruno Blanchet
Je suis directeur de recherche à l'INRIA, dans l'équipe Prosecco 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
Supervision:
- Nadim Kobeissi (Karthik Bhargavan est son directeur de thèse et principal encadrant.)
- Marc Sylvestre (Ingénieur qui travaille sur ProVerif)
- Benjamin Lipp (Stagiaire de Master 2)
Enseignement:
Conférences:
- RESSI 2018 (PC member)
- POST (Steering committee member)
- FCS (Steering committee member)
Associate Editor International Journal of Applied Cryptography (IJACT)
Participant des projets AnaStaSec, NEXTLEAP et TECAP.
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