DARPA

mentions 22 type Organization page 2/2 feed RSS

// recent coverage 22 mentions

00:00

2026-04-29

heyitsas.im

large-language-models

Getting LLMs Drunk to Find Remote Linux Kernel OOB Writes (and More)

A self-orchestrating team of LLM-driven vulnerability-hunting agents has discovered over 20 CVEs in recent months, including CVE-2026-31432 and CVE-2026-31433, two remote, unauthenticated out-of-bound…

18:22

2025-08-08

xint.io

artificial-intelligence

AI Cyber Challenge and Theori's RoboDuck

Theori's open-sourced Cyber Reasoning System (CRS) called RoboDuck, developed for DARPA's AI Cyber Challenge (AIxCC). The system uniquely uses an "LLM-first" approach to find bugs and generate Proofs …

← prev page 2 / 2

// co-occurs with top 8 entities

AIxCC 3 Microsoft 2 Google 2 OpenAI 2 U.S. Air Force 2 F-16 2 VENOM program 2 Brig. Gen. James Valpiani 2

// topics top 6 topics

artificial intelligence 18 ai research 13 ai policy 12 ai infrastructure 7 ai agents 6 ai safety 6