Election Eligibility with OpenID: Turning Authentication into Transferable Proof of Eligibility - Department of Formal methods
Communication Dans Un Congrès Année : 2024

Election Eligibility with OpenID: Turning Authentication into Transferable Proof of Eligibility

Résumé

Eligibility checks are often abstracted away or omitted in voting protocols, leading to situations where the voting server can easily stuff the ballot box. One reason for this is the difficulty of bootstraping the authentication material for voters without relying on trusting the voting server. In this paper, we propose a new protocol that solves this problem by building on OpenID, a widely deployed authentication protocol. Instead of using it as a standard authentication means, we turn it into a mechanism that delivers transferable proofs of eligibility. Using zk-SNARK proofs, we show that this can be done without revealing any compromising information, in particular, protecting everlasting privacy. Our approach remains efficient and can easily be integrated into existing protocols, as we have done for the Belenios voting protocol. We provide a full-fledged proof of concept along with benchmarks showing our protocol could be realistically used in large-scale elections.
Fichier principal
Vignette du fichier
usenixsecurity24-cortier.pdf (652.5 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04764478 , version 1 (04-11-2024)

Licence

Identifiants

  • HAL Id : hal-04764478 , version 1

Citer

Véronique Cortier, Alexandre Debant, Anselme Goetschmann, Lucca Hirschi. Election Eligibility with OpenID: Turning Authentication into Transferable Proof of Eligibility. USENIX Security Symposium, Aug 2024, Philadelphie (USA), United States. ⟨hal-04764478⟩
0 Consultations
0 Téléchargements

Partager

More