Tolerating malicious device drivers in Linux
CuriOS: Improving Reliability through Operating System Structure