6 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…
What's in Your Agent's Context? Context Privilege Escalation Attacks against AI Agent Harness
Zichuan Li, Jian Cui, Ashley Chen +2
Real-world, high-profile AI agent harnesses often rely on vendor-proprietary or opaque designs for context assembly, leaving the sources and underlying logic of assembled context p…
Agent Data Injection Attacks are Realistic Threats to AI Agents
Woohyuk Choi, Juhee Kim, Taehyun Kang +3
AI agents act on behalf of user prompts, consuming external data and taking actions based on the agent context. Prior research on AI agent security has primarily focused on indirec…
Execution-State-Aware LLM Reasoning for Automated Proof-of-Vulnerability Generation
Haoyu Li, Xijia Che, Yanhao Wang +2
Proof-of-Vulnerability (PoV) generation is a critical task in software security, serving as a cornerstone for vulnerability validation, false positive reduction, and patch verifica…
Maris: A Formally Verifiable Privacy Policy Enforcement Paradigm for Multi-Agent Collaboration Systems
Jian Cui, Zichuan Li, Chi Wang +2
Multi-agent collaboration systems (MACS), powered by large language models (LLMs), solve complex problems efficiently by leveraging each agent's specialization and communication be…
Les Dissonances: Cross-Tool Harvesting and Polluting in Pool-of-Tools Empowered LLM Agents
Zichuan Li, Jian Cui, Xiaojing Liao +1
Large Language Model (LLM) agents are autonomous systems powered by LLMs, capable of reasoning and planning to solve problems by leveraging a set of tools. However, the integration…