On the Specification and Verification of Voting Schemes
Download (237.8 kB)
-
Altmetric Citations
Beckert, Bernhard; Gore, Rajeev; Schurmann, Carsten
Description
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
Collections | ANU Research Publications |
---|---|
Date published: | 2013 |
Type: | Conference paper |
URI: | http://hdl.handle.net/1885/66190 |
Source: | Lecture Notes in Computer Science |
DOI: | 10.1007/978-3-642-39185-9_2 |
Download
File | Description | Size | Format | Image |
---|---|---|---|---|
01_Beckert_On_the_Specification_and_2013.pdf | 237.8 kB | Adobe PDF |
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.
Updated: 17 November 2022/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator