BlueRiSC wins contract with DARPA

800 450 BlueRiSC

Amherst, MA, June 2021. BlueRiSC has been selected for a DARPA contract to research an approach to validation COTS software with respect to a set of defined requirements. The proposed solution operations at the binary-level and performs the validation in an automated fashion.