OpportunityTitle: Hardening Development Toolchains Against Emergent Execution Engines (HARDEN)
AdditionalInformationOnEligibility: All responsible sources capable of satisfying the Government&apos;s needs may submit a proposal that shall be considered by DARPA.  See the Eligibility Information section of the BAA for more information.
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.
GrantorContactText: BAA Coordinator&lt;br/&gt;HARDEN@darpa.mil
CloseDateExplanation: See Full Announcement for details.