World's Best Scientists 2026 revealed!

D-Index & Metrics

Engineering and Technology

D-Index
38
Citations
5186
World Ranking
8121
National Ranking
182

Véronique Cortier publication distribution in Engineering and Technology in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Engineering and Technology in 2026. The highlighted bar marks where Véronique Cortier sits on this spectrum.

38–47 publications: 20 scientists 48–57 publications: 35 scientists 58–67 publications: 96 scientists 68–77 publications: 135 scientists 78–87 publications: 190 scientists 88–97 publications: 259 scientists 98–107 publications: 283 scientists 108–117 publications: 369 scientists 118–127 publications: 341 scientists 128–137 publications: 386 scientists 138–147 publications: 372 scientists 148–157 publications: 457 scientists 158–167 publications: 415 scientists 168–177 publications: 407 scientists 178–187 publications: 421 scientists 188–197 publications: 378 scientists 198–207 publications: 403 scientists 208–217 publications: 317 scientists 218–227 publications: 346 scientists 228–237 publications: 321 scientists 238–247 publications: 260 scientists 248–257 publications: 280 scientists 258–267 publications: 240 scientists 268–277 publications: 214 scientists 278–287 publications: 242 scientists 288–297 publications: 203 scientists 298–307 publications: 166 scientists 308–317 publications: 154 scientists 318–327 publications: 175 scientists 328–337 publications: 159 scientists 338–347 publications: 99 scientists 348–357 publications: 131 scientists 358–367 publications: 106 scientists 368–377 publications: 118 scientists 378–387 publications: 97 scientists 388–397 publications: 108 scientists 398–407 publications: 82 scientists 408–417 publications: 71 scientists 418–427 publications: 64 scientists 428–437 publications: 55 scientists 438–447 publications: 54 scientists 448–457 publications: 60 scientists 458–467 publications: 47 scientists 468–477 publications: 40 scientists 478–487 publications: 30 scientists 488–497 publications: 29 scientists 498–507 publications: 38 scientists 508–517 publications: 40 scientists 518–527 publications: 32 scientists 528–537 publications: 23 scientists 538–547 publications: 28 scientists 548–557 publications: 23 scientists 558–567 publications: 19 scientists 568–577 publications: 16 scientists 578–587 publications: 17 scientists 588–597 publications: 18 scientists 598–607 publications: 22 scientists 608–617 publications: 15 scientists 618–627 publications: 9 scientists 628–637 publications: 11 scientists 638–647 publications: 21 scientists 648–657 publications: 12 scientists 658–667 publications: 9 scientists 668–677 publications: 11 scientists 678–687 publications: 9 scientists 688–697 publications: 6 scientists 698–707 publications: 14 scientists 708–717 publications: 7 scientists 718–727 publications: 8 scientists 728–737 publications: 10 scientists 738–747 publications: 9 scientists 748–757 publications: 5 scientists 758–767 publications: 5 scientists 768–777 publications: 11 scientists 778–787 publications: 7 scientists 788–797 publications: 2 scientists 798–803 publications: 4 scientists 804+ publications: 100 scientists
38 publications 804+

This scientist: 182 publications — 41st percentile

41% of scientists in this discipline score the same or lower.

The last bar groups every scientist with 804 publications or more.

Véronique Cortier D-index placement in Engineering and Technology in 2026

The chart shows the D-index (discipline H-index) distribution of Engineering and Technology scientists ranked by Research.com in 2026. The highlighted bar marks where Véronique Cortier sits on this spectrum.

30 D-Index: 59 scientists 31 D-Index: 114 scientists 32 D-Index: 129 scientists 33 D-Index: 189 scientists 34 D-Index: 200 scientists 35 D-Index: 262 scientists 36 D-Index: 311 scientists 37 D-Index: 312 scientists 38 D-Index: 350 scientists 39 D-Index: 385 scientists 40 D-Index: 348 scientists 41 D-Index: 362 scientists 42 D-Index: 426 scientists 43 D-Index: 380 scientists 44 D-Index: 310 scientists 45 D-Index: 341 scientists 46 D-Index: 301 scientists 47 D-Index: 306 scientists 48 D-Index: 271 scientists 49 D-Index: 246 scientists 50 D-Index: 210 scientists 51 D-Index: 253 scientists 52 D-Index: 213 scientists 53 D-Index: 221 scientists 54 D-Index: 195 scientists 55 D-Index: 186 scientists 56 D-Index: 170 scientists 57 D-Index: 167 scientists 58 D-Index: 166 scientists 59 D-Index: 144 scientists 60 D-Index: 152 scientists 61 D-Index: 141 scientists 62 D-Index: 138 scientists 63 D-Index: 131 scientists 64 D-Index: 118 scientists 65 D-Index: 114 scientists 66 D-Index: 119 scientists 67 D-Index: 95 scientists 68 D-Index: 87 scientists 69 D-Index: 77 scientists 70 D-Index: 89 scientists 71 D-Index: 69 scientists 72 D-Index: 54 scientists 73 D-Index: 46 scientists 74 D-Index: 55 scientists 75 D-Index: 54 scientists 76 D-Index: 49 scientists 77 D-Index: 53 scientists 78 D-Index: 46 scientists 79 D-Index: 28 scientists 80 D-Index: 39 scientists 81 D-Index: 36 scientists 82 D-Index: 24 scientists 83 D-Index: 26 scientists 84 D-Index: 36 scientists 85 D-Index: 18 scientists 86 D-Index: 25 scientists 87 D-Index: 19 scientists 88 D-Index: 26 scientists 89 D-Index: 27 scientists 90 D-Index: 23 scientists 91 D-Index: 15 scientists 92 D-Index: 12 scientists 93 D-Index: 9 scientists 94 D-Index: 15 scientists 95 D-Index: 10 scientists 96 D-Index: 13 scientists 97 D-Index: 13 scientists 98 D-Index: 9 scientists 99 D-Index: 7 scientists 100 D-Index: 7 scientists 101 D-Index: 8 scientists 102 D-Index: 7 scientists 103 D-Index: 7 scientists 104 D-Index: 9 scientists 105 D-Index: 6 scientists 106 D-Index: 9 scientists 107+ D-Index: 99 scientists
30 D-Index 107+

This scientist: 38 D-Index — 20th percentile

20% of scientists in this discipline score the same or lower.

The last bar groups every scientist with 107 D-Index or more.

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