Code voting: when simplicity meets security - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2024

Code voting: when simplicity meets security

Véronique Cortier
  • Fonction : Auteur
  • PersonId : 1396124
Florian Moser

Résumé

The Swiss Chancellery has developed highly demanding requirements in terms of security for electronic voting. A few protocols have been proposed that meet the requirements. We propose a very simple protocol that satisfies the Swiss requirements while achieving an additional property: secrecy against a dishonest voting device, thanks to code voting. One key feature of our protocol is to use very short codes (typically one or two digits), so that it can be easily used by voters. Moreover, it only relies on standard primitives. Using the tool ProVerif, we formally prove vote privacy and end-to-end verifiability under the trust model of the Swiss Chancellery, assuming a dishonest voting device.
Fichier principal
Vignette du fichier
main.pdf (591.47 Ko) Télécharger le fichier
proof_proverif.zip (34 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Licence

Dates et versions

hal-04627733 , version 1 (27-06-2024)

Licence

Identifiants

  • HAL Id : hal-04627733 , version 1

Citer

Véronique Cortier, Alexandre Debant, Florian Moser. Code voting: when simplicity meets security. ESORICS 2024 29th European Symposium on Research in Computer Security, Sep 2024, Bydgoszcz, Poland. ⟨hal-04627733⟩
174 Consultations
207 Téléchargements

Partager

More