Can we make operating systems reliable and secure?
Recovering device drivers