Cast as Intended Verifiability for Mixed Array Ballots | Publicación