Secure Software Components Leveraging the seL4 Microkernel

  • Chapin, Stephen J (PI)

Project: Research project

Project Details

StatusFinished
Effective start/end date9/14/15 → 9/13/17

Funding

  • Defense Advanced Research Projects Agency
  • Critical Technologies, Inc.
View all
View less