Surveying global verifiability

Ben Smyth

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: voting verifiability provable security
Contact author(s): research @ bensmyth com
History: 2020-07-12: received
Short URL: https://ia.cr/2020/849
License: CC BY

BibTeX

@misc{cryptoeprint:2020/849,
      author = {Ben Smyth},
      title = {Surveying global verifiability},
      howpublished = {Cryptology {ePrint} Archive, Paper 2020/849},
      year = {2020},
      url = {https://eprint.iacr.org/2020/849}
}