Cryptology ePrint Archive: Report 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.

Category / Keywords: cryptographic protocols / electronic voting

Date: received 12 Apr 2017, last revised 19 Apr 2017

Contact author: rolf haenni at bfh ch

Available format(s): PDF | BibTeX Citation

Version: 20170419:231023 (All versions of this report)

Short URL:

Discussion forum: Show discussion | Start new discussion

[ Cryptology ePrint archive ]