Acquisti, Alessandro. Receipt-Free Homomorphic Elections and Write-in Voter Verified Ballots. Carnegie Mellon University, School of Computer Science, 2004.