14 search results - page 2 / 3 » VoteBox: A Tamper-evident, Verifiable Electronic Voting Syst... |
ESORICS
2010
Springer
13 years 6 months ago
2010
Springer
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...
SAC
2009
ACM
13 years 10 months ago
2009
ACM
The firmware of an electronic voting machine is typically treated as a “trusted” component of the system. Consequently, it is misconstrued to be vulnerable only to an insider...
GI
2009
Springer
13 years 9 months ago
2009
Springer
Abstract: Voter privacy and verifiability are fundamental security concepts for electronic voting. Existing literature on electronic voting provides many definitions and interpreta...
ESOP
2005
Springer
13 years 11 months ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
DAS
2008
Springer
13 years 7 months ago
2008
Springer
As a result of well-publicized security concerns with direct recording electronic (DRE) voting, there is a growing call for systems that employ some form of paper artifact to prov...