Sciweavers

WOTE
2010
13 years 8 months ago
A Verifiable Voting Protocol Based on Farnel
Roberto Araujo, Ricardo Felipe Custódio, Je...
WOTE
2010
13 years 8 months ago
Anonymity in Voting Revisited
According to international law, anonymity of the voter is a fundamental precondition for democratic elections. In electronic voting, several aspects of voter anonymity have been id...
Hugo Jonker, Wolter Pieters
WOTE
2010
13 years 8 months ago
Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster
Abstract. While electronic elections promise the possibility of convenient, efficient and secure facilities for recording and tallying votes, recent studies have highlighted inadeq...
Stéphanie Delaune, Steve Kremer, Mark Ryan
WOTE
2010
13 years 9 months ago
An Introduction to PunchScan
Stefan Popoveniuc, Benjamin Hosp
WOTE
2010
13 years 9 months ago
On Some Incompatible Properties of Voting Schemes
Abstract. In this paper, we study the problem of simultaneously achieving several security properties, for voting schemes, without non-standard assumptions. More specifically, we ...
Benoît Chevallier-Mames, Pierre-Alain Fouque...
WOTE
2010
13 years 9 months ago
On Optical Mark-Sense Scanning
Optical mark-sense scanning has lead to a resurgence in the use of paper ballots in the United States, despite a century of strong competition from paperless direct-recording votin...
Douglas W. Jones
WOTE
2010
13 years 9 months ago
Securing Optical-Scan Voting
Abstract. This paper presents a method for adding end-to-end verifiability to any optical-scan vote counting system. A serial number and set of letters, paired with every candidat...
Stefan Popoveniuc, Jeremy Clark, Richard Carback, ...
WOTE
2010
13 years 9 months ago
Receipt-Free K-out-of-L Voting Based on ElGamal Encryption
We present a K-out-of-L voting scheme, i.e., a voting scheme that allows every voter to vote for (up to) K candidates from a set of L candidates. The scheme is receipt-free, which ...
Martin Hirt
WOTE
2010
13 years 9 months ago
Aperio: High Integrity Elections for Developing Countries
This article presents an ‘end-to-end’ integrity verification mechanism for use in minimally equipped secret paper-ballot election environments. The scheme presented in this pa...
Aleksander Essex, Jeremy Clark, Carlisle Adams
WOTE
2010
13 years 9 months ago
Attacking Paper-Based E2E Voting Systems
Abstract. In this paper, we develop methods for constructing votebuying/coercion attacks on end-to-end voting systems, and describe votebuying/coercion attacks on three proposed en...
John Kelsey, Andrew Regenscheid, Tal Moran, David ...