Cryptanalysis of a Universally Verifiable Efficient Re-Encryption Mixnet
The authors study the heuristically secure mix-net proposed by Puiggali and Guasch (EVOTE 2010). They present practical attacks on both correctness and privacy for some sets of parameters of the scheme. Although their attacks only allow one to replace a few inputs, or to break the privacy of a few voters, this shows that the scheme can not be proven secure. A fundamental problem in implementing electronic elections is how to guarantee the anonymity of the voters.