–
Project Lead: Dr. Sergey Bratus
Sponsoring Organization: DARPA
Website: https://www.darpa.mil/program/hardening-development-toolchains-against-emergent-execution-engines
Project Synopsis: HARDEN will explore novel theories and approaches, and seek to develop practical tools, to anticipate, isolate, and mitigate emergent behaviors in computing systems throughout the entire software development lifecycle. HARDEN aims to radically improve security outcomes in software for integrated systems, efficiently mitigate exploitation of software abstractions, and protect intended abstractions from adversarial reuse. The ultimate goal is to integrate those capabilities into the standard processes of the software development life cycle.