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