Cryptology ePrint Archive: Report 2022/305

Surveying definitions of election verifiability

Ben Smyth and Michael R. Clarkson

Abstract: We explore definitions of verifiability by Juels et al. (2010), Cortier et al. (2014), and Kiayias et al. (2015). We discover that voting systems vulnerable to attacks can be proven to satisfy each of those definitions and conclude they are unsuitable for the analysis of voting systems. Our results will fuel the exploration for a new definition.

Category / Keywords: foundations / attacks, definitions, election schemes, foundations, verifiability

Date: received 5 Mar 2022, last revised 5 Mar 2022

Contact author: research at bensmyth com

Available format(s): PDF | BibTeX Citation

Version: 20220307:124846 (All versions of this report)

Short URL:

[ Cryptology ePrint archive ]