Véronique Cortier
Université de Lorraine
H-index: 41
Europe-France
Top articles of Véronique Cortier
Method for obtaining a security token by a mobile terminal
2024/3/5
Election Eligibility with OpenID: Turning Authentication into Transferable Proof of Eligibility
Cryptology ePrint Archive
2024
Véronique Cortier
H-Index: 24
Check for Belenios with Cast as Intended Véronique Cortier (), Alexandre Debant, Pierrick Gaudry, and Stéphane Glondu Université de Lorraine, CNRS, INRIA, LORIA, Nancy, France
Financial Cryptography and Data Security. FC 2023 International Workshops: Voting, CoDecFin, DeFi, WTSC, Bol, Brač, Croatia, May 5, 2023, Revised Selected Papers
2023/12/4
Véronique Cortier
H-Index: 24
Election Verifiability with ProVerif
2023/7/10
Véronique Cortier
H-Index: 24
French 2022 legislatives elections: a verifiability experiment
2023
Véronique Cortier
H-Index: 24
Pierrick Gaudry
H-Index: 21
Privacy and security
ACM SIGCAS Computers and Society
1996/3/1
Themis: an on-site voting system with systematic cast-as-intended verification and partial accountability
2022/11/7
Features and usage of Belenios in 2022
2022/10/4
Véronique Cortier
H-Index: 24
Pierrick Gaudry
H-Index: 21
A toolbox for verifiable tally-hiding e-voting systems
2022/9/22
Véronique Cortier
H-Index: 24
Pierrick Gaudry
H-Index: 21
A small bound on the number of sessions for security protocols
2022/8/7
Véronique Cortier
H-Index: 24
Electronic voting
2022/7/18
Le vote électronique: les défis du secret et de la transparence
2022/5/25
Véronique Cortier
H-Index: 24
Pierrick Gaudry
H-Index: 21
Proverif with lemmas, induction, fast subsumption, and much more
2022/5/22
Véronique Cortier
H-Index: 24
A privacy attack on the Swiss Post e-voting system
2022/4/13
Véronique Cortier
H-Index: 24
Pierrick Gaudry
H-Index: 21
Is the JCJ voting system really coercion-resistant?
Cryptology ePrint Archive
2022
Véronique Cortier
H-Index: 24
Pierrick Gaudry
H-Index: 21
Automatic generation of sources lemmas in Tamarin: Towards automatic proofs of security protocols 1
Journal of Computer Security
2022/1/1
Véronique Cortier
H-Index: 24
Jannik Dreier
H-Index: 14
Le traçage anonyme, dangereux oxymore
Le droit face au coronavirus
2021/12/2
Xavier Bonnetain
H-Index: 8
Véronique Cortier
H-Index: 24
Pierrick Gaudry
H-Index: 21
Serge Vaudenay
H-Index: 30
A decidable class of security protocols for both reachability and equivalence properties
Journal of Automated Reasoning
2021/4
Véronique Cortier
H-Index: 24
