Capabilities
30+ years of cyber innovation advancing security resilience, automation, and developer productivity.
Our areas of expertise are designed to augment your existing development activities and processes through seamless integration with a variety of tools.
Platform Security
Learn moreEnsure 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.
Machine Learning and Big Code
Learn moreCombine 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.
Binary Rewriting
Learn moreBased on high-fidelity binary ingestion and analysis, automatically transform binary software executables and libraries to improve functionality, security, maintainability, and performance.
Automated Software Engineering
Learn moreAutomate aspects of software development through source code transformation and synthesis. Build tools that integrate into modern workflows to support collaborative, human/automated software development.
Application Security and Reverse Engineering
Learn moreUse 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.