70 search results - page 2 / 14 » Counting Votes with Formal Methods |
WOTE
2010
13 years 4 months ago
2010
Abstract. This paper presents a method for adding end-to-end verifiability to any optical-scan vote counting system. A serial number and set of letters, paired with every candidat...
FC
2009
Springer
14 years 9 days ago
2009
Springer
End-to-end voting schemes have shown considerable promise for allowing voters to verify that tallies are accurate. At the same time, the threat of coercion has generally been consi...
ASPDAC
2009
ACM
13 years 10 months ago
2009
ACM
— This paper proposes the first automatic approach to simultaneously generate Cycle Accurate and Cycle Count Accurate transaction level bus models. Since TLM (Transaction Level M...
SIAMDM
2011
12 years 8 months ago
2011
CCS
2007
ACM
13 years 12 months ago
2007
ACM
In this paper we propose a new voting protocol with desirable security properties. The voting stage of the protocol can be performed by humans without computers; it provides every...