Hardening Development Toolchains Against Emergent Execution Engines (HARDEN)

Archived

DARPA - Information Innovation Office

View on Grants.gov 📝 Build a proposal template ★ Save

Description

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.

Who can apply

  • Others

Contact

BAA Coordinator<br/>HARDEN@darpa.mil
HARDEN@darpa.mil

Key dates & funding
  • PostedSep 20, 2021
  • ClosesMar 21, 2022
  • CFDA12.910
Categories
Science and Technology and other Research and Development

Pro insight

Edit and export this grant’s proposal template, plus deadline reminders, similar-grant suggestions, and funder history — all available with Pro.

Unlock with Pro