Cortier, Véronique (19..-.... ; informaticienne)
France
Date de naissance
19XX
Langues d'expression
français
anglais
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 (2023)
Doctorat en informatique (École normale supérieure, Cachan, Val-de-Marne, 2003). Habilitation à diriger des recherches (2009)
Doctorat en informatique (École normale supérieure, Cachan, Val-de-Marne, 2003). Habilitation à diriger des recherches (2009)
Véronique Cortier est directrice de recherche CNRS au sein de l'EPI CASSIS d'Inria Nancy-Grand Est - elle a obtenu en 2010 la bourse ERC dans le cadre de son projet de sécuriser les protocoles de communication et les moduler afin de les rendre fiables.
Disciplines liées à ses interventions
Mots-clés liés à ses interventions
Vidéos
Sécurité sur Internet ? La logique à la rescousse...
Cortier
Véronique
De nombreux dispositifs électroniques visent à améliorer la sécurité des échanges sur des réseaux ouverts comme Internet. Ces dispositifs, tels que les protocoles cryptographiques, reposent