2 papers
cs.CR2026
Antiproof: Synthesizing Vulnerability Detectors and Proofs of Exploitability
Alon Shakevsky, Corban Villa, Ion Stoica +1
Discovering vulnerabilities before attackers exploit them requires high recall and reliable automatic validation, but existing approaches struggle to achieve both without prohibiti…
cs.CR2026
Chai: Agentic Discovery of Cryptographic Misuse Vulnerabilities
Corban Villa, Sohee Kim, Austin Chu +2
AI-assisted vulnerability discovery has proven effective for bug classes like memory safety, where instrumentation confirms memory violations and efficiently filters false positive…