1081 search results - page 165 / 217 » Towards Application Security on Untrusted Operating Systems |
CADE
1998
Springer
14 years 29 days 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 ...
ACMICEC
2007
ACM
14 years 22 days ago
2007
ACM
E-commerce is presently operating under its expected capacity, mainly because traders find it very difficult to trust one another online for trading decisions. It is therefore ver...
SOSP
2005
ACM
14 years 5 months ago
2005
ACM
Rapid improvements in network bandwidth, cost, and ubiquity combined with the security hazards and high total cost of ownership of personal computers have created a growing market...
MICRO
2009
IEEE
14 years 3 months ago
2009
IEEE
Hardware support for dynamic analysis can minimize the performance overhead of useful applications such as security checks, debugging, and profiling. To eliminate implementation ...
CCS
2009
ACM
14 years 1 days ago
2009
ACM
Code injections attacks are one of the most powerful and important classes of attacks on software. In such attacks, the attacker sends malicious input to a software application, w...