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 , it is usually formalised as a stronger property . In this paper we analyse two voting schemes for coercion-resistance, namely Prêt à Voter  and FOO , and find that many of the requirements can be expressed in terms of a fairly recent security property, opacity . We then present a new formalisation of coercion-resistance by casting it as opacity.
Keywords: security, voting systems, coercion-resistance