works on
automated security testing 1exploit validation 1neuro-symbolic synthesis 1static analysis 1vulnerability detection 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

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…