SBIR/STTR Research Award
TimeGuard: A Holistic Timing Channel Protection Framework through Hardware Software Codesign
Award amount
$111,448Program and phase
SBIR · Phase IAward year
2024Award details
- Awarding agency
- Department of Defense
- Branch
- Army
- Recipient company
- TRUSTED SCIENCE AND TECHNOLOGY, INC.
- Proposal award date
- 2023-12-13
- Contract end date
- 2024-10-02
- UEI
- DWYDDUG3N571
- Solicitation number
- 23.2
- Topic code
- A23-005
Research abstract
High assurance embedded systems must undergo rigorous evaluation and verification process. Based on the Principle of Least Privilege (PoLP), the seL4 microkernel has been formally verified with mathematical proof of its functional correctness including the entirety of the kernel's implementation. As current seL4 formal verification does not have time protection mechanism, certain attacks can significantly weaken the seL4 formal verification for high assurance systems. The proposed Timeguard is to design and develop a holistic timing channel protection framework through hardware software co-design.
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.
- Modular and Provably Secure High-Assurance Hardware and Software Co-design (MPS-HAHSC)
- Modular and Provably Secure High-Assurance Hardware and Software Co-design (MPS-HAHSC)
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