Hardening Development Toolchains Against Emergent Execution Engines (HARDEN)

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

credit: The Verge


in order to disrupt the patterns of robust, reliable, and composable exploit primitives that empower attackers.
Related Programs

Research and Technology Development

Department Of Defense


Agency: Department of Defense

Office: DARPA - Information Innovation Office

Estimated Funding: $0


Relevant Nonprofit Program Categories





Obtain Full Opportunity Text:
SAM.gov Contract Opportunities

Additional Information of Eligibility:
All responsible sources capable of satisfying the Government's needs may submit a proposal that shall be considered by DARPA.

See the Eligibility Information section of the BAA for more information.

Full Opportunity Web Address:
https://sam.gov/opp/3f6ee0a93e4844e59e3681e2cdf05936/view

Contact:


Agency Email Description:
Grant program contact E-mail address

Agency Email:


Date Posted:
2021-09-20

Application Due Date:


Archive Date:
2022-04-20


In the world of social enterprises, failure is a cringe-worthy moment nobody wants to talk about. But, social entrepreneurs can benefit from their failures.






More Federal Domestic Assistance Programs


Manufacturing and Services | Payments for Small Community Air Service Development | P3 Award: National Student Design Competition for Sustainability | 91.003 Annual Senior Fellowship Competition | ARRA Health Center Integrated Services Development Initiative[g1] |  Site Style by YAML | Grants.gov | Grants | Grants News | Sitemap | Privacy Policy


Edited by: Michael Saunders

© 2004-2025 Copyright Michael Saunders