223 search results - page 45 / 45 » Trusted Hardware: Can It Be Trustworthy |
CADE
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
ICSE
2000
IEEE-ACM
13 years 8 months ago
2000
IEEE-ACM
Is there such a thing anymore as a software system that doesn't need to be secure? Almost every softwarecontrolled system faces threats from potential adversaries, from Inter...
CCS
2010
ACM
13 years 5 months ago
2010
ACM
Elections in India are conducted almost exclusively using electronic voting machines developed over the past two decades by a pair of government-owned companies. These devices, kn...