 |
 |
 |
|
|
||
|---|---|---|
| |
||
| hal-02126077v1
Reports
BeleniosVS: Secrecy and Verifiability against a Corrupted Voting Device [Research Report] CNRS, Inria, LORIA; Orange Labs. 2019 |
||
| tel-02396851v1
Theses
Electronic Voting: Definitions and Analysis Techniques Cryptography and Security [cs.CR]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0135⟩ |
||
| hal-01900086v1
Conference papers
Voting: You Can’t Have Privacy without Individual Verifiability ACM CCS 2018 - 25th ACM Conference on Computer and Communications Security, Oct 2018, Toronto, Canada. ⟨10.1145/3243734.3243762⟩ |
||
| hal-01626109v1
Conference papers
A Type System for Privacy Properties CCS'17 - 24th ACM Conference on Computer and Communications Security, Oct 2017, Dallas, United States. pp.409 - 423 |
||
| hal-01715957v1
Reports
Equivalence Properties by Typing in Cryptographic Branching Protocols [Research Report] Université de Lorraine, CNRS, Inria, LORIA; TU Wien. 2018 |
||
| hal-01900079v1
Conference papers
Equivalence Properties by Typing in Cryptographic Branching Protocols POST'18 - 7th International Conference on Principles of Security and Trust, Apr 2018, Thessaloniki, Greece |
||
| hal-02969613v1
Conference papers
Fifty Shades of Ballot Privacy: Privacy against a Malicious Board CSF 2020 - 33rd IEEE Computer Security Foundations Symposium, Jun 2020, Boston / Virtual, United States |
||
| hal-02268399v1
Conference papers
BeleniosVS: Secrecy and Verifiability against a Corrupted Voting Device CSF 2019 - 32nd IEEE Computer Security Foundations Symposium, Jun 2019, Hoboken, United States |
||
| hal-01858034v1
Reports
Voting: You Can't Have Privacy without Individual Verifiability [Research Report] CNRS, Inria, LORIA. 2018 |
||
|
|
||
