Abstract: Existing formal definitions of privacy properties for voting protocols such as Coercion-Resistance or Receipt-Freeness suffer from having been tailored to a specific type of protocol. We propose a new family of privacy notions to unify these definitions and accommodate more general types of protocols, including protocols supporting multiple votes. At the same time, we extend the threat model to include more realistic scenarios such as vote-copying or forced abstention. Finally we illustrate our definitions using several existing voting protocols, and show that our model allows to compare different types of protocols that were difficult to compare previously.
ATTENTION LE SEMINAIRE AURA LIEU A VERIMAG HISTORIQUE.