BlueRISC Awarded DARPA Contract targeting Binary-level Software Assurance

• March 6, 2023

Amherst, MA, March 2023. BlueRISC has been awarded a DARPA contract focusing on performing 3rd party software verification through a generic requirements-driven approach. The solution provides a new, fundamental approach to enabling the validation of COTS software with respect to a set of defined requirements. The solution is built on a generic program analytic framework for processing and validating against requirements. The proposed solution operates strictly at the binary-level and does so in a processor/ISA-agnostic manner. The solution automatically generates a confidence metric conveying the likelihood that a specific requirement is met within a software.