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. 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
US Flag An Official Website of the United States Government