SBIR-STTR Award

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 Flow,formal verification,seL4

Secure systems rely on physical implementation of hardware and software systems, where various information leakage can be observed through various side channels and extracted with advance side channel analysis (SCA) algorithms. Recent advancement in computing, sensors, and SCA techniques have exposed new and more dangerous vulnerabilities. Hence a comprehensive SCA evaluation framework that can greatly facilitate side channel analysis for secure computing system and promote the side-channel aware software and hardware system security design and validation is highly desired. Proposed research effort is to design and develop a extendible SCA testbed which integrates state-of-the-are SCA techniques into secure computing system with internal/heterogeneous sensor and modern processor architectures with Trusted Execution Environment (TEE).