Skip navigation
Skip navigation

Verified and Verifiable Computation with STV Algorithms

Ketab Ghale Haji Ali, Milad

Description

Single Transferable Vote (STV) is a family of preferential voting systems, different instances of which are used in binding elections throughout the world. Most countries with an STV system rely on archaic manual vote counting or opaque unreliable computerised methods. Although technology exists to enhance the situation by building significantly more transparent, trustworthy, reliable vote counting tools, in practice these technologies are ignored. We introduce a framework which formalises and...[Show more]

CollectionsOpen Access Theses
Date published: 2019
Type: Thesis (PhD)
URI: http://hdl.handle.net/1885/176977

Download

File Description SizeFormat Image
MyThesisFinal.pdfThesis Material2.04 MBAdobe PDFThumbnail


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