SOLICITATION NOTICE
A -- Hardening Development Toolchains Against Emergent Execution Engines (HARDEN)
- Notice Date
- 10/8/2021 5:41:25 AM
- Notice Type
- Presolicitation
- NAICS
- 541715
— Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- Contracting Office
- DEF ADVANCED RESEARCH PROJECTS AGCY ARLINGTON VA 222032114 USA
- ZIP Code
- 222032114
- Solicitation Number
- HR001121S0040
- Response Due
- 11/4/2021 12:00:00 PM
- Archive Date
- 04/20/2022
- Point of Contact
- BAA Coordinator
- E-Mail Address
-
HARDEN@darpa.mil
(HARDEN@darpa.mil)
- 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.
- Web Link
-
SAM.gov Permalink
(https://beta.sam.gov/opp/69cdd361fadc4a478ce0b1a48dbab4f5/view)
- Record
- SN06154591-F 20211010/211008230109 (samdaily.us)
- Source
-
SAM.gov Link to This Notice
(may not be valid after Archive Date)
| FSG Index | This Issue's Index | Today's SAM Daily Index Page |