Distributed, End-to-end Verifiable, and Privacy-Preserving Internet Voting Systems
Nikos Chondros, Bingsheng Zhang, Thomas Zacharias, Panos, Diamantopoulos, Stathis Maneas, Christos Patsonakis, Alex Delis, Aggelos, Kiayias, Mema Roussopoulos

TL;DR
This paper introduces D-DEMOS, a suite of distributed, privacy-preserving, end-to-end verifiable e-voting systems that enhance election security, privacy, and verifiability, with practical deployment and performance evaluation.
Contribution
It presents two novel e-voting systems with human-verifiable voting, distributed components, and security guarantees, addressing limitations of prior single-point-of-failure systems.
Findings
First system used in national elections and civil union in Greece.
Achieved large-scale election handling with measurable performance.
Ensured voter privacy and verifiability even with potentially unsafe web clients.
Abstract
E-voting systems are a powerful technology for improving democracy. Unfortunately, prior voting systems have single points-of-failure, which may compromise availability, privacy, or integrity of the election results. We present the design, implementation, security analysis, and evaluation of the D-DEMOS suite of distributed, privacy-preserving, and end-to-end verifiable e-voting systems. We present two systems: one asynchronous and one with minimal timing assumptions but better performance. Our systems include a distributed vote collection subsystem that does not require cryptographic operations on behalf of the voter. We also include a distributed, replicated and fault-tolerant Bulletin Board component, that stores all necessary election-related information, and allows any party to read and verify the complete election process. Finally, we incorporate trustees, who control result…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsInternet Traffic Analysis and Secure E-voting · Security and Verification in Computing · Cryptography and Data Security
