BeleniosVS: Secrecy and Verifiability against a Corrupted Voting Device

Véronique Cortier 1 Alicia Filipiak 2 Joseph Lallemand 1
1 PESTO - Proof techniques for security protocols
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : Electronic voting systems aim at two conflicting properties, namely privacy and verifiability, while trying to minimise the trust assumptions on the various voting components. Most existing voting systems either assume trust in the voting device or in the voting server. We propose a novel remote voting scheme BeleniosVS that achieves both privacy and verifiability against a dishonest voting server as well as a dishonest voting device. In particular, a voter does not leak her vote to her voting device and she can check that her ballot on the bulletin board does correspond to her intended vote. More specifically, we assume two elections authorities: the voting server and a registrar that acts only during the setup. Then BeleniosVS guarantees both privacy and verifiability against a dishonest voting device, provided that not both election authorities are corrupted. Additionally, our scheme guarantees receipt-freeness against an external adversary. We provide a formal proof of privacy, receipt-freeness, and verifiability using the tool ProVerif, covering a hundred cases of threat scenarios. Proving verifiability required to develop a set of sufficient conditions, that can be handled by ProVerif. This contribution is of independent interest.
Document type :
Reports
Complete list of metadatas

Cited literature [36 references]  Display  Hide  Download

https://hal.inria.fr/hal-02126077
Contributor : Joseph Lallemand <>
Submitted on : Friday, May 10, 2019 - 7:01:58 PM
Last modification on : Tuesday, May 14, 2019 - 1:24:37 AM

File

main-report.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02126077, version 1

Collections

Citation

Véronique Cortier, Alicia Filipiak, Joseph Lallemand. BeleniosVS: Secrecy and Verifiability against a Corrupted Voting Device. [Research Report] CNRS, Inria, LORIA; Orange Labs. 2019. ⟨hal-02126077⟩

Share

Metrics

Record views

34

Files downloads

187