Skip navigation
Skip navigation

Verifying voting schemes

Beckert, Bernhard; Gore, Rajeev; Schurmann, Carsten; Bormer, Thorsten; Wang, Jian


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

CollectionsANU Research Publications
Date published: 2014
Type: Journal article
Source: Journal of Information Security and Applications
DOI: 10.1016/j.jisa.2014.04.005


File Description SizeFormat Image
01_Beckert_Verifying_voting_scheme_2014.pdf1.34 MBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator