9 search results - page 2 / 2 » Analyzing an Electronic Cash Protocol Using Applied Pi Calcu... |
WOTE
2010
14 years 7 months ago
2010
Abstract. While electronic elections promise the possibility of convenient, efficient and secure facilities for recording and tallying votes, recent studies have highlighted inadeq...
CSFW
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper we formally study important properties of electronic voting protocols. In particular we are interested in coercion-resistance and receipt-freeness. Intuitively, an e...
CSFW
2010
IEEE
15 years 24 days ago
2010
IEEE
RFID tags are being widely employed in a variety of applications, ranging from barcode replacement to electronic passports. Their extensive use, however, in combination with their ...
82
Voted
CSFW
2009
IEEE
15 years 4 months ago
2009
IEEE
—Formal methods have proved their usefulness for analyzing the security of protocols. Most existing results focus on trace properties like secrecy (expressed as a reachability pr...