paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 120456362Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Cortier, Véronique (19..-.... ; informaticienne)

Sur le web

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : français,anglais
Pays : France
Date de naissance :    19XX
Genre : Féminin

Notes

Note publique d'information : 
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 (en 2023)

Note publique d'information : 
Doctorat en informatique (École normale supérieure, Cachan, Val-de-Marne, 2003). Habilitation à diriger des recherches (2009)

Identifiants externes

Identifiant ZBMath : cortier.veronique
Identifiant VIAF : http://viaf.org/viaf/198883933
Identifiant Wikidata : Q21264854
Identifiant SCOPUS : 57204256466

Source

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)

... Références liées : ...