Secure Software Components Leveraging the seL4 Microkernel

Research project

StatusFinished
Effective start/end date9/14/159/13/17

Funding

  • Defense Advanced Research Projects Agency
  • Critical Technologies, Inc.