Secure Software Components Leveraging the seL4 Microkernel

Project: Research project

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

Funding

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