الباحثون

Xiaoting Lyu

المنشورات 2

نسخة أولية وصول مفتوح

Blocking at the Boundary: Auditing Long-Horizon Agents against Staged Prompt Injection

Jingkai Liu, Yufei Han, Xiaoting Lyu وآخرون · 2026

Long-horizon agents consume external content, invoke tools, and modify persistent state. Indirect prompt injection can exploit task-specific context, propagate across causally connected stages, and alter a consequential action while the workflow continues; we term this staged prompt injection. We build an automated, fe …

نسخة أولية وصول مفتوح

LLM-Assisted Automatic Security Proofs for Cryptographic Protocols: How Far Are We?

Tianjian Liu, Shicheng Feng, Jin'ao Shang وآخرون · 2026

Large language models (LLMs) have shown strong potential for assisting software and security analysis tasks, yet their effectiveness in cryptographic symbolic protocol verification remains insufficiently understood. In this paper, we conduct the first systematic evaluation of the capability of state-of-the-art LLMs in …

المؤلفون المشاركون