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.
Original language | English |
---|---|
Title of host publication | FM 2014: Formal Methods - 19th International Symposium, Proceedings |
Editors | Cliff Jones, Pekka Pihlajasaari, Jun Sun |
Place of Publication | Cham, Switzerland |
Publisher | Springer, Springer Nature |
Pages | 595-610 |
Number of pages | 16 |
Volume | 8442 LNCS |
ISBN (Print) | 9783319064093 |
DOIs | |
Publication status | Published - 2014 |
Event | 19th International Symposium on Formal Methods, FM 2014 - Singapore, Singapore Duration: 12 May 2014 → 16 May 2014 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 8442 LNCS |
ISSN (Print) | 03029743 |
ISSN (Electronic) | 16113349 |
Other
Other | 19th International Symposium on Formal Methods, FM 2014 |
---|---|
Country/Territory | Singapore |
City | Singapore |
Period | 12/05/14 → 16/05/14 |
Keywords
- coercion
- elections
- signature attacks
- single transferable vote