Riverside Research has won a multiyear award from the Defense Advanced Research Projects Agency to perform work under its Hardening Development Toolchains Against Emergent Execution Engines program.
Under the contract, Riverside will work with its teammates, Boston University, High Peaks Cyber and BedRock Systems.
“This effort is significant because it enables us to develop technology that will have a broad security impact on DoD Open Architectures,” said Mike Clark, associate director of the Secure and Resilient Systems Group at Riverside Research.
The HARDEN program develops tools to prevent the exploitation of integrated computing systems by disrupting the patterns of exploits used by attackers. This way, attackers are deprived of emergent execution engines.
Riverside Research will help the HARDEN program through the automatic translation of emergent vulnerabilities and system software into Universal Composability for Preventing Adversarial Composition Techniques Domain-Specific Language, as well as the translation of Sensor Open Systems Architecture specifications to UC-PACT DSL.