List

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 April, 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
  2. Mashalator SSP2

    SBC: BASHPOLE SOFTWARE, INC.            Topic: SB092007

    The proposed effort will expand on the previous efforts data mashing technology development to enable it to handle scenarios that are simultaneously more complicated and more dependent on high accuracy. This project will fulfill the solicitations Phase II goal, Develop a prototype that demonstrates the efficacy of DATALATOR technology based on Phase I results, data, and analysis. Evaluate the per ...

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

Agency Micro-sites

SBA logo
Department of Agriculture logo
Department of Commerce logo
Department of Defense logo
Department of Education logo
Department of Energy logo
Department of Health and Human Services logo
Department of Homeland Security logo
Department of Transportation logo
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government