TANGRAM FLEX INC — Department of Defense STTR Phase I: AF21A-TCSO1
TANGRAM FLEX INC — STTR Phase I award from Department of Defense.
- Amount
- $49,981
- Agency
- Department of Defense · Air Force
- Program / Phase
- STTR · Phase I
- Topic
- AF21A-TCSO1
- Solicitation
- X21.A
- NAICS
- —
- Place of performance
- OH
- Period
- 2021-04-15 → 2021-07-19
Description
When connecting legacy and other non-standard systems, insecurities in the encoding and decoding processes of messages within and between systems presents an expanding cyber-attack surface for U.S. Air Force (USAF) operations. This project, SCALDS, will build on existing capabilities to support the process to automatically generating communication binaries that are efficient and correct (i.e. formally-verified), starting from human-friendly specifications for deserialization and serialization operations within system communications. This project will focus on top-to-bottom correctness, generating provably correct, high-performance low-level implementations.