AppSec: A Safe Execution Environment for Security Sensitive Applications
VirtuOS: an operating system with kernel virtualization