Belenios: A Simple Private and Verifiable Electronic Voting System [chapter]

Véronique Cortier, Pierrick Gaudry, Stéphane Glondu
2019 Lecture Notes in Computer Science  
We present the electronic voting protocol Belenios together with its associated voting platform. Belenios guarantees vote privacy and full verifiability, even against a compromised voting server. While the core of the voting protocol was already described and formally proved secure, we detail here the complete voting system from the setup to the tally and the recovery procedures. We comment on the use of Belenios in practice. In particular, we discuss the security choices made by election
more » ... strators w.r.t. the decryption key and the delegation of some setup tasks to the voting platform.
doi:10.1007/978-3-030-19052-1_14 fatcat:jsxrzsldqjbhfpijjoktszyg3e