Virtual ghost: protecting applications from hostile operating systems
Memory Safety for Low-Level Software/Hardware Interactions