Safe Kernel Extensions Without Run-Time Checking

George C. Necula, Peter Lee. Safe Kernel Extensions Without Run-Time Checking. In OSDI. pages 229-243, 1996.

Abstract

Abstract is missing.