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: TECHSHOT, INC.            Topic: SB151003

    Techshot proposes the L4 ArchitectUre for Next-generation Crewed Hardware (LAUNCH), a set of open-source software components that leverages the verified separation kernel of seL4 to create a robust achievable system that can be used to reduce the cost and development time of highly reliable systems like those used on crewed space flight. With over a 25 year history of developing life science paylo ...

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