@inproceedings{35ecfda2b14049419985222710dd9a0d,
title = "Towards a formal analysis of information leakage for signature attacks in preferential elections",
abstract = "Electronic voting is rich with paradoxes. How can a voter verify that his own vote has been correctly counted, but at the same time be prevented from revealing his vote to a third party? Not only is there no generally recognised solution to those problems, it is not generally agreed how to specify precisely what the problems are, and what exact threats they pose. Such a situation is ripe for the application of Formal Methods. In this paper we explore so-called signature attacks, where an apparently secure system can nevertheless be manipulated to reveal a voter's choice in unexpected and subtle ways. We describe two examples in detail, and from that make proposals about where formal techniques might apply.",
keywords = "coercion, elections, signature attacks, single transferable vote",
author = "Roland Wen and Annabelle McIver and Carroll Morgan",
year = "2014",
doi = "10.1007/978-3-319-06410-9_40",
language = "English",
isbn = "9783319064093",
volume = "8442 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer, Springer Nature",
pages = "595--610",
editor = "Cliff Jones and Pekka Pihlajasaari and Jun Sun",
booktitle = "FM 2014: Formal Methods - 19th International Symposium, Proceedings",
address = "United States",
}