Device driver safety through a reference validation mechanism (2008)

by D Williams, P Reynolds, K Walsh, E G Sirer, F B Schneider
Venue:In USENIX Symp. on Opearting Syst. Design & Implementation (OSDI