World's Best Scientists 2026 revealed!

D-Index & Metrics

Engineering and Technology

D-Index
38
Citations
5186
World Ranking
8119
National Ranking
181

Overview

Véronique Cortier is affiliated with the Centre national de la recherche scientifique (CNRS) in France. Their research primarily focuses on the field of computer science, encompassing several subfields such as artificial intelligence, information systems, and computer networks and communications.

The main topics of their work include user authentication and security systems, advanced authentication protocol security, cryptography and data security, internet traffic analysis and secure e-voting, cryptographic implementations and security, privacy-preserving technologies in data, and RFID technology advancements.

Frequently collaborating with other researchers, Véronique Cortier has worked alongside Pierrick Gaudry, Alexandre Debant, Stéphanie Delaune, Jannik Dreier, and Quentin Yang.

The venues where Véronique Cortier has published include:

  • Journal of Computer Security
  • Journal of Automated Reasoning
  • Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security
  • 2022 IEEE Symposium on Security and Privacy (SP)
  • Leibniz-Zentrum für Informatik (Schloss Dagstuhl)

Some recent papers by Véronique Cortier are:

  • Automatic generation of sources lemmas in Tamarin: Towards automatic proofs of security protocols, 2022, Journal of Computer Security
  • A Decidable Class of Security Protocols for Both Reachability and Equivalence Properties, 2020, Journal of Automated Reasoning
  • Verification of Security Protocols (Invited Talk), 2020, Leibniz-Zentrum für Informatik (Schloss Dagstuhl)

Other related works include publications by frequent coauthors such as "Themis," 2022, in the Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, and "ProVerif with Lemmas, Induction, Fast Subsumption, and Much More," 2022, in the 2022 IEEE Symposium on Security and Privacy (SP).

Best Publications

  • A survey of algebraic properties used in cryptographic protocols

    Véronique Cortier;Stéphanie Delaune;Pascal Lafourcade

  • Deciding knowledge in security protocols under equational theories

    Martín Abadi;Véronique Cortier

  • Attacking and fixing Helios: An analysis of ballot secrecy

    Véronique Cortier;Ben Smyth

  • Computationally sound, automated proofs for security protocols

    Véronique Cortier;Bogdan Warinschi

  • SoK: A Comprehensive Analysis of Game-Based Ballot Privacy Definitions

    David Bernhard;Veronique Cortier;David Galindo;Olivier Pereira

  • Election Verifiability for Helios under Weaker Trust Assumptions

    Véronique Cortier;David Galindo;Stéphane Glondu;Malika Izabachène

  • SoK: Verifiability Notions for E-Voting Protocols

    Veronique Cortier;David Galindo;Ralf Kusters;Johannes Muller

  • A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems

    Véronique Cortier;Steve Kremer;Bogdan Warinschi

  • New decidability results for fragments of first-order logic and application to cryptographic protocols

    Hubert Comon-Lundh;Véronique Cortier

  • Computational soundness of observational equivalence

    Hubert Comon-Lundh;Véronique Cortier

  • Adapting Helios for provable ballot privacy.

    David Bernhard;Véronique Cortier;Olivier Pereira;Ben Smyth

  • Adapting helios for provable ballot privacy

    David Bernhard;Véronique Cortier;Olivier Pereira;Ben Smyth

  • Tree automata with one memory set constraints and cryptographic protocols

    Hubert Comon;Véronique Cortier

  • Computationally sound implementations of equational theories against passive adversaries

    Mathieu Baudet;Véronique Cortier;Steve Kremer

  • A Method for Proving Observational Equivalence

    Véronique Cortier;Stéphanie Delaune

  • Attacking and Fixing Helios: An Analysis of Ballot Secrecy

    Veronique Cortier;Ben Smyth

  • Deciding knowledge in security protocols under equational theories

    Martín Abadi;Véronique Cortier

  • Safely composing security protocols

    Véronique Cortier;Stéphanie Delaune

  • Flatness Is Not a Weakness

    Hubert Comon;Véronique Cortier

  • Computationally sound implementations of equational theories against passive adversaries

    Mathieu Baudet;Véronique Cortier;Steve Kremer

  • Security properties: two agents are sufficient

    Hubert Comon-Lundh;Véronique Cortier

  • BeleniosRF: A Non-interactive Receipt-Free Electronic Voting Scheme

    Pyrros Chaidos;Véronique Cortier;Georg Fuchsbauer;David Galindo

  • Safely composing security protocols

    Véronique Cortier;Jérémie Delaitre;Stéphanie Delaune

Frequent Co-Authors

Bogdan Warinschi
Bogdan Warinschi University of Bristol
Pierrick Gaudry
Pierrick Gaudry University of Lorraine
Steve Kremer
Steve Kremer French Institute for Research in Computer Science and Automation - INRIA
Ralf Küsters
Ralf Küsters University of Stuttgart
Claude Kirchner
Claude Kirchner French Institute for Research in Computer Science and Automation - INRIA
Martín Abadi
Martín Abadi Google (United States)
Mark Ryan
Mark Ryan University of Birmingham
John C. Mitchell
John C. Mitchell Stanford University
Serge Vaudenay
Serge Vaudenay École Polytechnique Fédérale de Lausanne
Françoise Lamnabhi-Lagarrigue
Françoise Lamnabhi-Lagarrigue University of Paris-Saclay

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Engineering and Technology in the USA opens doors to diverse related fields you can pursue online. Today, students are finding flexible ways to expand their skills and boost career prospects beyond traditional engineering paths.

For example, those interested in technical legal support might consider aba approved online paralegal programs, which train graduates for roles bridging technology and law. Management positions in engineering companies may also benefit from pursuing the cheapest online human resources degree to develop essential skills in team leadership and workforce development.

Communication is vital in tech-driven industries. Earning a masters in communication online can help professionals convey complex ideas effectively, both inside organizations and to clients. Meanwhile, aspiring innovators and startup leaders may achieve their goals through an mba for entrepreneurs, building business strategy expertise alongside technical knowledge.

By combining an engineering or technology degree with one of these related online programs, you can create a unique and adaptable career pathway for a rapidly changing global market.

Best Scientists Citing Véronique Cortier

Trending Scientists

Recently Published Articles