‌

Tangram Flex, Inc. STTR Phase I Award, April 2021

A STTR Phase I contract was awarded to Tangram Flex in April, 2021 for $49,981.0 USD from the U.S. Department of Defense and United States Air Force.

Overview Structured Data Issues Contributors

sbir.gov/node/2173307

Is a

SBIR/STTR Awards

SBIR/STTR Award attributes

SBIR/STTR Award Recipient

Tangram Flex

Government Agency

U.S. Department of Defense

Government Branch

United States Air Force

Award Type

STTR0

Contract Number (US Government)

FA8649-21-P-13620

Award Phase

Phase I0

Award Amount (USD)

49,9810

Date Awarded

April 15, 2021

End Date

July 19, 2021

Abstract

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.