Efficient Proof of Validity of Votes in Homomorphic E-Voting | IEEE Conference Publication | IEEE Xplore