Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Yannick Chevalier
Yannick Chevalier
at_id:
orcid_id:
Disciplines:
Computer sciences
Edit
Merge
See Links
Thesis:
Résolution de problèmes d'accessiblité pour la compilation et la validation de protocoles cryptographiques
Directed Thesis:
Synthèse et compilation de services web sécurisés
Un modèle formel pour exprimer des politiques dynamiques pour contrôle d'accès et négociation dans un environnement distribué
Analyse logique et vérification des protocoles cryptographiques