Assistants de preuve  Automatisation  Certification  Chiffrement  Clauses de horn  Coq  Coq  Cryptographie  Décidabilité  Décidabilité  Démonstration automatique  Fiabilité  Implémentations vérifiées  Indistinguabilité  Informatique -- Mathématiques  Informatique  Infrastructures à clés publiques  Logiciels -- Vérification  Mesures de sécurité  Mesures de sûreté  Model calculatoire  Modèle calculatoire  Modèle symbolique  Modèle à taille de mémoire borné  Méthodes formelles  Méthodes formelles  Méthodes symboliques  Pi-calcul  Preuve  Protocoles  Protocoles cryptographiques  Protocoles de réseaux d'ordinateurs  Systèmes informatiques -- Mesures de sûreté  Sécurité  Vérification  Vérification formelle  

Bruno Blanchet dirige actuellement la thèse suivante :

Preuves mécanisées de protocoles cryptographiques et leur lien avec des implémentations vérifiées

par Benjamin Lipp sous la direction de Bruno Blanchet et de Karthikeyan Bhargavan . - Université Paris sciences et lettres

Informatique

En préparation depuis le 01-09-2018

Bruno Blanchet a dirigé les 4 thèses suivantes :

Formal verification for real-world cryptographic protocols and implementations

par Nadim Kobeissi sous la direction de Karthikeyan Bhargavan et de Bruno Blanchet . - Paris Sciences et Lettres (ComUE)

Informatique

Soutenue le 10-12-2018

Verification of cryptographic protocols with lists of unbounded length

par Miriam Paiola sous la direction de Bruno Blanchet - Paris 7

Informatique

Soutenue en 2014

Implémentations de protocoles cryptographiques prouvées dans le modèle calculatoire

par David Cadé sous la direction de Bruno Blanchet - Paris 7

Informatique

Soutenue en 2013

Automatic verification of cryptographic protocols : privacy-type properties

par Vincent Cheval sous la direction de Hubert Comon-Lundh et de Bruno Blanchet . - Cachan, Ecole normale supérieure

Informatique

Soutenue le 03-12-2012

Bruno Blanchet a été rapporteur des 4 thèses suivantes :

Vérification automatique de la protection de la vie privée : entre théorie et pratique

par Lucca Hirschi sous la direction de Stéphanie Delaune et de David Baelde . - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 21-04-2017

Analyse automatique de propriétés d’équivalence pour les protocoles cryptographiques

par Rémy Chretien sous la direction de Stéphanie Delaune - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 11-01-2016

Proof of security protocols revisited

par Guillaume Scerri sous la direction de Hubert Comon-Lundh - Cachan, Ecole normale supérieure

Informatique

Soutenue le 29-01-2015

Verification and composition of security protocols with applications to electronic voting

par Ştefan Ciobâcǎ (Ciobâcǎ) sous la direction de Véronique Cortier , Jean Goubault-Larrecq et de Steve Kremer . - Cachan, Ecole normale supérieure

Informatique

Soutenue le 09-12-2011

Bruno Blanchet a été membre de jury des 3 thèses suivantes :

Preuves de protocoles cryptographiques : méthodes symboliques et attaquants puissants

par Charlie Jacomme sous la direction de Hubert Comon-Lundh et de Steve Kremer . - université Paris-Saclay

Informatique

Soutenue le 16-10-2020

Preuves symboliques de propriétés d’indistinguabilité calculatoire

par Adrien Koutsos sous la direction de Hubert Comon-Lundh - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 27-09-2019

Méthodes pour la vérification des protocoles cryptographiques dans le modèle calculatoire

par Mathilde Duclos sous la direction de Yassine Lakhnech et de Pierre Corbineau . - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 29-01-2016