Zhi Li

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.