You are here

Home

Awards Information

For best search results, use the search terms first and then apply the filters
Reset

The Award database is continually updated throughout the year. As a result, data for FY20 is not expected to be complete until September, 2021.

Displaying 1 result(s)
 
  • Record 1 TO 1

  1. Secure Software Components Leveraging the seL4 Microkernel

    SBC: Critical Technologies Inc            Topic: SB151003

    The overall objective of this topic is to build applications that expand the ecosystem of secure software components around the seL4 operating system microkernel. The CTI/SU teams interpretation of this is broad, including an application primarily as a demonstration of the utility of a more fundamental expansion of the ecosystem: to release to the community, as open source, a minimized Trusted Com ...

    SBIR Phase II 2015 Department of DefenseDefense Advanced Research Projects Agency
US Flag An Official Website of the United States Government