D-DEMOS: A distributed, end-to-end verifiable, internet voting system
Nikos Chondros, Bingsheng Zhang, Thomas Zacharias, Panos, Diamantopoulos, Stathis Maneas, Christos Patsonakis, Alex Delis, Aggelos, Kiayias, Mema Roussopoulos

TL;DR
D-DEMOS is a distributed, privacy-preserving, end-to-end verifiable internet voting system that ensures election integrity and voter privacy even with potentially unsafe client environments, using a fully asynchronous vote collection and fault-tolerant bulletin board.
Contribution
This paper introduces D-DEMOS, the first human-verifiable e-voting system that maintains privacy and verifiability with distributed components and supports large-scale elections.
Findings
System can handle large-scale elections efficiently.
Voter privacy is preserved even with unsafe web clients.
Election integrity is verifiable through distributed components.
Abstract
E-voting systems have emerged as a powerful technology for improving democracy by reducing election cost, increasing voter participation, and even allowing voters to directly verify the entire election procedure. Prior internet voting systems have single points of failure, which may result in the compromise of availability, voter secrecy, or integrity of the election results. In this paper, we present the design, implementation, security analysis, and evaluation of D-DEMOS, a complete e-voting system that is distributed, privacy-preserving and end-to-end verifiable. Our system includes a fully asynchronous vote collection subsystem that provides immediate assurance to the voter her vote was recorded as cast, without requiring cryptographic operations on behalf of the voter. We also include a distributed, replicated and fault-tolerant Bulletin Board component, that stores all necessary…
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 · Cryptography and Data Security · Security and Verification in Computing
