02-04-2010, 10:55 AM
Abstract
In the literature, voting protocols are considered secure if they satisfy requirements such as privacy, accuracy, robustness, etc. It can be time consuming to evaluate a voting protocol with respect to all these requirements and it is not clear that the list of known requirements is complete. Perhaps because of this many papers on electronic voting do As a solution to this, we suggest evaluating voting schemes in the universal com- posability framework. We investigate the popular class of voting schemes based on homomorphic threshold encryption. It turns out that schemes in this class realize an ideal voting functionality that takes the votes as input and outputs the result. This ideal functionality corresponds closely to the well-known ballot box model used today in man- ual voting. Security properties such as privacy, accuracy and robustness now follow as easy corollaries. We note that some security requirements, for instance incoercibility, Security holds in the random oracle model against a non-adaptive adversary. We show with a concrete example that the schemes are not secure against adaptive adver- saries. We proceed to sketch how to make them secure against adaptive adversaries in the erasure model with virtually no loss of eciency. We also sketch how to achieve security against adaptive adversaries in the erasure-free model.
Presented By:
Jens Groth
read full report and ppt
http://brics.dk/~jg/VotingSecurityFull.pdf
http://brics.dk/~jg/ACNSVotingSecurity.ppt