Apprentissage avec erreurs  Calcul formel  Chiffrement  Conception des systèmes embarqués  Cryptographie  Cryptographie post-quantique  Cryptographie à base de réseaux  Cryptographie à clé publique  Difficulté classique  Décidabilité  Décidabilité  Déni de service  IKEv2  Informatique  Interconnexion de réseaux  Logiciels -- Vérification  Matrice de Vandermonde  Mesures de sûreté  Modèle symbolique  Modèles mathématiques  Modélisation  Méthodes formelles  Méthodes formelles  Non-Traçabilité  Paiement  Produit intermédiaire  Protection de l'information  Protocole cryptographique  Protocoles  Protocoles cryptographiques  Protocoles de réseaux d'ordinateurs  Protocoles de sécurité  Systèmes informatiques -- Mesures de sûreté  Sécurité  Vérification  Vérification formelle  

Stéphanie Delaune a rédigé la thèse suivante :

Vérification des protocoles cryptographiques et propriétés algébriques

par Stéphanie Delaune sous la direction de Hubert Comon-Lundh - Cachan, Ecole normale supérieure

Informatique

Soutenue en 2006

Stéphanie Delaune a dirigé les 8 thèses suivantes :

Vérification formelle de la non-traçabilité pour les protocoles à état : entre modèles symboliques et calculatoires

par Solène Moreau sous la direction de Stéphanie Delaune et de David Baelde . - Rennes 1

Informatique

Soutenue le 18-11-2021

Symbolic verification of distance-bounding protocols : application to payment protocols

par Alexandre Debant sous la direction de Stéphanie Delaune - Rennes 1

Informatique

Soutenue le 17-11-2020

Formal verification of the Internet Key Exchange (IKEv2) security protocol

par Tristan Ninet sous la direction de Stéphanie Delaune et de Olivier Zendra . - Rennes 1

Informatique

Soutenue le 09-03-2020

Vérification de propriétés d'indistinguabilité pour les protocoles cryptographiques

par Antoine Dallon sous la direction de Stéphanie Delaune et de Véronique Cortier . - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 26-11-2018

Vérification formelle de protocoles basés sur de courtes chaines authentifiées

par Ludovic Robin sous la direction de Steve Kremer et de Stéphanie Delaune . - Université de Lorraine

Informatique

Soutenue le 15-02-2018

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

Formal verification of secured routing protocols

par Mathilde Arnaud sous la direction de Stéphanie Delaune et de Jean Goubault-Larrecq . - Cachan, Ecole normale supérieure

Informatique

Soutenue le 13-12-2011

Stéphanie Delaune a été président de jury de la thèse suivante :

Theoretical hardness of algebraically structured learning with errors

par Katharina Boudgoust sous la direction de Adeline Roux-Langlois et de Pierre-Alain Fouque . - Rennes 1

Informatique

Soutenue le 16-11-2021

Stéphanie Delaune a été rapporteur des 2 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

Environnement pour l'analyse de sécurité d'objets communicants

par Florian Lugou sous la direction de Ludovic Apvrille et de Aurélien Francillon . - Université Côte d'Azur (ComUE)

Informatique

Soutenue le 08-02-2018

Stéphanie Delaune a été membre de jury de la thèse suivante :

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