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.CR2026
Characterizing Trust Boundary Vulnerabilities in TEE Containers: An Empirical Study
Weijie Liu, Hongbo Chen, Shuo Huai +7
Trusted Execution Environments (TEEs) have become a cornerstone of confidential computing, attracting significant attention from academia and industry. To support secure and scalab…