TRUSTED SCIENCE AND TECHNOLOGY, INC. SBIR Phase I Award, August 2019

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.