Author

Corban Villa

h-index 2 View on Semantic Scholar

We have 3 of 7 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.

Preprint Sep 2026

A Queryable Graph-Based Security Analysis Framework for O-RAN

This paper presents a graph-based framework that transforms this static corpus of O-RAN security threats into a single, queryable database and integrates a hybrid data extraction pipeline that couples deterministic parsing of structured specifications with Large Language Model (LLM)-assisted extraction for evolving spe...

Corban Villa, Michele Guerra, Syed Khandker 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

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