Knowledge Tree

researcher / Véronique Cortier

Véronique Cortier

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

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

Vérification de propriétés d'indistinguabilité pour les protocoles cryptographiques

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

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

Verification and composition of security protocols with applications to electronic voting

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

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