VCAO is a six-layer game-theoretic system that allocates analysis budgets via DOBSS-derived MILP to discover 2.7 times more validated OS vulnerabilities per unit budget than coverage-only fuzzing on Linux kernel subsystems.
Maria-Florina Balcan, Avrim Blum, Nika Haghtalab, and Ariel D
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.GT 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
VCAO: Verifier-Centered Agentic Orchestration for Strategic OS Vulnerability Discovery
VCAO is a six-layer game-theoretic system that allocates analysis budgets via DOBSS-derived MILP to discover 2.7 times more validated OS vulnerabilities per unit budget than coverage-only fuzzing on Linux kernel subsystems.