Chevalier, Yannick, 1974-...., enseignant-chercheur en informatique
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
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 |
|
