SoK: Verifiability Notions for E-Voting Protocols
Véronique Cortier, David Galindo, Ralf Küsters, Johannes Müller, Tomasz Truderung
2016年份
125被引次数
10顶会引用
摘要
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.
问问这篇 Paper
智能体会读完全文。
Lune 把这篇 Paper 索引到了每一个公式,引用它的顶会 Paper 也一样。你提问,回答直接引用原文。
引用它的顶会 Paper10
- Practical Quantum-Safe Voting from LatticesRafaël del Pino, Vadim Lyubashevsky, Gregory Neven, Gregor SeilerCCS 2017 · 被引用 51 次
- Machine-Checked Proofs of Privacy for Electronic Voting ProtocolsVéronique Cortier, Constantin Catalin Dragan, François Dupressoir, Benedikt Schmidt 等S&P 2017 · 被引用 50 次
- Voting: You Can't Have Privacy without Individual VerifiabilityVéronique Cortier, Joseph LallemandCCS 2018 · 被引用 36 次
- Kryvos: Publicly Tally-Hiding Verifiable E-VotingNicolas Huber, Ralf Küsters, Toomas Krips, Julian Liedtke 等CCS 2022 · 被引用 23 次
- 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 等S&P 2024 · 被引用 5 次
相关 Paper
- PLATYPUS: Software-based Power Side-Channel Attacks on x86Moritz Lipp, Andreas Kogler, David F. Oswald, Michael Schwarz 等S&P 2021 · 被引用 242 次
- Effect Handlers for C via CoroutinesMario Alvarez-Picallo, Teodoro Freund, Dan R. Ghica, Sam LindleyOOPSLA 2024 · 被引用 6 次
- 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 等FOCS 2021 · 被引用 2 次
- Multiuser Privacy and Security Conflicts in the CloudEman Alhelali, Kopo M. Ramokapane, Jose M. SuchCHI 2023 · 被引用 3 次
