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",
}