179
click to vote
PLDI
2000
ACM
16 years 40 min ago
2000
ACM
We show how to determine statically whether it is safe for untrusted machine code to be loaded into a trusted host system. Our safety-checking technique operates directly on the u...