Can we cast a ballot as intended and be receipt free? - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2024

Can we cast a ballot as intended and be receipt free?

Résumé

This paper explores the interaction between receiptfreeness and cast-as-intended verifiability, a property that has been overlooked until now or assumed to be granted through procedural means in the context of receipt-free voting protocols. We first demonstrate that it is impossible to obtain a receipt-free voting protocol with cast-as-intended verifiability if the voting process is non-interactive, unless a trusted authority is available. We also demonstrate that, if a trusted voter registration authority is available, then cast-as-intended verifiability and receipt-freeness can be obtained. Furthermore, after extending standard receipt-freeness security definitions to an interactive voting (and corruption) setting, we demonstrate that the same security properties can be obtained using an interactive voting process. Finally, we discuss the performance of our protocols based on a prototype implementation.
Fichier principal
Vignette du fichier
main-ieee-Quentin-SP24.pdf (368.68 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04371905 , version 1 (04-01-2024)

Licence

Identifiants

  • HAL Id : hal-04371905 , version 1

Citer

Henri Devillez, Olivier Pereira, Thomas Peters, Quentin Yang. Can we cast a ballot as intended and be receipt free?. IEEE Symposium on Security and Privacy 2024, May 2024, San Francisco, United States. ⟨hal-04371905⟩
380 Consultations
164 Téléchargements

Partager

More