Safe kernel extensions without run-time checking. USENIX (1996)

by George C Necula, Peter Lee
Venue:Symposium on Operating Systems Design and Implementation,