DARPA Hardening Development Toolchains Against Emergent Execution Engines

Sponsor Deadline: 

Nov 4, 2021

Sponsor: 

DOD Defense Advanced Research Projects Agency

UI Contact: 

DARPA  Information Innovation Office
Hardening Development Toolchains Against Emergent Execution Engines (HARDEN)
HR001121S0040
Grants.gov  https://www.grants.gov/web/grants/view-opportunity.html?oppId=335831
Sam.gov   https://sam.gov/opp/3f6ee0a93e4844e59e3681e2cdf05936/view

The HARDEN program will explore novel approaches that use formal verification methods and Artificial Intelligence (AI)-aided program models, analyses, and logics to develop practical tools to anticipate, isolate, and mitigate emergent execution engines throughout the entire software development lifecycle in order to disrupt the patterns of robust, reliable, and composable exploit primitives that empower attackers.

Categories: 

Keywords: