Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Yannick Chevalier
Yannick Chevalier a rédigé la thèse suivante :
Résolution de problèmes d'accessiblité pour la compilation et la validation de protocoles cryptographiques
par Yannick Chevalier sous la direction de Michaël Rusinowitch - Nancy 1
Informatique
Soutenue en 2003
Yannick Chevalier a dirigé les 4 thèses suivantes :
Modèles algorithmes et méthodologie pour la conception de systèmes de sécurité physique basés sur des microcontrôleurs protégés des attaques cyber-physiques
par Dmitry Levshun sous la direction de Yannick Chevalier et de Igor Kotenko . - Toulouse 3
Informatique et Télécommunications
Soutenue le 15-12-2021
Synthèse et compilation de services web sécurisés
par Mohamed-Anis Mekki sous la direction de Michaël Rusinowitch et de Yannick Chevalier . - Nancy 1
Informatique
Soutenue le 19-12-2011
Un modèle formel pour exprimer des politiques dynamiques pour contrôle d'accès et négociation dans un environnement distribué
par Marwa El Houri sous la direction de Philippe Balbiani et de Yannick Chevalier . - Toulouse 3
Informatique
Soutenue en 2010
Analyse logique et vérification des protocoles cryptographiques
par Mounira Kourjieh sous la direction de Philippe Balbiani et de Yannick Chevalier . - Toulouse 3
Informatique
Soutenue en 2009
Yannick Chevalier a été rapporteur des 2 thèses suivantes :
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
