Work

Safe kernel extensions without run-time checking

Year: 1996

Type: conference-paper

Source: Operating Systems Design and Implementation

DOI: 10.1145/238721.238781

Authors: George C. Necula, Peter Lee

Language: English

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2150769115

FWCI: 22.27

Cites: 7

Cited by: 502

Related to: 10