Tolerating malicious device drivers in Linux
Hardware Enforcement of Application Security Policies Using Tagged Memory