Véronique Cortier

Statistics

Publications

Citations

2.2K

H-Index

Active since

2004

Affiliations

Laboratoire Lorrain de Recherche en Informatique et ses Applications(Current)

Centre National de la Recherche Scientifique

Institut national de recherche en sciences et technologies du numérique

École Normale Supérieure Paris-Saclay

Laboratoire Spécification et Vérification

Véronique Cortier is an author at Laboratoire Lorrain de Recherche en Informatique et ses Applications specializing in computing, computer science, and cryptography.

Publications per year

2004–2018

Publications

Deciding knowledge in security protocols under equational theories

Martı́n Abadi, Véronique Cortier · Theoretical Computer Science · 2006 · 164 citations

Computing, Computer Science, Computer Security +13

A survey of algebraic properties used in cryptographic protocols

Véronique Cortier, Stéphanie Delaune, Pascal Lafourcade · Journal of Computer Security · 2006 · 149 citations

Computing, Computer Science, Algebra +15

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

David Bernhard, Véronique Cortier, David Galindo et al. · 2015 · 96 citations · Full text

Computing, Computer Science, Cryptography +14

A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems

Véronique Cortier, Steve Kremer, Bogdan Warinschi · Journal of Automated Reasoning · 2010 · 93 citations

Computing, Computer Science, Mathematics +16

Computational soundness of observational equivalence

Hubert Comon-Lundh, Véronique Cortier · 2008 · 88 citations

Computing, Computer Science, Cryptography +16

1–5 of 53