Mind the Gap: Individual- and universal-verifiability plus cast-as-intended don't yield verifiable voting systems

Smyth, Ben

This manuscript shows that verifiable voting systems require a security notion beyond individual- and universal-verifiability plus cast-as-intended

Ben Smyth (2020) Mind the Gap: Individual- and universal-verifiability plus cast-as-intended don't yield verifiable voting systems. Technical Report 2020/1054, Cryptology ePrint Archive.

Abstract

We show that verifiable voting systems require a security notion beyond individual- and universal-verifiability plus cast-as-intended.

$ curl -s https://publications.bensmyth.com/files/Smyth20-mind-the-gap.bib | cat

@techreport{Smyth20-mind-the-gap,
  title = {{Mind the Gap:}}
        # {{ Individual- and universal-verifiability plus cast-as-intended don't yield verifiable voting systems}},
  year = {2020}, author = {Ben Smyth},
  url = {./},
  url-pdf = {./files/Mind-the-Gap.pdf},
  url-bib = {./files/mind-the-gap.bib},
  url-yaml = {./files/mind-the-gap.yml}
}