key: 2019-surveying-global-verifiability
type: article
title: Surveying global verifiability
authors:
  - Ben Smyth
year: 2020
journal: Information Processing Letters
volume: "163"
doi: 10.1016/j.ipl.2020.106000
description: >-
  This paper discovers that insecure voting systems can be proven to satisfy global verifiability, a
  new definition is needed
keywords: >-
  electronic voting, e-voting, election verifiability, end-to-end verifiability, individual
  verifiability, universal verifiability, eligibility verifiability, global verifiability
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.
links:
  - file: Smyth19-surveying-global-verifiability.pdf
    text: Draft
    alt:
      url: http://arxiv.org/abs/1612.04099
      text: Cryptology ePrint Archive version
  - url: https://doi.org/10.1016/j.ipl.2020.106000
    text: Official version