Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Debant, Alexandre
58  Ergebnisse:
Personensuche X
?
1

Proving Unlinkability Using ProVerif Through Desynchronised..:

, In: 2023 IEEE 36th Computer Security Foundations Symposium (CSF),
Baelde, David ; Debant, Alexandre ; Delaune, Stephanie - p. 75-90 , 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

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/..
 
?
4

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..
 
?
5

So Near and Yet So Far – Symbolic Verification of Distance-..:

Debant, Alexandre ; Delaune, Stéphanie ; Wiedling, Cyrille
ACM Transactions on Privacy and Security.  25 (2022)  2 - p. 1-39 , 2022
Link: https://doi.org/10.1145/..
 
?
6

Security Analysis and Implementation of Relay-Resistant Con..:

, In: Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security,
Boureanu, Ioana ; Chothia, Tom ; Debant, Alexandre. - p. 879-898 , 2020
Link: https://dl.acm.org/doi/1..
 
?
7

Symbolic Verification of Distance Bounding Protocols:

, In: Lecture Notes in Computer Science; Principles of Security and Trust,
Debant, Alexandre ; Delaune, Stéphanie - p. 149-174 , 2019
Link: https://doi.org/10.1007/..
 
?
8

Symbolic Analysis of Terrorist Fraud Resistance:

, In: Lecture Notes in Computer Science; Computer Security – ESORICS 2019,
Debant, Alexandre ; Delaune, Stéphanie ; Wiedling, Cyrille - p. 383-403 , 2019
Link: https://doi.org/10.1007/..
 
?
9

Reversing, Breaking, and Fixing the French Legislative Elec..:

Debant, Alexandre ; Hirschi, Lucca
hal-04323674.  , 2023
Link: https://inria.hal.scienc..
 
?
10

Reversing, Breaking, and Fixing the French Legislative Elec..:

Debant, Alexandre ; Hirschi, Lucca
hal-03875463.  , 2023
Link: https://inria.hal.scienc..
 
?
11

Reversing, Breaking, and Fixing the French Legislative Elec..:

Debant, Alexandre ; Hirschi, Lucca
hal-03875463.  , 2023
Link: https://inria.hal.scienc..
 
?
12

Proving Unlinkability using ProVerif through Desynchronized..:

Baelde, David ; Debant, Alexandre ; Delaune, Stéphanie
hal-03674979.  , 2023
Link: https://inria.hal.scienc..
 
?
13

Proving Unlinkability using ProVerif through Desynchronized..:

Baelde, David ; Debant, Alexandre ; Delaune, Stéphanie
hal-03674979.  , 2023
Link: https://inria.hal.scienc..
 
?
14

Proving Unlinkability using ProVerif through Desynchronized..:

Baelde, David ; Debant, Alexandre ; Delaune, Stéphanie
hal-03674979.  , 2023
Link: https://inria.hal.scienc..
 
?
15

Election Verifiability with ProVerif:

Cheval, Vincent ; Cortier, Véronique ; Debant, Alexandre
hal-04177268.  , 2023
Link: https://inria.hal.scienc..
 
1-15