Available from http://www.cse.unsw. edu.au/ ∼disy/papers/. [LH03] Ben Leslie and Gernot Heiser. Towards untrusted device drivers (2002)

by Mungi device drivers BE thesis, School Comp Sci, Engin