Verifying voting schemes
Date
Authors
Beckert, Bernhard
Gore, Rajeev
Schurmann, Carsten
Bormer, Thorsten
Wang, Jian
Journal Title
Journal ISSN
Volume Title
Publisher
Elsevier
Abstract
The possibility to use computers for counting ballots allows us to design new voting schemes that are arguably fairer than existing schemes designed for hand-counting. We argue that formal methods can and should be used to ensure that such schemes behave
Description
Keywords
Citation
Collections
Source
Journal of Information Security and Applications
Type
Book Title
Entity type
Access Statement
License Rights
Restricted until
2037-12-31
Downloads
File
Description