135 search results - page 6 / 27 » Secure Electronic Voting - A Framework |
CSFW
2008
IEEE
13 years 9 months ago
2008
IEEE
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...
CSFW
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper we formally study important properties of electronic voting protocols. In particular we are interested in coercion-resistance and receipt-freeness. Intuitively, an e...
FC
2005
Springer
14 years 28 days ago
2005
Springer
We demonstrate how to make voting protocols resistant against manipulation by computationally bounded malicious voters, by extending the previous results of Conitzer and Sandholm i...
WPES
2004
ACM
14 years 25 days ago
2004
ACM
I3E
2001
13 years 8 months ago
2001
: For an electronic election to be fully democratic there is a need for security mechanisms that will assure the privacy of the voters. With receipt-free electronic voting, a voter...