Evaluating Security of Voting Schemes in the Universal Composability Framework
Active In SP
Joined: Mar 2010
02-04-2010, 10:55 AM
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.
read full report and ppt
Use Search at http://topicideas.net/search.php wisely To Get Information About Project Topic and Seminar ideas with report/source code along pdf and ppt presenaion