R-2A Activity · President's Budget PB2027

Intelligent Generation of Tools for Security (INGOTS)

FY2027 Request
$12.6M
▲ 13% vs FY2026
HitchAI read

This activity requests $12.6M in FY2027, 8.0% of project MSL-04, up 13% on FY2026. The R-2A exhibit describes it across FY2026–FY2027, including what the FY2027 money is planned to buy.

FY2027 Request
$12.6M
▲ 13% vs FY2026
FY2026 Enacted
$11.1M
In law
Planned work

What the FY2027 request buys

Verbatim from the R-2A exhibit for project MSL-04 of PE 0602025E. This is the budget justification's own description of work that has not happened yet — the one thing no other level of the budget carries.

FY2027 planned work

- Develop and demonstrate techniques for fully automated exploit chain synthesis, including link replacement and repair, in complex systems. - Advance the analysis and modelling of exploit chains to forecast exploit chain lifecycle in complex software systems that have state-of-the-art defenses. - Demonstrate the capability to reproduce exploit chains in software of interest to transition partners and integrate tools and capabilities into operational contexts.

FY2026 to FY2027 change

The FY 2027 increase reflects continued development of exploit chain technologies and additional efforts related to demonstration and transition.

Before the request year

FY2026: the year under way

Prior-year accomplishments and current-year plans from the same exhibit. Context for the FY2027 plan, not a series — an activity partitions its project exactly in the request year, but can under-cover it in earlier years.

FY2026 plans — current year

- Develop and demonstrate techniques for automated replacement and repair of exploit chains in complex systems. - Automate the analysis of the scale of applicability of the exploit chain across a corpus of software and firmware versions. - Extend the exploit chain model to incorporate and represent the system context.

Money

Three years, and no five-year plan

An R-2A activity publishes the prior year, the current year and the budget year. The FYDP outyears exist at project and program-element level and are deliberately absent here rather than inferred. Estimate types are colored and never summed into one figure.

011.1FY26ENACTED12.6FY27REQUEST
Enacted Request
Fiscal YearEstimate TypeAmount ($M)
FY2026Enacted11.1
FY2027Request12.6

This activity is 8.0% of project MSL-04's FY2027 request and 0.8% of PE 0602025E's. In the request year the activities under a project sum to it exactly; in the current year they under-cover it in about 9% of cases, so an activity's delta can legitimately exceed its parent's and the two must not be compared row to row.

Where this sits

11 activities in project MSL-04

Every R-2A line of this project, largest FY2027 request first. Linked where the activity has enough of its own narrative to carry a page; the rest are shown in full on the project page.

Cyber Security and Resilience Studies and Concepts$40.5M ▲ 261%Cyber Operations Studies and Concepts$39.5M ▲ 337%Constellation$25.0M ▼ 11%
Intelligent Generation of Tools for Security (INGOTS) — this activity$12.6M ▲ 13%
Business Process Logic (BPL)$11.8M ▲ 3%
Provably Weird Network Deployment and Detection (PWND²)$9.4M ▼ 34%
Reclaiming Bus-based Systems During Compromise (Red-C)$6.2M ▲ 10%
Pipelined Reasoning of Verifiers Enabling Robust Systems (PROVERS)$6.1M ▼ 76%
Cyber Agents for Security Testing and Learning Environments (CASTLE)$6.1M ▼ 55%
Hardening Development Toolchains Against Emergent Execution Engines (HARDEN)▼ 100%
Signature Management using Operational Knowledge and Environments (SMOKE)▼ 100%
Source
FY2027 Office of the Secretary of Defense RDT&E Budget Justification · Exhibit R-2A · PE 0602025E, project MSL-04 (President's Budget PB2027). Congressional marks are recorded on the program element, never on an activity.
Machine access
Markdown twin /programs/0602025E/MSL-04/a1.md · MCP mcp.hitchintel.combudget_get_activity