Homomorphic Tallying for the Estonian Internet Voting System
How not to Prove Yourself: Pitfalls of the Fiat-Shamir Heuristic and Applications to Helios.