key: 2020-mind-the-gap
type: techreport
title: >-
  Mind the Gap: Individual- and universal-verifiability plus cast-as-intended don't yield verifiable
  voting systems
authors:
  - Ben Smyth
year: 2020
number: 2020/1054
institution: Cryptology ePrint Archive
description: >-
  This manuscript shows that verifiable voting systems require a security notion beyond individual-
  and universal-verifiability plus cast-as-intended
keywords: >-
  voting, verifiability, individual- and universal-verifiability, cast-as-intended, clash attack,
  election system, electronic voting, e-voting
abstract: >-
  We show that verifiable voting systems require a security notion beyond individual- and
  universal-verifiability plus cast-as-intended.
links:
  - file: Smyth20-Mind-the-Gap.pdf
    text: Draft
    alt:
      url: https://eprint.iacr.org/2020/1054/
      text: Cryptology ePrint Archive version