4 papers
Mission (Im)Possible: Towards Autonomous Discovery of Autopilot Logic Flaws in Open-Source Drone Frameworks
Ziyi Liang, Zichuan Li, Bin Yuan +2
Autonomous drones are increasingly deployed in safety-critical tasks, yet their autopilot software can still contain subtle logic flaws that lead to unsafe behaviors. These flaws a…
AGATE: Provenance-Based Runtime Defense Against Compositional Attacks on LLM Agents
Xiaorui Zhang, Zhuoran Cheng, Kailin Liu +6
LLM agents can produce harmful effects through sequences of ordinary operations. Judging such actions requires establishing both the authority that permits them and the origin of t…
Bulkhead: Automated Semantic Detection and Remediation of Container Escape Vulnerabilities
Qiyuan Fan, Zhi Li, Junjie Li +3
Container filesystem isolation depends on safely resolving container-controlled paths during privileged host-container interactions. As third-party plugins and agent sandboxes intr…
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…