SBIR/STTR Research Award
High assurance hardware state machine trusted computing base
Award amount
$167,466Program and phase
SBIR · Phase IAward year
2020Award details
- Awarding agency
- Department of Defense
- Branch
- Army
- Recipient company
- TRUSTED SCIENCE AND TECHNOLOGY, INC.
- Proposal award date
- 2019-10-25
- Contract end date
- 2020-09-15
- UEI
- DWYDDUG3N571
- Solicitation number
- 19.2
- Topic code
- A19-103
Research abstract
Proposed effort is to develop a secure embedded system with formal proof on hardware state machine.
Technology keywords
Not reported
Other awards by this recipient
Verified by the same UEI. These are other public SBIR/STTR award pages, not a merged company record.
- Assured, Resilient Containerization and Orchestration Solution (ARCOS)
- Cyber Vulnerability Assessment via Semantic Reasoning and Tiered Visualization (CELESTE)
- MicroSentry: High Assurance Secure Computing Solution with Aberdeen Architecture
- Assured Robotics Embedded Systems and Applications in Ground Vehicles (ARSENAL)
- Portable Analytics for Automated Reconstruction and Investigation of Multi-Stage Cyber Attacks (PANORAMA)
Awards with the same topic code
Verified by an exact topic code match. This is not a text-similarity match.
Research funding history
23 SBIR/STTR records share this UEI (2019–2025). Reported award amounts total $20,562,970. Reported amounts are not federal obligations.
Phases: Phase I, Phase II, Phase II – Direct to Phase II
Agencies: Department of Defense, Department of Homeland Security