Author

Corban Villa

h-index 2 View on Semantic Scholar

We have 2 of 6 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

Preprint Jul 2026

Prismata: Confining Cross-Site Prompt Injection in Web Agents

Prismata is presented, a defense enforcing contextual least privilege for web agents, constraining both what the agent sees and what it can do, and substantially reduces attack success while preserving benign task utility.

Corban Villa, Alp Eren Ozdarendeli, Sijun Tan et al. · 1 citation