Clean-Slate Development of Certified OS Kernels

Document Details

Document Type: Pub Defense Publication
Publication Date: Jan 13, 2015
Source ID: 10.1145/2676724.2693180

Entities

People

Zhong Shao

Organizations

Defense Advanced Research Projects Agency
National Science Foundation
Office of Naval Research
Yale University