Towards Untrusted Device Drivers (2003)

by Ben Leslie, Gernot Heiser