Sciweavers

2 search results - page 1 / 1
» Formally Counting Electronic Votes (But Still Only Trusting ...
Sort
View
ICECCS
2007
IEEE
110views Hardware» more  ICECCS 2007»
13 years 11 months ago
Formally Counting Electronic Votes (But Still Only Trusting Paper)
In this extended abstract we summarize our consulting work, scientiļ¬c research, and activism in the topic of electronic (computer-based) voting. The Dutch and Irish governmentā€...
Joseph Kiniry
ACSAC
2007
IEEE
13 years 11 months ago
Tampering with Special Purpose Trusted Computing Devices: A Case Study in Optical Scan E-Voting
Special purpose trusted computing devices are currently being deployed to offer many services for which the general purpose computing paradigm is unsuitable. The nature of the ser...
Aggelos Kiayias, Laurent Michel, Alexander Russell...