Safe Kernel Extensions Without Run-Time Checking

TitleSafe Kernel Extensions Without Run-Time Checking
Publication TypeConference Paper
Year of Publication1996
AuthorsNecula GC, Lee P
Conference NameUSENIX 2nd Symposium on OS Design and Implementation (OSDI 96)
Date Published10/1996
PublisherUSENIX Association
Conference LocationSeattle, WA
URLhttps://www.usenix.org/conference/osdi-96/safe-kernel-extensions-without-run-time-checking