BlueRISC DARPA Contract Extended to Advance Automation and Validation in Binary-level Software Assurance Solution

• March 5, 2025

Amherst, MA, March 2025. BlueRISC has received a contract extension from DARPA to further enhance its binary-level software assurance framework, originally awarded in 2023. This next phase of work focuses on increasing the automation, scalability, and robustness of the solution – enabling more efficient third-party verification of commercial off-the-shelf (COTS) software. Building on its existing processor-agnostic analytic framework, the extended effort introduces new capabilities for automated requirement generation, streamlined verification workflows, and expanded support for high-assurance validation across complex software binaries. The solution remains entirely binary-focused, requiring no source code, and continues to generate a quantitative confidence metric indicating compliance with user-defined requirements.