Information Flow Control for Microkernels

Award Information
Agency: Department of Defense
Branch: Air Force
Contract: FA8750-19-C-1020
Agency Tracking Number: F191-063-0804
Amount: $149,991.00
Phase: Phase I
Program: SBIR
Solicitation Topic Code: AF191-063
Solicitation Number: 2019.1
Timeline
Solicitation Year: 2019
Award Year: 2019
Award Start Date (Proposal Award Date): 2019-08-16
Award End Date (Contract End Date): 2020-08-16
Small Business Information
5603 GROSVENOR LN, BETHESDA, MD, 20814
DUNS: 081323092
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Nicholas Evancich
 (240) 308-2773
 nick@trustedst.com
Business Contact
 Nicholas Evancich
Phone: (240) 308-2773
Email: nick@trustedst.com
Research Institution
N/A
Abstract
As modern mission systems store, process, and transport information and data for different purposes and user groups, the need for securing information boundaries becomes more critical. The proposed effort brings formally verified, open source technologies to improve cyber security and resiliency of military tactical systems against diverse vulnerabilities and prevent unauthorized information leakage.

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

Agency Micro-sites

SBA logo
Department of Agriculture logo
Department of Commerce logo
Department of Defense logo
Department of Education logo
Department of Energy logo
Department of Health and Human Services logo
Department of Homeland Security logo
Department of Transportation logo
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government