ASSURED INFORMATION SECURITY, INC. — Department of Defense SBIR Phase I: AF193-012
ASSURED INFORMATION SECURITY, INC. — SBIR Phase I award from Department of Defense.
- Amount
- $149,965
- Agency
- Department of Defense · Air Force
- Program / Phase
- SBIR · Phase I
- Topic
- AF193-012
- Solicitation
- 19.3
- NAICS
- —
- Place of performance
- NY
- Period
- 2019-12-18 → 2020-12-18
Description
The result of this effort will be a reproducible toolchain and functional build for a Talos II POWER9 system, with a focus on the boot firmware (later phases will provide build artifacts of other system firmware). The toolchain will incorporate theoretical techniques that provide guarantees to prevent compiler/linker compromise, so build output is a trustworthy representation of the source code it builds. In addition, a repeatable approach to verifying the in-band firmware update mechanism is trustworthy is developed, and evidence of results of the approach are provided.