Device driver safety through a reference validation mechanism (2008)

by D Williams, P Reynolds, K Walsh, E G Sirer, F B Schneider
Venue:In OSDI