Verifying voting schemes
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
|Collections||ANU Research Publications|
|Source:||Journal of Information Security and Applications|
|01_Beckert_Verifying_voting_scheme_2014.pdf||1.34 MB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.