You are looking at a specific version 20200712:124000 of this paper. See the latest version.

Paper 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.

Metadata
Available format(s)
PDF
Category
Foundations
Publication info
Published elsewhere. Information Processing Letters
Keywords
votingverifiabilityprovable security
Contact author(s)
research @ bensmyth com
History
2020-07-12: received
Short URL
https://ia.cr/2020/849
License
Creative Commons Attribution
CC BY
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.