Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Cortier, Véronique
360  Ergebnisse:
Personensuche X
?
1

Election Verifiability with ProVerif:

, In: 2023 IEEE 36th Computer Security Foundations Symposium (CSF),
Cheval, Vincent ; Cortier, Veronique ; Debant, Alexandre - p. 43-58 , 2023
Link: https://doi.org/10.1109/..
 
?
2

Belenios with Cast as Intended:

, In: Financial Cryptography and Data Security. FC 2023 International Workshops; Lecture Notes in Computer Science,
Cortier, Véronique ; Debant, Alexandre ; Gaudry, Pierrick. - p. 3-18 , 2023
Link: https://doi.org/10.1007/..
 
?
3

A Toolbox for Verifiable Tally-Hiding E-Voting Systems:

, In: Computer Security – ESORICS 2022; Lecture Notes in Computer Science,
Cortier, Véronique ; Gaudry, Pierrick ; Yang, Quentin - p. 631-652 , 2022
Link: https://doi.org/10.1007/..
 
?
4

ProVerif with Lemmas, Induction, Fast Subsumption, and Much..:

, In: 2022 IEEE Symposium on Security and Privacy (SP),
Blanchet, Bruno ; Cheval, Vincent ; Cortier, Veronique - p. 69-86 , 2022
Link: https://doi.org/10.1109/..
 
?
5

A small bound on the number of sessions for security protoc..:

, In: 2022 IEEE 35th Computer Security Foundations Symposium (CSF),
Cortier, Veronique ; Dallon, Antoine ; Delaune, Stephanie - p. 33-48 , 2022
Link: https://doi.org/10.1109/..
 
?
6

Themis : An On-Site Voting System with Systematic Cast-a..:

, In: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security,
Bougon, Mikael ; Chabanne, Hervé ; Cortier, Véronique... - p. 397-410 , 2022
Link: https://dl.acm.org/doi/1..
 
?
7

How to Explain Security Protocols to Your Children:

, In: Protocols, Strands, and Logic; Lecture Notes in Computer Science,
Cortier, Véronique ; Rakotonirina, Itsaka - p. 112-123 , 2021
Link: https://doi.org/10.1007/..
 
?
8

Fifty Shades of Ballot Privacy: Privacy against a Malicious..:

, In: 2020 IEEE 33rd Computer Security Foundations Symposium (CSF),
Cortier, Veronique ; Lallemand, Joseph ; Warinschi, Bogdan - p. 17-32 , 2020
Link: https://doi.org/10.1109/..
 
?
9

Automatic Generation of Sources Lemmas in Tamarin: Towards ..:

, In: Computer Security – ESORICS 2020; Lecture Notes in Computer Science,
Cortier, Véronique ; Delaune, Stéphanie ; Dreier, Jannik - p. 3-22 , 2020
Link: https://doi.org/10.1007/..
 
?
10

A Decidable Class of Security Protocols for Both Reachabili..:

Cortier, Véronique ; Delaune, Stéphanie ; Sundararajan, Vaishnavi
Journal of Automated Reasoning.  65 (2020)  4 - p. 479-520 , 2020
Link: https://doi.org/10.1007/..
 
?
11

Electronic Voting: 4th International Joint Conference, E-Vo.. 

Security and Cryptology, 11759
Krimmer, Robert ; Volkamer, Melanie ; Cortier, Veronique... - 1st ed. 2019 . , 2019
Link: https://doi.org/10.1007/..
 
?
12

Belenios: A Simple Private and Verifiable Electronic Voting..:

, In: Foundations of Security, Protocols, and Equational Reasoning; Lecture Notes in Computer Science,
Cortier, Véronique ; Gaudry, Pierrick ; Glondu, Stéphane - p. 214-238 , 2019
Link: https://doi.org/10.1007/..
 
?
13

Typing Messages for Free in Security Protocols:

Chrétien, Rémy ; Cortier, Véronique ; Dallon, Antoine.
ACM Transactions on Computational Logic.  21 (2019)  1 - p. 1-52 , 2019
Link: https://doi.org/10.1145/..
 
?
14

Typing Messages for Free in Security Protocols:

Chrétien, Rémy ; Cortier, Véronique ; Dallon, Antoine.
ACM Transactions on Computational Logic (TOCL).  21 (2019)  1 - p. 1-52 , 2019
Link: https://dl.acm.org/doi/1..
 
?
15

Electronic Voting 

Third International Joint Conference, E-Vote-ID 2018, Brege...  Security and Cryptology ; 11143;SpringerLink, Bücher
Krimmer, Robert ; Cortier, Véronique ; Goré, Rajeev... , 2018
Link: https://doi.org/10.1007/..
 
1-15