Capabilities

Ensure trust in the computing platform, including hardware, from design through deployment. Assess risk due to use of untrusted supply chains of FPGA and ASIC devices.

Combine machine-learning techniques with program analysis to increase software security, reliability, and maintainability. Mine the collective wisdom in massive code repositories to speed up, automate, and enhance developer processes.

Based on high-fidelity binary ingestion and analysis, automatically transform binary software executables and libraries to improve functionality, security, maintainability, and performance.

Automate aspects of software development through source code transformation and synthesis. Build tools that integrate into modern workflows to support collaborative, human/automated software development.

Use state-of-the-art program analysis techniques to build an understanding of the functionality, strengths, and weaknesses of executable software and firmware. Apply that understanding to improve security and performance.