Chevalier, Yannick, 1974-...., enseignant-chercheur en informatique
Chevalier, Yannick 1974-...
VIAF ID: 172607880 ( Personal )
Permalink: http://viaf.org/viaf/172607880
Preferred Forms
Works
Title | Sources |
---|---|
Formal verification of protocols based on short authenticated strings. |
![]() |
Logical analysis and verification of cryptographic protocols. |
![]() |
Un modèle formel pour exprimer des politiques dynamiques pour contrôle d'accès et négociation dans un environnement distribué |
![]() |
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 |
![]() |
Résolution de problèmes d'accessiblité pour la compilation et la validation de protocoles cryptographiques |
![]() |
Synthèse et compilation de services web sécurisés |
![]() |
Vérification formelle de protocoles basés sur de courtes chaines authentifiées |
![]() |