You are here

CoTrust: Cross-Layer Trusted Computing Architecture for High Assurance Systems

Award Information
Agency: Department of Defense
Branch: Army
Contract: W911W6-20-C-0011
Agency Tracking Number: A192-103-0562
Amount: $111,499.99
Phase: Phase I
Program: SBIR
Solicitation Topic Code: A19-103
Solicitation Number: 19.2
Solicitation Year: 2019
Award Year: 2020
Award Start Date (Proposal Award Date): 2019-10-25
Award End Date (Contract End Date): 2020-08-14
Small Business Information
15400 Calhoun Drive Suite 190
Rockville, MD 20855
United States
DUNS: 161911532
HUBZone Owned: No
Woman Owned: Yes
Socially and Economically Disadvantaged: No
Principal Investigator
 Xiangrong Zhou
 Lead Research Scientist
 (240) 406-7749
Business Contact
 Mark James
Phone: (301) 294-5200
Research Institution

In this proposed effort, we propose to develop a Cross-Layer Trusted Computing Architecture for High Assurance Systems. The key innovation of this proposal includes developments of: (1) integration the state-of-the-art open source microkernel OS (sel4) and hardware architecture (RISC-V processor); (2) secure tagged hardware architecture to protect physical resources; (3) minimum Trusted Computing Base (TCB) in the microkernel system software; (4) completely isolates processes and systems at both software and hardware level; The Cross-Layer trusted computing architecture can enforces a unified and holistic security policies and verification to guarantee high assurance requirements. Finally, all the proposed techniques will be integrated in a functional prototype to demonstrate the feasibility of CoTrust.

* Information listed above is at the time of submission. *

US Flag An Official Website of the United States Government