7 search results - page 1 / 2 » Civitas: A Secure Remote Voting System |
DAGSTUHL
2007
13 years 6 months ago
2007
Civitas is the first implementation of a coercion-resistant, universally verifiable, remote voting scheme. This paper describes the design of Civitas, details the cryptographic ...
SP
2008
IEEE
13 years 11 months ago
2008
IEEE
Civitas is the first electronic voting system that is coercion-resistant, universally and voter verifiable, and suitable for remote voting. This paper describes the design and i...
ESORICS
2010
Springer
13 years 5 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...
EVOTING
2004
13 years 6 months ago
2004
: Remote Internet voting systems still suffer from many security problems which rely on the clients, the servers, and the network connections. Denial-ofservice attacks and viruses ...
USS
2008
13 years 7 months ago
2008
Voting in national elections from the comfort of one's home computer may never be practical or secure, but we argue that remote network voting can be both practical and secur...