Secure Software Components Leveraging the seL4 Microkernel

Chapin, Stephen J (PI)

Department of Electrical Engineering & Computer Science

Research project

Status	Finished
Effective start/end date	9/14/15 → 9/13/17

Funding

Defense Advanced Research Projects Agency
Critical Technologies, Inc.