Belenios with cast as intended - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2023

Belenios with cast as intended

Abstract

We propose the BeleniosCaI protocol, a variant of Belenios which brings the cast-as-intended property, in addition to other existing security properties. Our approach is based on a 2-part checksum that the voting device commits to, before being challenged to reveal one of them chosen at random by the voter. It requires only one device on the voter's side and does not rely on previously sent data like with return codes. Compared to the classical Benaloh auditor cast approach, we still have cast-as-intended with only some probability, but the voter's journey is more linear, and the audited ballot is really the one that is cast. We formally prove the security of BeleniosCaI w.r.t. end-to-end verifiability and privacy in a symbolic model, using the ProVerif tool.
Fichier principal
Vignette du fichier
main.pdf (354.34 Ko) Télécharger le fichier
proverif-models.zip (11.86 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-04020110 , version 1 (08-03-2023)

Licence

Identifiers

  • HAL Id : hal-04020110 , version 1

Cite

Véronique Cortier, Alexandre Debant, Pierrick Gaudry, Stéphane Glondu. Belenios with cast as intended. Voting 2023 - 8th Workshop on Advances in Secure Electronic Voting, May 2023, Bol, Brač, Croatia. ⟨hal-04020110⟩
144 View
135 Download

Share

Gmail Mastodon Facebook X LinkedIn More