3 citations · 3 across the 9 of their papers we have counts for
4 papers · 1 filter
Binary Decompilation LLM with Feedback-Driven Multi-Turn Refinement
Peipei Liu, Jian Sun, Mingzhe Xing +5
Binary decompilation is fundamental to security tasks such as vulnerability discovery, malware inspection, and executable-only program understanding. Recent LLM-based decompilation…
NEXUS: Learning Safety Constraints and Action Models for Safe and Robust Embodied Planning
Tiehan Cui, Peipei Liu, Yanxu Mao +4
Large language models (LLMs) enable embodied agents to plan from naturallanguage instructions, yet their actions may be physically infeasible or hazardous. Existing neuro-symbolic…
Stop Fixating on Prompts: Reasoning Hijacking and Constraint Tightening for Red-Teaming LLM Agents
Yanxu Mao, Peipei Liu, Tiehan Cui +3
With the widespread application of LLM-based agents across various domains, their complexity has introduced new security threats. Existing red-team methods mostly rely on modifying…
When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
Jie Ma, Ningyu He, Jinwen Xi +8
The Ethereum ecosystem, which secures over $381 billion in assets, fundamentally relies on client APIs as the sole interface between users and the blockchain. However, these critic…