Cryptology ePrint Archive: Report 2020/849

Surveying global verifiability

Ben Smyth

Abstract: We explore global verifiability; discovering that voting systems vulnerable to attack can be proven to satisfy that security notion, whereas many secure systems cannot. We conclude that current definitions are unsuitable for the analysis of voting systems, fuelling the exploration for a suitable definition.

Category / Keywords: foundations / voting, verifiability, provable security

Original Publication (in the same form): Information Processing Letters

Date: received 8 Jul 2020

Contact author: research at bensmyth com

Available format(s): PDF | BibTeX Citation

Version: 20200712:124000 (All versions of this report)

Short URL:

[ Cryptology ePrint archive ]