Virtual ghost: protecting applications from hostile operating systems
InkTag: secure applications on an untrusted operating system