TY - JOUR
T1 - Distributed, end-to-end verifiable, and privacy-preserving internet voting systems
AU - Chondros, Nikos
AU - Zhang, Bingsheng
AU - Zacharias, Thomas
AU - Diamantopoulos, Panos
AU - Maneas, Stathis
AU - Patsonakis, Christos
AU - Delis, Alex
AU - Kiayias, Aggelos
AU - Roussopoulos, Mema
N1 - Funding Information:
This work was partially supported by ERC Starting Grants # 279237 and # 259152, and by the FINER project funded by the Greek Secretariat of Research and Technology under action “ARISTEIA 1”. We thank Vasileios Poulimenos for his effort in developing the Android application for the trustees interface.
Funding Information:
This work was partially supported by ERC Starting Grants # 279237 and # 259152 , and by the FINER project funded by the Greek Secretariat of Research and Technology under action “ARISTEIA 1”. We thank Vasileios Poulimenos for his effort in developing the Android application for the trustees interface.
Funding Information:
Mema Roussopoulos is an Associate Professor of Computer Science at the University of Athens. She received her Ph.D. in Computer Science from Stanford University. Her interests are in the areas of distributed systems and networking. She is a recipient of the NSF CAREER Award (while on the faculty at Harvard University), the ERC Starting Grant Award, and the Best Paper Award at ACM SOSP 2003.
Publisher Copyright:
© 2019
PY - 2019/6
Y1 - 2019/6
N2 - We present the D-DEMOS suite of distributed, privacy-preserving, and end-to-end verifiable e-voting systems; one completely asynchronous and one with minimal timing assumptions but better performance. Their distributed voting operation is human verifiable; a voter can vote over the web, using an unsafe web client stack, without sacrificing her privacy, and get recorded-as-cast assurance. Additionally, a voter can outsource election auditing to third parties, still without sacrificing privacy. We provide a model and security analysis of the systems, implement prototypes of the complete systems, measure their performance experimentally, demonstrate their ability to handle large-scale elections, and demonstrate the performance trade-offs between the two versions.
AB - We present the D-DEMOS suite of distributed, privacy-preserving, and end-to-end verifiable e-voting systems; one completely asynchronous and one with minimal timing assumptions but better performance. Their distributed voting operation is human verifiable; a voter can vote over the web, using an unsafe web client stack, without sacrificing her privacy, and get recorded-as-cast assurance. Additionally, a voter can outsource election auditing to third parties, still without sacrificing privacy. We provide a model and security analysis of the systems, implement prototypes of the complete systems, measure their performance experimentally, demonstrate their ability to handle large-scale elections, and demonstrate the performance trade-offs between the two versions.
KW - Byzantine Fault tolerance
KW - Distributed systems
KW - E-voting systems
KW - End-to-end verifiability
KW - Internet voting
UR - http://www.scopus.com/inward/record.url?scp=85062858703&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85062858703&partnerID=8YFLogxK
U2 - 10.1016/j.cose.2019.03.001
DO - 10.1016/j.cose.2019.03.001
M3 - Article
AN - SCOPUS:85062858703
SN - 0167-4048
VL - 83
SP - 268
EP - 299
JO - Computers and Security
JF - Computers and Security
ER -