CodeHawk: Analysis and Patching Platform
Advanced binary and source code analysis platform. Support for low-cost and high-assurance binary patching. Effective workflows for malware analysis, binary understanding, C code quality, and vulnerability detection. Demonstrated best-in-class over many DARPA and IARPA projects.
Lucien: Supply Chain Telemetry, Assessment, and Protection
Next-generation runtime supply chain understanding, alerting, and zero-trust protection. Close entire classes of vulnerabilities automatically without patching. Rapidly understand your deployed suppy chain risk. Almost zero overhead and complete compatibility.
DIODE: Input Synthesis Engine
Rapidly generate program inputs that drive a program to a desired location and state. Employed to automatically produce exploiting inputs of a vulnerability to aid vulnerability research, understanding, mitigation, and testing.