Toggle Main Menu Toggle Search

Open Access padlockePrints

Gaining assurance in a voter-verifiable voting system

Lookup NU author(s): Professor Peter Ryan


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


The literature on e-voting systems has many examples of discussion of the correctness of the computer and communication algorithms of such systems, as well as discussions of their vulnerabilities. However, a gap in the literature concerns the practical need (before adoption of a specific e-voting system) for a complete case demonstrating that the system as a whole has sufficiently high probability of exhibiting the desired properties when in use in an actual election. This paper discusses the problem of producing such a case, with reference to a specific system: a version of the Prêt à Voter scheme for voter-verifiable e-voting. We show a possible organisation of a case in terms of four main requirements - accuracy, privacy, termination and 'trustedness'- and show some of the detailed organisation that such a case should have, the diverse kinds of evidence that needs to be gathered and some of the interesting difficulties that arise. © 2009 IEEE.

Publication metadata

Author(s): Alberdi E, Strigini L, Leach K, Ryan P, Palanque P, Winckler M

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 2nd International Conference on Dependability (DEPEND)

Year of Conference: 2009

Pages: 99-104

Publisher: IEEE


DOI: 10.1109/DEPEND.2009.21

Library holdings: Search Newcastle University Library for this item

ISBN: 9780769536668