Navigation auf zora.uzh.ch

Search ZORA

ZORA (Zurich Open Repository and Archive)

Design and Implementation of Cast-as-Intended Verifiability for a Blockchain-Based Voting System

Killer, Christian; Rodrigues, Bruno; Matile, Raphael; Scheid, Eder; Stiller, Burkhard (2020). Design and Implementation of Cast-as-Intended Verifiability for a Blockchain-Based Voting System. In: Proceedings of the 35th Annual ACM Symposium on Applied Computing, Brno, Czech Republic, 31 March 2020 - 3 April 2020. Association for Computing Machinery, 286-293.

Abstract

Digitization of electoral processes depends on confident systems that produce verifiable evidence. The design and implementation of voting systems has been widely studied in prior research, bringing together expertise in many fields. Switzerland is organized in a federal, decentralized structure of independent governmental entities. Thus, its decentralized structure is a real-world example for implementing an electronic voting system, where trust is distributed among multiple authorities.

This work outlines the design and implementation of a blockchain-based electronic voting system providing cast-as-intended verifiability. The generation of non-interactive zero-knowledge proofs of knowledge enables every voter to verify the encrypted vote, while maintaining the secrecy of the ballot. The Public Bulletin Board (PBB) is a crucial component of every electronic voting system, serving as a publicly verifiable log of communication and ballots - here a blockchain is used as the PBB. Also, the required cryptographic operations are in linear relation to the number of voters, making the outlined system fit for large-scale elections.

Additional indexing

Item Type:Conference or Workshop Item (Paper), refereed, original work
Communities & Collections:03 Faculty of Economics > Department of Informatics
Dewey Decimal Classification:000 Computer science, knowledge & systems
Scopus Subject Areas:Physical Sciences > Software
Scope:Discipline-based scholarship (basic research)
Language:English
Event End Date:3 April 2020
Deposited On:01 Apr 2020 06:07
Last Modified:06 Mar 2024 14:31
Publisher:Association for Computing Machinery
OA Status:Green
Free access at:Official URL. An embargo period may apply.
Publisher DOI:https://doi.org/10.1145/3341105.3373884
Official URL:https://www.csg.uzh.ch/csg/dam/jcr:c7caf2f6-6478-4f2b-b32c-8fa7c77d0884/SAC20-Killer-Rodrigues-Matile-Scheid-Stiller.pdf
Related URLs:https://dl.acm.org/doi/abs/10.1145/3341105.3373884
Other Identification Number:merlin-id:19314
Download PDF  'Design and Implementation of Cast-as-Intended Verifiability for a Blockchain-Based Voting System'.
Preview
  • Content: Published Version

Metadata Export

Statistics

Citations

Dimensions.ai Metrics
9 citations in Web of Science®
16 citations in Scopus®
Google Scholar™

Altmetrics

Downloads

509 downloads since deposited on 01 Apr 2020
35 downloads since 12 months
Detailed statistics

Authors, Affiliations, Collaborations

Similar Publications