Cultural advice

The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history.

Aboriginal and Torres Strait Islander peoples are advised that ANU Library collections may include images, names, voices, and other representations of deceased persons.

Material in the collection may contain terms, language or views that reflect the period in which the item was created and may be considered inappropriate today.

Schulze Voting as Evidence Carrying Computation

Simple item page
dc.contributor.authorPattinson, Dirk
dc.contributor.authorTiwari, Mukesh
dc.contributor.editorAyala-Rincn, M.
dc.contributor.editorMuoz, C.
dc.coverage.spatialBraslia, Brazil
dc.date.accessioned2024-02-05T02:11:24Z
dc.date.created26 September 2017 through 29 September 2017
dc.date.issued2017
dc.date.updated2022-10-02T07:19:08Z
dc.description.abstractThe correctness of vote counting in electronic election is one of the main pillars that engenders trust in electronic elections. However, the present state of the art in vote counting leaves much to be desired: while some jurisdictions publish the source code of vote counting code, others treat the code as commercial in confidence. None of the systems in use today applies any formal verification. In this paper, we formally specify the so-called Schulze method, a vote counting scheme that is gaining popularity on the open source community. The cornerstone of our formalisation is a (dependent, inductive) type that represents all correct executions of the vote counting scheme. Every inhabitant of this type not only gives a final result, but also all intermediate steps that lead to this result, and can so be externally verified. As a consequence, we do not even need to trust the execution of the (verified) algorithm: the correctness of a particular run of the vote counting code can be verified on the basis of the evidence for correctness that is produced along with determination of election winners.en_AU
dc.format.mimetypeapplication/pdfen_AU
dc.identifier.citationPattinson, D., Tiwari, M. (2017). Schulze Voting as Evidence Carrying Computation. In: Ayala-Rincón, M., Muñoz, C.A. (eds) Interactive Theorem Proving. ITP 2017. Lecture Notes in Computer Science(), vol 10499. Springer, Cham. https://doi.org/10.1007/978-3-319-66107-0_26en_AU
dc.identifier.isbn9783319661063en_AU
dc.identifier.urihttp://hdl.handle.net/1885/313144
dc.language.isoen_AUen_AU
dc.publisherSpringeren_AU
dc.relation.ispartofseries8th International Conference on Interactive Theorem Proving, ITP 2017en_AU
dc.rights© 2017 Springer International Publishing AGen_AU
dc.sourceLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)en_AU
dc.titleSchulze Voting as Evidence Carrying Computationen_AU
dc.typeConference paperen_AU
local.bibliographicCitation.lastpage426en_AU
local.bibliographicCitation.startpage410en_AU
local.contributor.affiliationPattinson, Dirk, College of Engineering and Computer Science, ANUen_AU
local.contributor.affiliationTiwari, Mukesh, College of Engineering and Computer Science, ANUen_AU
local.contributor.authoruidPattinson, Dirk, u4762643en_AU
local.contributor.authoruidTiwari, Mukesh, u5935541en_AU
local.description.embargo2099-12-31
local.description.notesImported from ARIESen_AU
local.description.refereedYes
local.identifier.absfor460403 - Data security and protectionen_AU
local.identifier.absfor461305 - Data structures and algorithmsen_AU
local.identifier.ariespublicationa383154xPUB9147en_AU
local.identifier.doi10.1007/978-3-319-66107-0_26en_AU
local.identifier.scopusID2-s2.0-85029506121
local.identifier.thomsonIDWOS:000478660800026
local.type.statusPublished Versionen_AU

Downloads

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
Schulze Voting as evidence carrying comptation.pdf
Size:
363.52 KB
Format:
Adobe Portable Document Format
Description:
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2026 LYRASIS

abcd