Browse by author
Lookup NU author(s): Thea Peacock, Professor Peter Ryan
Coercion-resistance is one of the key requirements of voting systems as it prevents an outsider from trying to persuade the voter to vote in a certain way. Although it usually implies receipt-freeness [15], it is usually formalised as a stronger property [23]. In this paper we analyse two voting schemes for coercion-resistance, namely Prêt à Voter [12] and FOO [17], and find that many of the requirements can be expressed in terms of a fairly recent security property, opacity [5]. We then present a new formalisation of coercion-resistance by casting it as opacity.
Author(s): Peacock T, Ryan PYA
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Year: 2006
Pages: 19
Print publication date: 01/04/2006
Source Publication Date: April 2006
Report Number: 959
Institution: School of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/959.pdf
