Efficient Proof of Validity of Votes in Homomorphic E-Voting.

Kun Peng Feng Bao

Published in: NSS (2010)

Keyphrases

theorem prover
voting scheme
database
special case
mobile robot
computationally efficient
data sets
data mining
genetic algorithm
search engine
computationally expensive