You are here
The Award database is continually updated throughout the year. As a result, data for FY20 is not expected to be complete until September, 2021.
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