34 search results - page 2 / 7 » Classifying Privacy and Verifiability Requirements for Elect... |
ACSAC
2009
IEEE
13 years 11 months ago
2009
IEEE
– After the voting debacle in the Florida Presidential election of 2000 with its now-fabled hanging chads and pregnant chads, many voting jurisdictions turned to electronic votin...
ESOP
2005
Springer
13 years 10 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...
CCS
2009
ACM
13 years 8 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...
COMPSAC
2006
IEEE
13 years 11 months ago
2006
IEEE
—Many electronic voting systems, classified mainly as homomorphic cryptography based, mix-net based and blind signature based, appear after the eighties when zero knowledge proof...
CSE
2009
IEEE
13 years 9 months ago
2009
IEEE
—Event schedulers, well-known from groupware and social software, typically share the problem that they disclose detailed availability patterns of their users. This paper disting...