APIs  Algèbres de processus  Analyse de protocoles  Analyse de trafic  Anonymat  Apprentissage automatique  Apprentissage machine  Assistants de preuve  Auto-modification  Automates programmables  Calcul formel  Canaux auxiliaires  Certification  Chiffrement  Compilation  Coq  Coq  Correction fonctionnelle  Coupe-feu  Cryptographie  Cryptographie boîte blanche  Démonstration automatique  Logiciels -- Vérification  Mesures de sûreté  Méthodes formelles  Méthodes formelles  Obfuscation  Protocoles  Protocoles cryptographiques  Protocoles de réseaux d'ordinateurs  Systèmes informatiques -- Mesures de sûreté  Sécurité  Vote électronique  Vérification  Vérification formelle  Équivalence  

Véronique Cortier a rédigé la thèse suivante :

Vérification automatique des protocoles cryptographiques

par Véronique Cortier sous la direction de Hubert Comon-Lundh - Cachan, Ecole normale supérieure

Sciences. Informatique

Soutenue en 2003

Véronique Cortier dirige actuellement la thèse suivante :

Conception et analyse d'un système de vote électronique satisfaisant aux exigences de sécurité modernes

par Quentin Yang sous la direction de Véronique Cortier et de Pierrick Gaudry . - Université de Lorraine

Informatique

En préparation depuis le 06-11-2020

Véronique Cortier a dirigé les 7 thèses suivantes :

Vote électronique : définitions et techniques d'analyse

par Joseph Lallemand sous la direction de Véronique Cortier - Université de Lorraine

Informatique

Soutenue le 08-11-2019

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

Conception et analyse formelle de protocoles de sécurité, une application au vote électronique et au paiement mobile

par Alicia Filipiak sous la direction de Véronique Cortier - Université de Lorraine

Informatique

Soutenue le 23-03-2018

Formal verification of advanced families of security protocols : E-voting and APIs

par Cyrille Wiedling sous la direction de Véronique Cortier - Université de Lorraine

Informatique

Soutenue le 21-11-2014

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

Sécurité des protocoles cryptographiques : décidabilité et résultats de transfert

par Eugen Zălinescu (Zalinescu) sous la direction de Véronique Cortier et de Michaël Rusinowitch . - Nancy 1

Informatique

Soutenue le 17-12-2007

Vérification des protocoles cryptographiques : comparaison des modèles symboliques avec une application des résultats : étude des protocoles récursifs

par Heinrich Hördegen sous la direction de Michaël Rusinowitch et de Véronique Cortier . - Nancy 1

Informatique

Soutenue le 29-11-2007

Véronique Cortier a été président de jury des 4 thèses suivantes :

Conception de schémas de chiffrement boîte blanche pour la sécurité des applications mobiles

par Sandra Rasoamiaramanana sous la direction de Marine Minier - Université de Lorraine

Informatique

Soutenue le 12-06-2020

Secure, fast and verified cryptographic applications : a scalable approach

par Jean-Karim Zinzindohoué-Marsaudon sous la direction de Karthikeyan Bhargavan - Paris Sciences et Lettres (ComUE)

Informatique

Soutenue le 03-07-2018

Réflexion, calculs et logiques

par Hubert Godfroy sous la direction de Jean-Yves Marion - Université de Lorraine

Informatique

Soutenue le 06-10-2017

Service-Level Monitoring of HTTPS Traffic

par Wazen M. Shbair sous la direction de Isabelle Chrisment et de Thibault Cholez . - Université de Lorraine

Informatique

Soutenue le 03-05-2017

Véronique Cortier a été rapporteur des 2 thèses suivantes :

Secure, fast and verified cryptographic applications : a scalable approach

par Jean-Karim Zinzindohoué-Marsaudon sous la direction de Karthikeyan Bhargavan - Paris Sciences et Lettres (ComUE)

Informatique

Soutenue le 03-07-2018

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

Véronique Cortier a été membre de jury des 4 thèses suivantes :

Méthodes d'apprentissage machine pour la protection de la vie privée : mesure de leakage et design des mécanismes

par Marco Romanelli sous la direction de Catuscia Palamidessi et de Moreno Falaschi . - Institut polytechnique de Paris

Informatique, données, IA

Soutenue le 21-10-2020

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

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