An Unverifiability Principle for Voting Machines

Author: Andrew Appel This article was originally posted at Freedom to Tinker on October 22, 2018. In my last three articles I described the ES&S ExpressVote, the Dominion ImageCast Evolution, and the Dominion ImageCast X (in its DRE+VVPAT configuration). There’s something they all have in common: they all violate a certain principle of voter verifiability.…