Skip to Main content Skip to Navigation


...
tel-02396851v1  Theses
Joseph Lallemand. Electronic Voting: Definitions and Analysis Techniques
Cryptography and Security [cs.CR]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0135⟩
...
hal-01900086v1  Conference papers
Véronique CortierJoseph Lallemand. 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
Véronique CortierNiklas GrimmJoseph LallemandMatteo Maffei. 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
Véronique CortierNiklas GrimmJoseph LallemandMatteo Maffei. Equivalence Properties by Typing in Cryptographic Branching Protocols
[Research Report] Université de Lorraine, CNRS, Inria, LORIA; TU Wien. 2018
...
hal-01900079v1  Conference papers
Véronique CortierNiklas GrimmJoseph LallemandMatteo Maffei. 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
Véronique CortierJoseph LallemandBogdan Warinschi. 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
Véronique CortierAlicia FilipiakJoseph Lallemand. BeleniosVS: Secrecy and Verifiability against a Corrupted Voting Device
CSF 2019 - 32nd IEEE Computer Security Foundations Symposium, Jun 2019, Hoboken, United States