Secure Software Components Leveraging the seL4 Microkernel

  • Chapin, Stephen J, (PI)

Project: Research project

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

Funding

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