Author

Xiao-Feng Wang

h-index 3 View on Semantic Scholar

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

Review Jul 2026

Bulkhead: Automated Semantic Detection and Remediation of Container Escape Vulnerabilities

Bulkhead is an automated framework that integrates large language models (LLMs) with formal methods for semantic vulnerability discovery and remediation, and uses a multi-agent system to identify and repair PaTra vulnerabilities through multi-dimensional knowledge patterns generalized from known cases.

Qiyuan Fan, Zhi Li, Junjie Li et al. · arXiv.org · 0 citations

#artificial intelligence Preprint Aug 2026

SMTrap: Cost-Effective DoS Attacks Against Large Reasoning Models via SMT Conflict Guidance

A novel, model-feedback-free LRM-DoS paradigm that employs the conflict count derived from an Satisfiability Modulo Theories (SMT) solver as a low-cost external signal to guide the synthesis of inference-heavy Constraint Satisfaction Problem (CSP) instances.

Jian Yang, Zhenqi Feng, Zhaoyang Yu et al. · 0 citations