Not logged in.

Contribution Details

Type Conference or Workshop Paper
Scope Discipline-based scholarship
Published in Proceedings Yes
Title Design and Implementation of Cast-as-Intended Verifiability for a Blockchain-Based Voting System
Organization Unit
Authors
  • Christian Killer
  • Bruno Rodrigues
  • Raphael Matile
  • Eder John Scheid
  • Burkhard Stiller
Presentation Type paper
Item Subtype Original Work
Refereed Yes
Status Published in final form
Language
  • English
Page Range 286 - 293
Event Title Proceedings of the 35th Annual ACM Symposium on Applied Computing
Event Type conference
Event Location Brno, Czech Republic
Event Start Date March 31 - 2020
Event End Date April 3 - 2020
Place of Publication New York, NY, USA
Publisher Association for Computing Machinery
Abstract Text 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.
Free access at Official URL
Official URL https://www.csg.uzh.ch/csg/dam/jcr:c7caf2f6-6478-4f2b-b32c-8fa7c77d0884/SAC20-Killer-Rodrigues-Matile-Scheid-Stiller.pdf
Related URLs
Digital Object Identifier 10.1145/3341105.3373884
Other Identification Number merlin-id:19314
PDF File Download from ZORA
Export BibTeX
EP3 XML (ZORA)