The Department of Cybersecurity is offering the HARDEN grant to enhance the security of software development toolchains. This program aims to create practical tools capable of anticipating, isolating, and mitigating emergent execution engines throughout the entire software development lifecycle. It will achieve this by exploring novel approaches, leveraging formal verification methods and Artificial Intelligence (AI)-aided program models, analyses, and logics. This grant is for the vital purpose of disrupting the patterns of robust, reliable, and composable exploit primitives that empower attackers, thereby fundamentally improving software resilience and diminishing attack capabilities.
Opportunity ID: 335831
General Information
| Document Type: | Grants Notice |
| Funding Opportunity Number: | HR001121S0040 |
| Funding Opportunity Title: | Hardening Development Toolchains Against Emergent Execution Engines (HARDEN) |
| Opportunity Category: | Discretionary |
| Opportunity Category Explanation: | – |
| Funding Instrument Type: | Cooperative Agreement Other Procurement Contract |
| Category of Funding Activity: | Science and Technology and other Research and Development |
| Category Explanation: | – |
| Expected Number of Awards: | – |
| Assistance Listings: | 12.910 — Research and Technology Development |
| Cost Sharing or Matching Requirement: | No |
| Version: | Synopsis 2 |
| Posted Date: | Sep 20, 2021 |
| Last Updated Date: | Oct 08, 2021 |
| Original Closing Date for Applications: | Mar 21, 2022 See Full Announcement for details. |
| Current Closing Date for Applications: | Mar 21, 2022 See Full Announcement for details. |
| Archive Date: | Apr 20, 2022 |
| Estimated Total Program Funding: | – |
| Award Ceiling: | – |
| Award Floor: | – |
Eligibility
| Eligible Applicants: | Others (see text field entitled “Additional Information on Eligibility” for clarification) |
| Additional Information on 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. |
Additional Information
| Agency Name: | DARPA – Information Innovation Office |
| 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. |
| Link to Additional Information: | SAM.gov Contract Opportunities |
| Grantor Contact Information: | If you have difficulty accessing the full announcement electronically, please contact:
BAA Coordinator
HARDEN@darpa.mil Email:HARDEN@darpa.mil |
Version History
| Version | Modification Description | Updated Date |
|---|---|---|
| To include updated CFIP language. | Oct 08, 2021 | |
| Sep 20, 2021 |
DISPLAYING: Synopsis 2
General Information
| Document Type: | Grants Notice |
| Funding Opportunity Number: | HR001121S0040 |
| Funding Opportunity Title: | Hardening Development Toolchains Against Emergent Execution Engines (HARDEN) |
| Opportunity Category: | Discretionary |
| Opportunity Category Explanation: | – |
| Funding Instrument Type: | Cooperative Agreement Other Procurement Contract |
| Category of Funding Activity: | Science and Technology and other Research and Development |
| Category Explanation: | – |
| Expected Number of Awards: | – |
| Assistance Listings: | 12.910 — Research and Technology Development |
| Cost Sharing or Matching Requirement: | No |
| Version: | Synopsis 2 |
| Posted Date: | Sep 20, 2021 |
| Last Updated Date: | Oct 08, 2021 |
| Original Closing Date for Applications: | Mar 21, 2022 See Full Announcement for details. |
| Current Closing Date for Applications: | Mar 21, 2022 See Full Announcement for details. |
| Archive Date: | Apr 20, 2022 |
| Estimated Total Program Funding: | – |
| Award Ceiling: | – |
| Award Floor: | – |
Eligibility
| Eligible Applicants: | Others (see text field entitled “Additional Information on Eligibility” for clarification) |
| Additional Information on 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. |
Additional Information
| Agency Name: | DARPA – Information Innovation Office |
| 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. |
| Link to Additional Information: | SAM.gov Contract Opportunities |
| Grantor Contact Information: | If you have difficulty accessing the full announcement electronically, please contact:
BAA Coordinator
HARDEN@darpa.mil Email:HARDEN@darpa.mil |
DISPLAYING: Synopsis 1
General Information
| Document Type: | Grants Notice |
| Funding Opportunity Number: | HR001121S0040 |
| Funding Opportunity Title: | Hardening Development Toolchains Against Emergent Execution Engines (HARDEN) |
| Opportunity Category: | Discretionary |
| Opportunity Category Explanation: | – |
| Funding Instrument Type: | Cooperative Agreement Other Procurement Contract |
| Category of Funding Activity: | Science and Technology and other Research and Development |
| Category Explanation: | – |
| Expected Number of Awards: | – |
| Assistance Listings: | 12.910 — Research and Technology Development |
| Cost Sharing or Matching Requirement: | No |
| Version: | Synopsis 1 |
| Posted Date: | Sep 20, 2021 |
| Last Updated Date: | Sep 20, 2021 |
| Original Closing Date for Applications: | – |
| Current Closing Date for Applications: | Mar 21, 2022 See Full Announcement for details. |
| Archive Date: | Apr 20, 2022 |
| Estimated Total Program Funding: | – |
| Award Ceiling: | – |
| Award Floor: | – |
Eligibility
| Eligible Applicants: | Others (see text field entitled “Additional Information on Eligibility” for clarification) |
| Additional Information on 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. |
Additional Information
| Agency Name: | DARPA – Information Innovation Office |
| 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. |
| Link to Additional Information: | SAM.gov Contract Opportunities |
| Grantor Contact Information: | If you have difficulty accessing the full announcement electronically, please contact:
BAA Coordinator
HARDEN@darpa.mil Email:HARDEN@darpa.mil |
Related Documents
Folder 335831 Full Announcement-HR001121S0040 -> HR001121S0040.pdf
Folder 335831 Full Announcement-HR001121S0040 -> Proposal_Summary_Slide_-_final.pdf
Folder 335831 Revised Full Announcement-HR001121S0040-Amendment-01 -> HR001121S0040-Amendment-01.pdf
Packages
| Agency Contact Information: | BAA Coordinator HARDEN@darpa.mil Email: HARDEN@darpa.mil |
| Who Can Apply: | Organization Applicants |
| Assistance Listing Number | Competition ID | Competition Title | Opportunity Package ID | Opening Date | Closing Date | Actions |
|---|---|---|---|---|---|---|
| 12.910 | PKG00269021 | Oct 08, 2021 | Mar 21, 2022 | View |
Package 1
Mandatory forms
335831 RR_SF424_3_0-3.0.pdf
335831 AttachmentForm_1_2-1.2.pdf
335831 RR_KeyPersonExpanded_3_0-3.0.pdf
335831 RR_PersonalData_1_2-1.2.pdf
Optional forms
335831 SFLLL_2_0-2.0.pdf
Share This Post, Choose Your Platform!
About the Author: osnqt
