Hardening Development Toolchains Against Emergent Execution Engines (HARDEN)

Department of Defense DARPA - Information Innovation Office
Posted on

Application Deadline

Type

Fellowships

Reference Number

HR001121S0040

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: Science and Technology and other Research and Development.

More Information

Posted on

Application Deadline

Type

Fellowships

Reference Number

HR001121S0040

United States