Uploaded September 2025 | Updated September 2026, 2 weeks ago
The presentation describes SIFT's LACROSSE Cyber Reasoning system, which coordinates hundreds of agents to automatically find and fix vulnerabilities in real-world software packages. Combining the advantages of Large Language Models (LLMs) with symbolic reasoning, fuzz testing, and other software analysis methods, LACROSSE competes in the final round of the DARPA AIxCC contest. A consistent theme through all their work on LACROSSE is testing, testing, testing.
Speakers:
Dr. David Musliner, Staff, SIFT;
Dr. Matt McLure, Researcher, SIFT
The presentation describes SIFT's LACROSSE Cyber Reasoning system, which coordinates hundreds of agents to automatically find and fix vulnerabilities in real-world software packages. Combining the advantages of Large Language Models (LLMs) with symbolic reasoning, fuzz testing, and other software analysis methods, LACROSSE competes in the final round of the DARPA AIxCC contest. A consistent theme through all their work on LACROSSE is testing, testing, testing.
Speakers:
Dr. David Musliner, Staff, SIFT;
Dr. Matt McLure, Researcher, SIFT










