Belenios: a simple private and verifiable electronic voting system
| Autor: | Pierrick Gaudry, Stéphane Glondu, Véronique Cortier |
|---|---|
| Přispěvatelé: | Proof techniques for security protocols (PESTO), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Cryptology, arithmetic : algebraic methods for better algorithms (CARAMBA), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Algorithms, Computation, Image and Geometry (LORIA - ALGO), Institut National de Recherche en Informatique et en Automatique (Inria), Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic |
| Jazyk: | angličtina |
| Rok vydání: | 2019 |
| Předmět: |
0303 health sciences
SIMPLE (military communications protocol) Electronic voting Computer science business.industry media_common.quotation_subject ComputingMilieux_LEGALASPECTSOFCOMPUTING 02 engineering and technology 16. Peace & justice 03 medical and health sciences Core (game theory) [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR] Voting 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Verifiable secret sharing business Protocol (object-oriented programming) 030304 developmental biology media_common Computer network |
| Zdroj: | Foundations of Security, Protocols, and Equational Reasoning Foundations of Security, Protocols, and Equational Reasoning, 2019, Fredericksburg, Virgina, United States. pp.214-238, ⟨10.1007/978-3-030-19052-1_14⟩ Foundations of Security, Protocols, and Equational Reasoning ISBN: 9783030190514 |
| DOI: | 10.1007/978-3-030-19052-1_14⟩ |
| Popis: | International audience; 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 administrators w.r.t. the decryption key and the delegation of some setup tasks to the voting platform. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|