You are here

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.

Download all SBIR.gov award data either with award abstracts (290MB) or without award abstracts (65MB). A data dictionary and additional information is located on the Data Resource Page. Files are refreshed monthly.

  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
  2. seL4 Components for Secure Embedded Networked Applications

    SBC: Wearable Inc.            Topic: SB151003

    Embedded networking applications ranging from industrial control systems to home automation and networking to smartphone-controllable devices represent a substantial and growing internet security risk. The open source formally verified seL4 microkernel provides a foundation for building trustworthy systems. Wearable Inc. proposes building on this a set of high-quality software components which can ...

    SBIR Phase I 2015 Department of DefenseDefense Advanced Research Projects Agency
  3. 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