Coercion-resistance as Opacity in Voting Systems (2006)

Author(s): Peacock T, Ryan PYA

    Abstract: 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.

      • Date: April 2006
      • Series Title: School of Computing Science Technical Report Series
      • Pages: 19
      • Institution: School of Computing Science, University of Newcastle upon Tyne
      • Publication type: Report
      • Bibliographic status: Published

      Keywords: security, voting systems, coercion-resistance

      Staff

      Professor Peter Ryan