Paper 2017/325
CHVote System Specification
Rolf Haenni and Reto E. Koenig and Philipp Locher and Eric Dubuis
Abstract
This document provides a self-contained, comprehensive, and fully-detailed specification of a new cryptographic voting protocol for the future system of the State of Geneva. The document describes every relevant aspect and every necessary technical detail of the computations and communications performed by the participants during the protocol execution. To support the general understanding of the cryptographic protocol, the document accommodates the necessary mathematical and cryptographic background information. By providing this information to the maximal possible extent, it will become the ultimate companion for the developers in charge of implementing the future Internet voting system of the State of Geneva. It may also serve as a manual for developers trying to implement an independent election verification software. The decision of making this document public will even enable implementations by third parties, for example by students trying to develop a clone of the Geneva system for scientific evaluations or to implement protocol extensions to achieve additional security properties. In any case, the target audience of this document are system designers, software developers, and cryptographic experts.
Note: Version 1.4.2
Metadata
- Available format(s)
- Category
- Cryptographic protocols
- Publication info
- Preprint. MINOR revision.
- Keywords
- electronic voting
- Contact author(s)
- rolf haenni @ bfh ch
- History
- 2023-02-26: last of 16 revisions
- 2017-04-17: received
- See all versions
- Short URL
- https://ia.cr/2017/325
- License
-
CC BY