Vérification des protocoles cryptographiques : comparaison des modèles symboliques
avec une application des résultats. Etude des protocoles récursifs / Heinrich Hördegen
; sous la direction de Michaël Rusinowitch et Véronique Cortier, 2007
http://ark.bnf.fr/ark:/12148/cb172055889, 2023-12-18
Information trouvée : Cortier, Véronique
http://id.loc.gov/authorities/names/no2009118182, 2020-01-10
Information trouvée : Cortier, Véronique
https://members.loria.fr/VCortier/, 2023-12-18
Information trouvée : Informaticienne. Directrice de recherche CNRS, co-responsable de l'équipe de recherche
Proof techniques for security protocols (PESTO), département Méthodes formelles, Laboratoire
lorrain de recherche en informatique et ses applications (LORIA, UMR 7503), Université
de Lorraine, Nancy. - Doctorat en informatique (École normale supérieure, Cachan,
Val-de-Marne, 2003). Habilitation à diriger des recherches (2009)