@techreport{Smyth20-mind-the-gap,
  author = {Ben Smyth},
  title = {{Mind the Gap:}}
        # {{ Individual- and universal-verifiability plus cast-as-intended don't yield verifiable voting systems}},
  year = {2020},
  number = {2020/1054},
  institution = {Cryptology ePrint Archive},
  url = {https://publications.bensmyth.com/2020-mind-the-gap/},
  url-pdf = {https://publications.bensmyth.com/files/Smyth20-Mind-the-Gap.pdf},
  url-bib = {https://publications.bensmyth.com/files/Smyth20-mind-the-gap.bib},
  url-yaml = {https://publications.bensmyth.com/files/Smyth20-mind-the-gap.yml},
  note = {Cryptology ePrint Archive version: https://eprint.iacr.org/2020/1054/},
  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.}
}