Author

I. Stoica

h-index 7 View on Semantic Scholar

We have 2 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.

#artificial intelligence Review Sep 2026

MobileCybench: Evaluating Agent Vulnerability Discovery via Executable Probes

AI agents now report vulnerabilities faster than maintainers can review them. Reports often depend on security properties specific to the application, and require considerable human labor to process. To mitigate this, we introduce a framework for evaluating vulnerability reports via probes, executable checks of securit...

Andy K. Zhang, A. Huang, Joey Ji et al. · 0 citations

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