14 search results - page 3 / 3 » VoteBox: A Tamper-evident, Verifiable Electronic Voting Syst... |
CCS
2009
ACM
13 years 9 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
FC
2006
Springer
13 years 9 months ago
2006
Springer
In this paper, we present two failures in the blind signatures based voting system Votopia [2] which has been tested during the last World Soccer Cup. We then propose a fix which r...
CSI
2010
13 years 5 months ago
2010
Current electronic voting systems are not sufficient to satisfy trustworthy elections as they do not provide any proofs or confirming evidences of their honesty. This lack of trust...
SP
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract—Belief and vulnerability have been proposed recently to quantify information flow in security systems. Both concepts stand as alternatives to the traditional approaches...