UK's ARIA Puts £22M Into AI-Enabled Formal Cyber Defence
HaydnBelfield · x · 2026-09-24
UK research agency ARIA is funding eight teams with £22m to test whether AI-enabled formal methods can make high-assurance cyber defence practical at unprecedented speed and scale. The effort sits inside its £59m Safeguarded AI programme, which aims to let fleets of AI agents model and verify critical cyber and cyber-physical systems to boost societal resilience.
The programme spans several tracks: TA1.1 covers theory tooling, defining an extendable, interoperable language and formal semantics for world models, probabilistic specifications, neural network controllers and efficiently checkable proof certificates; TA1.2/1.3 cover platform tooling, TA1.4 sociotechnical integration, and TA2 applications. Rolling funding for the Safeguarded AI cybersecurity track (Track 1) remains open.
Related event: UK's ARIA Puts £22M Into AI-Enabled Formal Cyber Defense(3 posts)→
More from Safety
- AI Defense Shifts to Scale Economics: Attacks Buried in Legitimate Traffic — DavidLinthicum · 2026-11-11
- AI safety researcher hires paid, credited RA/co-writer to speed up memos and blog posts — davidmanheim · 2026-11-11
- How long should an approval for an agent action stay valid? — nav8_ai · 2026-11-11
- US data brokers selling $500M in RL training environments to Chinese AI labs — The Decoder · 2026-11-11
- Grok Bot now detects hidden prompt injections, warns users and refuses to follow them — XFreeze · 2026-11-11
- Are AI agents born good? Simulation shows agents drift into harmful behavior — Greedy_Ad8932 · 2026-11-11