LLM-Triaged Vulnerability Analysis for Compiled DNNs

Compiler toolchains such as TVM are now a standard substrate for deploying deep neural networks, but the optimized executables also expose structures that attackers can leverage. Existing mitigations are commonly applied as global composite defense, which is effective yet costly because it disrupts performance-critical regularity everywhere. We present VulnSketch, the first LLM-driven vulnerability analysis system for compiled DNNs, and introduce an evidence-bounded formulation of vulnerability analysis that is both auditable and actionable. VulnSketch extracts a Minimal Evidence Interface (MEI) from TVM TIR, scores each operator location along three attacker-aligned vulnerability faces (Segmentation, Regularity, and Lifting), and routes only ambiguous gray locations to bounded LLM triage that must cite MEI fields and propose a pre-approved, semantics-preserving schedule knob. Every proposal is executed under compiler-side legality guards and accepted only if a single micro validation confirms the expected one-step movement on the prioritized face. Across five representative attacks, VulnSketch attains strong operator-level overlap at small budgets (top 5% recall 0.71-0.80; top 10% recall 0.84-0.91) and high global ranking quality (AUROC 0.85-0.89; AUPRC 0.51-0.62). Applying micro-validated knobs causally reduces attack success by 33-38% and recovered footprint by 38-40%. Operationally, VulnSketch yields 5.9 seconds amortized per verified note under default gray exposure.

Authors

Institutions

Publication Details

Journal
ACM Transactions on Software Engineering and Methodology
Published
2026-05-18
DOI
https://doi.org/10.1145/3814615
Primary Topic
Security and Verification in Computing
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

LLM-Triaged Vulnerability Analysis for Compiled DNNs

Changchun Yin, Mingwei Li, Liming Fang, Yang Li et al.
ACM Transactions on Software Engineering and Methodology
Security and Verification in Computing
article

LLM-Triaged Vulnerability Analysis for Compiled DNNs

Changchun Yin, Mingwei Li, Liming Fang, Yang Li, Minghui Li
article en

Abstract

Compiler toolchains such as TVM are now a standard substrate for deploying deep neural networks, but the optimized executables also expose structures that attackers can leverage. Existing mitigations are commonly applied as global composite defense, which is effective yet costly because it disrupts performance-critical regularity everywhere. We present VulnSketch, the first LLM-driven vulnerability analysis system for compiled DNNs, and introduce an evidence-bounded formulation of vulnerability analysis that is both auditable and actionable. VulnSketch extracts a Minimal Evidence Interface (MEI) from TVM TIR, scores each operator location along three attacker-aligned vulnerability faces (Segmentation, Regularity, and Lifting), and routes only ambiguous gray locations to bounded LLM triage that must cite MEI fields and propose a pre-approved, semantics-preserving schedule knob. Every proposal is executed under compiler-side legality guards and accepted only if a single micro validation confirms the expected one-step movement on the prioritized face. Across five representative attacks, VulnSketch attains strong operator-level overlap at small budgets (top 5% recall 0.71-0.80; top 10% recall 0.84-0.91) and high global ranking quality (AUROC 0.85-0.89; AUPRC 0.51-0.62). Applying micro-validated knobs causally reduces attack success by 33-38% and recovered footprint by 38-40%. Operationally, VulnSketch yields 5.9 seconds amortized per verified note under default gray exposure.

ACM Transactions on Software Engineering and Methodology
Nanjing University of Aeronautics and Astronautics (CN)
Peace, Justice and strong institutions
Openalex Percentile: Top 3%
Security and Verification in Computing
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

LLM-Triaged Vulnerability Analysis for Compiled DNNs — Changchun Yin, Mingwei Li, et al. · ACM Transactions on Software Engineering and Methodology (2026) | TGRS Research Map | TGRS