We show that verifiable voting systems require a security notion beyond individual- and universal-verifiability plus cast-as-intended.
@techreport{2020-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", }