Human Readable Paper Verification of Pret a Voter

Lundin, David and Ryan, Peter Y A Human Readable Paper Verification of Pret a Voter Technical Report. Department of Computing, University of Surrey. (Unpublished)

Preview

Text LUNDIN_human_readable_paper.pdf Download (161kB)

Abstract

The Pret a Voter election scheme provides high assurance of accuracy and secrecy, due to the high degree of transparency and auditability. However, the assurance arguments are subtle and involve some understanding of the role of cryptography. As a result, establishing public understanding and trust in such systems remains a challenge. It is essential that a voting system be not only trust-worthy but also widely trusted. In response to this concern, we propose to add a mechanism to Pr^et �a Voter to generate a conventional (i.e. human readable) paper audit trail that can be invoked should the outcome of the cryptographic count be called into question. It is hoped that having such a familiar mechanism as a safety net will encourage public confidence. Care has to be taken to ensure that the mechanism does not undermine the carefully crafted integrity and privacy assurances of the original scheme. We show that, besides providing a confidence building measure, this mechanism brings with it a number of interesting technical features: it allows extra audits of mechanisms that capture and process the votes to be performed. The mechanism proposed also has the benefit of providing a robust counter to the danger of voters undermining the receipt-freeness of property by trying to retain the candidate list.

Item Type:	Monograph (Technical Report)
Divisions :	Faculty of Engineering and Physical Sciences > Computing Science
Authors :	Name Email ORCID Lundin, David Ryan, Peter Y A
Additional Information :	Copyright The Authors
Depositing User :	Melanie Hughes
Date Deposited :	17 Mar 2011 16:08
Last Modified :	31 Oct 2017 14:06
URI:	http://epubs.surrey.ac.uk/id/eprint/2804

Actions (login required)

View Item

Downloads