On the Specification and Verification of Voting Schemes
Loading...
Date
Authors
Beckert, Bernhard
Gore, Rajeev
Schurmann, Carsten
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Abstract
The ability to count ballots by computers 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 as intended
Description
Citation
Collections
Source
Lecture Notes in Computer Science
Type
Book Title
Entity type
Access Statement
License Rights
Restricted until
2037-12-31
Downloads
File
Description