Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

A toolbox for verifiable tally-hiding e-voting systems

Véronique Cortier 1 Pierrick Gaudry 2 Quentin Yang 2 
1 PESTO - Proof techniques for security protocols
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
2 CARAMBA - Cryptology, arithmetic : algebraic methods for better algorithms
Inria Nancy - Grand Est, LORIA - ALGO - Department of Algorithms, Computation, Image and Geometry
Abstract : In most verifiable electronic voting schemes, one key step is the tally phase, where the election result is computed from the encrypted ballots. A generic technique consists in first applying (verifiable) mixnets to the ballots and then revealing all the votes in the clear. This however discloses much more information than the result of the election itself (that is, the winners) and may offer the possibility to coerce voters. In this paper, we present a collection of building blocks for designing tally-hiding schemes based on multi-party computations. As an application, we propose the first tally-hiding schemes with no leakage for four important counting functions: D'Hondt, Condorcet, STV, and Majority Judgment. We also unveil unknown flaws or leakage in several previously proposed tally-hiding schemes.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

https://hal.inria.fr/hal-03367930
Contributor : Véronique Cortier Connect in order to contact the contributor
Submitted on : Wednesday, October 6, 2021 - 2:51:24 PM
Last modification on : Friday, February 4, 2022 - 3:34:57 AM
Long-term archiving on: : Friday, January 7, 2022 - 7:05:45 PM

File

2021-491.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03367930, version 1

Citation

Véronique Cortier, Pierrick Gaudry, Quentin Yang. A toolbox for verifiable tally-hiding e-voting systems. 2021. ⟨hal-03367930⟩

Share

Metrics

Record views

46

Files downloads

76