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


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



Social Entrepreneurship
Spotlight



Rwanda as Social Entrepreneur Fund Beneficiary


The Republic of Rwanda has been picked as one of the six African countries as beneficiaries for a new fellowship fund program designed at supporting social entrepreneurs in tackling issues on food security.






More Federal Domestic Assistance Programs


Housing Opportunities for Persons with AIDS | Health Administration Traineeships Program | Teacher Incentive Fund | Coral Reef Conservation Program | Edward Byrne Memorial Competitive Grant Program |  Site Style by YAML | Grants.gov | Grants | Grants News | Sitemap | Privacy Policy


Edited by: Michael Saunders

© 2004-2024 Copyright Michael Saunders