automated security testing 1exploit validation 1neuro-symbolic synthesis 1static analysis 1vulnerability detection 1
From the 1 of 3 linked papers with an AI index.
3 papers
cs.CR2026
Antiproof: Synthesizing Vulnerability Detectors and Proofs of Exploitability
Alon Shakevsky, Corban Villa, Ion Stoica +1
Antiproof is a system that automatically creates static vulnerability detectors using neuro‑symbolic synthesis and validates findings with executable proofs of exploitability, achi…
cs.CR2026
Prismata: Confining Cross-Site Prompt Injection in Web Agents
Corban Villa, Alp Eren Ozdarendeli, Sijun Tan +1
Autonomous web agents promise to automate everyday browsing tasks, but inherit one of the web's oldest attack surfaces. Cross-Site Scripting proved that mixing trusted and untruste…
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…