AppSec: A Safe Execution Environment for Security Sensitive Applications
InkTag: secure applications on an untrusted operating system