Work

Jitk: A Trustworthy In-Kernel Interpreter Infrastructure

Type: article

Authors: Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock

Institutions: University of Washington, MIT Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology

Language: English

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1436965661

Cites: 34

Cited by: 60

Related to: 10