SoK: Verifiability Notions for E-Voting Protocols
Véronique Cortier, David Galindo, Ralf Küsters, Johannes Müller, Tomasz Truderung
2016Year
125Citations
10Top-tier citations
Abstract
Where a licence is displayed above, please note the terms and conditions of the licence govern your use of this document. When citing, please reference the published version. Take down policy While the University of Birmingham exercises care and attention in making items available there are rare occasions when an item has been uploaded in error or has been deemed to be commercially or otherwise sensitive.
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.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext 388ec7c8-2de2-4030-b3c9-81466671e0f9Cited by top-tier papers10
- Practical Quantum-Safe Voting from LatticesRafaël del Pino, Vadim Lyubashevsky, Gregory Neven, Gregor SeilerCCS 2017 · 51 citations
- 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
- Voting: You Can't Have Privacy without Individual VerifiabilityVéronique Cortier, Joseph LallemandCCS 2018 · 36 citations
- Kryvos: Publicly Tally-Hiding Verifiable E-VotingNicolas Huber, Ralf Küsters, Toomas Krips, Julian Liedtke et al.CCS 2022 · 23 citations
- E-Vote Your Conscience: Perceptions of Coercion and Vote Buying, and the Usability of Fake Credentials in Online VotingLouis-Henri Merino, Alaleh Azhir, Haoqian Zhang, Simone Colombo et al.S&P 2024 · 5 citations
Related papers
- PLATYPUS: Software-based Power Side-Channel Attacks on x86Moritz Lipp, Andreas Kogler, David F. Oswald, Michael Schwarz et al.S&P 2021 · 242 citations
- Effect Handlers for C via CoroutinesMario Alvarez-Picallo, Teodoro Freund, Dan R. Ghica, Sam LindleyOOPSLA 2024 · 6 citations
- Types Are Internal ∞-GroupoidsEric Finster, Antoine Allioux, Matthieu SozeauLICS 2021
- A proof of the Erdös-Faber-Lovász conjecture: Algorithmic aspectsDong Yeap Kang, Tom Kelly, Daniela Kühn, Abhishek Methuku et al.FOCS 2021 · 2 citations
- Multiuser Privacy and Security Conflicts in the CloudEman Alhelali, Kopo M. Ramokapane, Jose M. SuchCHI 2023 · 3 citations
