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 FY19 is not expected to be complete until June, 2020.

  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