149 search results - page 14 / 30 » Securing Optical-Scan Voting |
ESORICS
2010
Springer
13 years 8 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...
CRYPTO
2006
Springer
13 years 11 months ago
2006
Springer
We present the first universally verifiable voting scheme that can be based on a general assumption (existence of a non-interactive commitment scheme). Our scheme is also the first...
WOTE
2010
13 years 5 months ago
2010
Abstract. In this paper, we study the problem of simultaneously achieving several security properties, for voting schemes, without non-standard assumptions. More specifically, we ...
EUROCRYPT
2000
Springer
13 years 11 months ago
2000
Springer
Voting schemes that provide receipt-freeness prevent voters from proving their cast vote, and hence thwart vote-buying and coercion. We analyze the security of the multi-authority ...
BIOSIG
2008
13 years 9 months ago
2008
: As many European countries are about to introduce national ID cards, which are compliant to the European Citizen Card specification prCEN 15480 it is natural to study how those c...