The Award database is continually updated throughout the year. As a result, data for FY19 is not expected to be complete until June, 2020.
SBC: Galois, Inc. Topic: HSB0132002
To meet the critical security needs of the Department of Homeland Security and others, we propose two methods for providing a secure root of trust for mobile devices. One method is designed to integrate as easily into existing systems, while the other requires deeper integration but provides correspondingly stronger security. The keys to our work are practicality and integration: practicality to e ...SBIR Phase I 2013 Department of Homeland Security
SBC: The Formula Factory Topic: 9030177R
Galois will build a practical, efficient, modular, deductive code verifier and verification methodology for multithread C11 software. The verifier will take code written to the C11 standard, suitably annotated with function contracts, assertions, program/data invariants, ghost data/code, and any platform-specific assumptions beyond those guaranteed by the standard, and will prove that the code mee ...SBIR Phase I 2015 Department of CommerceNational Institute of Standards and Technology