Cast as Intended Verifiability for Mixed Array Ballots.

Nowadays, remote electronic voting has to deal with the fact that any computer can be a voting client for its voters, and these computers may be running malicious software on it. For this reason, cast as intended verifiability must be provided in any secure remote electronic voting scheme. However, existing cast as intended solutions for homomorphic tallying paradigm require the use of modular operations which cannot be performed by an average voter. Therefore, these solutions rely on the assumptions that a voter have access to a second device running a verification software and that the attacker cannot attack both. In this paper, we present a voting protocol under homomorphic tallying paradigm which provides a usable cast as intended verifiability solution using short codes without any extra device requirement.