Themis: an On-Site Voting System with Systematic Cast-as-intended Verification and Partial Accountability - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2022

Themis: an On-Site Voting System with Systematic Cast-as-intended Verification and Partial Accountability

Mikaël Bougon
  • Function : Author
  • PersonId : 1159155
Hervé Chabanne
  • Function : Author
  • PersonId : 1039812
Véronique Cortier
  • Function : Author
  • PersonId : 990209
Alexandre Debant
  • Function : Author
  • PersonId : 1028184
Emmanuelle Dottax
  • Function : Author
Jannik Dreier
Mathieu Turuani
  • Function : Author
  • PersonId : 1159156

Abstract

We propose an on-site voting system Themis, that aims at improving security when local authorities are not fully trusted. Voters vote thanks to voting sheets as well as smart cards that produce encrypted ballots. Electronic ballots are systematically audited, without compromising privacy. Moreover, the system includes a precise dispute resolution procedure identifying misbehaving parties. We conduct a full formal analysis of Themis using ProVerif, with a novel approach in order to cover the modular arithmetic needed in our protocol. In order to evaluate the usability of our system, we organized a voting experiment on a (small) group of voters.
Fichier principal
Vignette du fichier
main (2).pdf (1.29 Mo) Télécharger le fichier
proverif-models.zip (756.82 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03763294 , version 1 (29-08-2022)
hal-03763294 , version 2 (11-05-2023)

Licence

Attribution

Identifiers

Cite

Mikaël Bougon, Hervé Chabanne, Véronique Cortier, Alexandre Debant, Emmanuelle Dottax, et al.. Themis: an On-Site Voting System with Systematic Cast-as-intended Verification and Partial Accountability. CCS 2022 - The ACM Conference on Computer and Communications Security, Nov 2022, Los Angeles, United States. ⟨10.1145/3548606.3560563⟩. ⟨hal-03763294v2⟩
250 View
268 Download

Altmetric

Share

Gmail Facebook X LinkedIn More