Linux kernel vulnerabilities: State-of-the-art defenses and open problems
Recovering device drivers