Skip navigation
Skip navigation

Formally Verified Verifiable Electronic Voting Scheme

Tiwari, Mukesh

Description

Since the introduction of secret ballots in Victoria, Australia in 1855, paper (ballots) are widely used around the world to record the preferences of eligible voters. Paper ballots provide three important ingredients: correctness, privacy, and verifiability. However, the paper ballot election brings various other challenges, e.g. it is slow for large democracies like India, error prone for complex voting method like single transferable vote, and poses operational challenges for large...[Show more]

CollectionsOpen Access Theses
Date published: 2021
Type: Thesis (PhD)
URI: http://hdl.handle.net/1885/227674
DOI: 10.25911/X41N-PM15

Download

File Description SizeFormat Image
Tiwari Thesis 2021.pdfThesis Material2.9 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