PPhying中文
Curated security research, vulnerabilities, advisories and tools for practitioners.

DARPA awards $1 million to Trail of Bits for AI Cyber Challenge

blog.trailofbits.com | blog | #ai-security | #competition | #vulnerability-detection | #darpa | #cyber-reasoning-system | #trail-of-bits | #aixcc
📄 Raw .md⬇️ Download .md🔗 Original ↗

Summary

Trail of Bits is one of seven teams selected for DARPA's AI Cyber Challenge small business track, receiving $1 million to build a Cyber Reasoning System that finds and fixes software vulnerabilities.
Published
Collected

Related coverage

blog · blog.trailofbits.com
Our thoughts on AIxCC’s competition format
Trail of Bits dissects DARPA's AIxCC format: automated systems must find and patch vulnerabilities in critical software, with concerns flagged on challenge construction, PoU granularity, and scoring.
blog · blog.trailofbits.com
DARPA’s AI Cyber Challenge: We’re In!
Trail of Bits announces it will compete in DARPA's AI Cyber Challenge (AIxCC), fielding an AI/ML-driven Cyber Reasoning System built by its software security and AI experts.
research · theori.io
Building Effective LLM Agents | AI Cyber Challenge
Lessons from building LLM agents for DARPA’s AI Cyber Challenge: decomposing tasks, curating toolsets and adapting to models, applied to vulnerability detection, PoV generation and patching.
blog · blog.trailofbits.com
AIxCC finals: Tale of the tape
Interviews with the seven AIxCC finalists reveal diverse approaches, from AI-first discovery to enhanced fuzzing, showing multiple viable paths to AI-driven vulnerability detection and patching.
research · theori.io
Winning the AIxCC Qualification Round
Theori’s RoboDuck cyber reasoning system took first place in DARPA’s AIxCC qualification round, earning the most achievements and unique bug classes and securing $2M plus a 2025 finals spot.
blog · blog.trailofbits.com
Trail of Bits’ Buttercup heads to DARPA’s AIxCC
Trail of Bits introduces Buttercup, its DARPA AIxCC entry: a Cyber Reasoning System combining fuzzing, static analysis, and ML to automatically find and fix open-source vulnerabilities.
Back