Skip navigation
Skip navigation

Formally Verified Verifiable Electronic Voting Scheme

Tiwari, Mukesh


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)
DOI: 10.25911/X41N-PM15


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