4 papers · 1 filter
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…
On the Effectiveness of Function-Level Vulnerability Detectors for Inter-Procedural Vulnerabilities
Zhen Li, Ning Wang, Deqing Zou +5
Software vulnerabilities are a major cyber threat and it is important to detect them. One important approach to detecting vulnerabilities is to use deep learning while treating a p…