Skip navigation
Skip navigation

Verifying voting schemes

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

Description

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
URI: http://hdl.handle.net/1885/67163
Source: Journal of Information Security and Applications
DOI: 10.1016/j.jisa.2014.04.005

Download

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:  12 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator