020
August 07, 2025
AIxCC Wrap Up + THEME SONG?!
01F
July 29, 2025
all_you_need_is_a_fuzzing_brain's AIxCC Final Submission
01E
July 24, 2025
Trail of Bits' AIxCC Final Submission
01D
July 22, 2025
Team Atlanta's AIxCC Final Submission
01C
July 17, 2025
LACROSSE's AIxCC Final Submission
01B
July 15, 2025
Theori's AIxCC Final Submission
Shownotes and Links
In this episode adamd and Zardus chat with returning guests Tyler and Tim from team Theori on their AIxCC submission. The Theori team discusses their participation in the AI Cyber Challenge, detailing their unique approach to building a Cyber Reasoning System (CRS) named RoboDuck. The conversation covers the team’s structure, motivation, and the challenges they face, including the potential brittleness of their system and the importance of testing. They discuss the pipeline for analyzing repositories, the use of LLMs for vulnerability detection, and their strategy for submitting patches during the competition. The episode concludes with reflections on the competition and the lessons learned.
Links
Download .mp3 (43.04 MB)Tweet