key: 2022-surveying-election-verifiability
type: article
title: Surveying definitions of election verifiability
authors:
  - Ben Smyth
  - Michael R. Clarkson
year: 2022
journal: Information Processing Letters
volume: "177"
doi: 10.1016/j.ipl.2022.106267
description: >-
  We discover insecure voting systems can be proven to satisfy definitions of verifiability and
  conclude they are unsuitable for the analysis of voting systems.
keywords: >-
  voting, verifiability, individual- and universal-verifiability, cast-as-intended, clash attack,
  election system, electronic voting, e-voting
abstract: >-
  We explore definitions of verifiability by Juels et al. (2010), Cortier et al. (2014), and Kiayias
  et al. (2015). We discover that voting systems vulnerable to attacks can be proven to satisfy each
  of those definitions and conclude they are unsuitable for the analysis of voting systems. Our
  results will fuel the exploration for a new definition.
links:
  - file: Smyth22-surveying-election-verifiability.pdf
    text: Draft
    alt:
      url: https://eprint.iacr.org/2022/305/
      text: Cryptology ePrint Archive version
  - url: https://doi.org/10.1016/j.ipl.2022.106267
    text: Official version