Cryptology ePrint Archive: Report 2016/765

Cryptographic Voting — A Gentle Introduction

David Bernhard and Bogdan Warinschi

Abstract: These lecture notes survey some of the main ideas and tech- niques used in cryptographic voting systems. The write-up is geared to- wards readers with little knowledge of cryptography and it focuses on the broad principles that guide the design and analysis of cryptographic systems, especially the need for properly designed security models. We use a system proposed by Fujioka, Okamoto and Ohta as starting example to introduce some basic building blocks and desirable security properties. We then slowly build towards a comprehensive description of the Helios voting system, one of the few systems deployed in practice and briefly discuss a few of its security properties.

Category / Keywords: foundations / voting, foundations, implementation, zero-knowledge

Original Publication (in the same form): FOSAD VII, LNCS 8604, pages 167--211.

Date: received 8 Aug 2016, last revised 15 Aug 2016

Contact author: csxdb at bristol ac uk

Available format(s): PDF | BibTeX Citation

Note: Added a couple of references.

Version: 20160815:073920 (All versions of this report)

Short URL:

[ Cryptology ePrint archive ]