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

BibTeX

@misc{cryptoeprint:2020/849,
      author = {Ben Smyth},
      title = {Surveying global verifiability},
      howpublished = {Cryptology ePrint Archive, Paper 2020/849},
      year = {2020},
      note = {\url{https://eprint.iacr.org/2020/849}},
      url = {https://eprint.iacr.org/2020/849}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.