Author

I. Stoica

h-index 7 View on Semantic Scholar

We have 1 of 8 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Jul 2026

Antiproof: Synthesizing Vulnerability Detectors and Proofs of Exploitability

Antiproof is an end-to-end vulnerability discovery system that combines neuro-symbolic detector synthesis for high-recall discovery with proof-of-exploitability oracles for automatic validation, and learns and iteratively refines static detectors from vulnerability datasets.

Alon Shakevsky, Corban Villa, I. Stoica et al. · arXiv.org · 0 citations