USENIX Security2024Top-tier venue
Election Eligibility with OpenID: Turning Authentication into Transferable Proof of Eligibility
Véronique Cortier, Alexandre Debant, Anselme Goetschmann, Lucca Hirschi
Abstract
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.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Cited by top-tier papers1
Ask how each one uses itBuilds on10
- Poseidon: A New Hash Function for Zero-Knowledge Proof SystemsLorenzo Grassi, Dmitry Khovratovich, Christian Rechberger, Arnab Roy et al.USENIX Security 2021 · 410 citations
- Doubly-Efficient zkSNARKs Without Trusted SetupRiad S. Wahby, Ioanna Tzialla, Abhi Shelat, Justin Thaler et al.S&P 2018 · 356 citations
- Verified Models and Reference Implementations for the TLS 1.3 Standard CandidateKarthikeyan Bhargavan, Bruno Blanchet, Nadim KobeissiS&P 2017 · 233 citations
- SoK: Verifiability Notions for E-Voting ProtocolsVéronique Cortier, David Galindo, Ralf Küsters, Johannes Müller et al.S&P 2016 · 125 citations
- BeleniosRF: A Non-interactive Receipt-Free Electronic Voting SchemePyrros Chaidos, Véronique Cortier, Georg Fuchsbauer, David GalindoCCS 2016 · 99 citations
Related papers
- Machine-Checked Proofs of Privacy for Electronic Voting ProtocolsVéronique Cortier, Constantin Catalin Dragan, François Dupressoir, Benedikt Schmidt et al.S&P 2017 · 50 citations
- Siniel: Distributed Privacy-Preserving zkSNARKYunbo Yang, Yuejia Cheng, Kailun Wang, Xiaoguo Li et al.NDSS 2025
- Verifying Table-Based ElectionsDavid A. Basin, Jannik Dreier, Sofia Giampietro, Sasa RadomirovicCCS 2021
- Machine-checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and Bayer-GrothThomas Haines, Rajeev Goré, Mukesh TiwariUSENIX Security 2023
- RedShift: Transparent SNARKs from List Polynomial CommitmentsAssimakis A. Kattis, Konstantin Panarin, Alexander VlasovCCS 2022 · 15 citations
