Hardening Development Toolchains Against Emergent Execution Engines (HARDEN)

Notice ID:

HR001121S0040

Department/Ind. Agency:

DEPT OF DEFENSE

Sub-tier:

DEPT OF DEFENSE

Sub Command:

DEF ADVANCED RESEARCH PROJECTS AGCY

Office:

DEF ADVANCED RESEARCH PROJECTS AGCY

All Dates/Times are:

(UTC-04:00) EASTERN STANDARD TIME, NEW YORK, USA

Updated Published Date:

Oct 08, 2021 08:41 am EDT

Original Published Date:

2021-09-20 14:41:00

Updated Response Date:

Nov 04, 2021 12:00 pm EDT

Original Response Date:

Nov 04, 2021 12:00 pm EDT

Inactive Policy:

Manual

Updated Inactive Date:

Apr 20, 2022

Original Inactive Date:

Apr 20, 2022

Initiative:

• None***--***

Product Service Code:

AC12 - National Defense R&D Services; Department of Defense National Defense R&D Services; Department of Defense

NAICS Code:

541715 - Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)

Original Set Aside:

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.

675 NORTH RANDOLPH STREET

ARLINGTON , VA 222032114

USA

Primary Point of Contacts:

BAA Coordinator