Véronique Cortier

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

Véronique Cortier (* 20. Jahrhundert) ist eine französische Mathematikerin und Informatikerin. Sie ist Forschungsdirektorin am Centre national de la recherche scientifique (CNRS) und Mitglied des Laboratoire lorrain de recherche en informatique et ses applications an der Université de Lorraine in Nancy.

Véronique Cortier in Nancy (Frankreich) in 2017

Leben und Werk[Bearbeiten | Quelltext bearbeiten]

Cortier studierte von 1997 bis 2001 Mathematik und Informatik an der École normale supérieure Paris-Saclay und erwarb einen Master-Abschluss. 2003 promovierte sie dort bei Hubert Comon mit der Dissertation: Vérification automatique des protocoles cryptographiques.[1] Sie trat 2003 dem französischen CNRS bei und schloss 2009 ihre Habilitation ab. 2010 wurde sie Forschungsdirektorin bei CNRS.

Auszeichnungen[Bearbeiten | Quelltext bearbeiten]

Cortier erhielt 2003 den Gilles-Kahn-Preis der Société informatique de France für die beste französische Dissertation in Informatik. 2004 gewann sie auch einen zweiten Dissertationspreis von Le Monde[2]. 2015 gewann sie als zweite Frau den Young Researcher Award des Institut national de recherche en informatique et en automatique (INRIA)[3] und der Französischen Akademie der Wissenschaften für ihre Arbeit an Belenios, einem sicheren elektronischen Abstimmungssystem. 2016 erhielt sie mit Antoine Dallon und Stéphanie Delaune den EASST (European association for the study of science and technology) best paper award auf der European Joint Conferences on Theory and Practice of Software 2016.

Veröffentlichungen (Auswahl)[Bearbeiten | Quelltext bearbeiten]

  • Vérifier les protocoles cryptographiques. Technique et Science Informatique, Hermes Science, 24(1), S. 115–140, 2005. *Ces protocoles qui nous protègent. Tangente, Hors-série 26, S. 42–44, 2006.
  • mit Cyrille Wiedling: A formal analysis of the norwegian e-voting protocol. Journal of Computer Security, 25(15777), S. 21–57, 2017.
  • mit Rémy Chrétien, Antoine Dallon, Stéphanie Delaune: Typing Messages for Free in Security Protocols. ACM Transactions on Computational Logic, 21, 2019.
  • mit Stéphanie Delaune, Graham Steel:A formal theory of key conjuring. In Proceedings of the 20th IEEE Computer Security Foundations Symposium (CSF’07), S. 79–93, Venice, Italy, Juli 2007. IEEE Computer Society Press.
  • mit Steve Kremer: Formal Models and Techniques for Analyzing Security Protocols, volume 5 of Cryptology and Information Security Series. IOS, Press, 2011. * mit Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada: Formal to practical Security, volume 5458 of Lecture Notes in Computer Science. Springer, springer edition, 2009.

Weblinks[Bearbeiten | Quelltext bearbeiten]

Einzelnachweise[Bearbeiten | Quelltext bearbeiten]

  1. ↑ Véronique Cortier im Mathematics Genealogy Project (englisch) Vorlage:MathGenealogyProject/Wartung/id verwendet abgerufen am 23. Februar 2024.
  2. ↑ Page d'accueil du Prix Le Monde. 26. Januar 2005, archiviert vom Original am 26. Januar 2005; abgerufen am 7. März 2021 (französisch).
  3. ↑ binaire: Bravo Véronique ! In: binaire. 16. September 2015, abgerufen am 7. März 2021 (französisch).
Personendaten
NAME Cortier, Véronique
KURZBESCHREIBUNG französische Mathematikerin und Informatikerin
GEBURTSDATUM 20. Jahrhundert
Abgerufen von „https://de.wikipedia.org/w/index.php?title=Véronique_Cortier&oldid=242481337“