Youtube Video of podcast

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.

Theori

Download .mp3 (43.04 MB)
Tweet