Concepedia

Véronique Cortier

VC

Statistics

Publications

53

Citations

2.2K

H-Index

27

Active since

2004

Affiliations

Centre National de la Recherche Scientifique(Current)

Laboratoire Lorrain de Recherche en Informatique et ses Applications

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 Centre National de la Recherche Scientifique specializing in engineering, data security, and computer science.

Top concepts

EngineeringComputer ScienceData SecurityCryptographyFormal VerificationInformation SecurityFormal MethodsData PrivacyVerificationHardware Security

Publications per year

2004–2018

53

Publications

53

Deciding knowledge in security protocols under equational theories

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

Equational Theories, Security Modelling, Engineering +9

A survey of algebraic properties used in cryptographic protocols

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

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

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

Engineering, Information Security, Verification +21

A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems

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

Symbolic Manipulation, Cryptographic Primitive, Engineering +12

Computational soundness of observational equivalence

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

Cryptographic Primitive, Engineering, Information Security +20

1–5 of 53