automated vulnerability remediation 1container security 1formal verification 1large language models 1path traversal 1
From the 1 of 2 linked papers with an AI index.
2 papers
cs.CR2026
Bulkhead: Automated Semantic Detection and Remediation of Container Escape Vulnerabilities
Qiyuan Fan, Zhi Li, Junjie Li +3
Bulkhead is an automated framework that combines large language models with formal verification to detect and fix path‑traversal vulnerabilities caused by insecure host‑container i…
cs.SE2025
SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments
Yiwei Hu, Zhen Li, Kedie Shu +5
The increasing complexity of software has led to the steady growth of vulnerabilities. Vulnerability repair investigates how to fix software vulnerabilities. Manual vulnerability r…