Vote&Check: Secure Postal Voting with Reduced Trust Assumptions - Department of Formal methods
Pré-Publication, Document De Travail Année : 2024

Vote&Check: Secure Postal Voting with Reduced Trust Assumptions

Résumé

Postal voting is a frequently used alternative to on-site voting. Traditionally, its security relies on organizational measures, and voters have to trust many entities. In the recent years, several schemes have been proposed to add verifiability properties to postal voting, while preserving vote privacy. Postal voting comes with specific constraints. We conduct a systematic analysis of this setting and we identify a list of generic attacks, highlighting that some attacks seem unavoidable. This study is applied to existing systems of the literature. We then propose Vote&Check, a postal voting protocol which provides a high level of security, with a reduced number of authorities. Furthermore, it requires only basic cryptographic primitives, namely hash functions and signatures. The security properties are proven in a symbolic model, with the help of the ProVerif tool.
Fichier principal
Vignette du fichier
main.pdf (444.23 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04813613 , version 1 (02-12-2024)

Licence

Identifiants

  • HAL Id : hal-04813613 , version 1

Citer

Véronique Cortier, Alexandre Debant, Pierrick Gaudry, Léo Louistisserand. Vote&Check: Secure Postal Voting with Reduced Trust Assumptions. 2024. ⟨hal-04813613⟩
0 Consultations
0 Téléchargements

Partager

More