Sciweavers

167 search results - page 11 / 34
» An electronic voting system supporting vote weights
Sort
View
EV
2006
74views Hardware» more  EV 2006»
14 years 10 months ago
Transition to Electronic Voting and Citizen Participation
This paper draws attention to the need of a systematic approach to introducing electronic voting systems and presents empirical results from a pilot project by the Provincia Autono...
Letizia Caporusso, Carlo Buzzi, Giolo Fele, Pieran...
TARK
2007
Springer
15 years 3 months ago
Knowledge-based modelling of voting protocols
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
A. Baskar, Ramaswamy Ramanujam, S. P. Suresh
WOTE
2010
14 years 7 months ago
Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster
Abstract. While electronic elections promise the possibility of convenient, efficient and secure facilities for recording and tallying votes, recent studies have highlighted inadeq...
Stéphanie Delaune, Steve Kremer, Mark Ryan
GI
2009
Springer
15 years 1 months ago
Classifying Privacy and Verifiability Requirements for Electronic Voting
Abstract: Voter privacy and verifiability are fundamental security concepts for electronic voting. Existing literature on electronic voting provides many definitions and interpreta...
Lucie Langer, Axel Schmidt, Melanie Volkamer, Joha...
ECAI
2008
Springer
14 years 11 months ago
Coalition Structures in Weighted Voting Games
Abstract. Weighted voting games are a popular model of collaboration in multiagent systems. In such games, each agent has a weight (intuitively corresponding to resources he can co...
Edith Elkind, Georgios Chalkiadakis, Nicholas R. J...