Data Anonymity in the FOO Voting Scheme
Sjouke Mauw, Jan Verschuren and Erik de Vink

We study one of the many aspects of privacy, which is referred to as data
anonymity, in a formal context. Data anonymity expresses whether some piece of
observed data, such as a vote, can be attributed to a user, in this case a
voter. We validate the formal treatment of data anonymity by analyzing a
well-known electronic voting protocol.