3 papers
cs.CR2026
ActGov: Governing LLM Agent Actions via Policy-Constrained Validation
Kaiyuan Zhang, Yuke Peng, Ke Jiang +1
Large language model (LLM) agents increasingly execute long-horizon workflows through external tools, allowing untrusted outputs to influence subsequent actions and exceed user aut…
cs.CR2026
A Formal Analysis of Agent Payment Protocols
Ke Jiang, Mohan Yu, Yuan Chang +4
Agent payment protocols are emerging as a key transaction layer for autonomous commerce, enabling AI agents to purchase goods and services and execute payments on users' behalf. Un…
cs.CR2026
Safe to Resume? Breaking Execution Continuity of Agent Execution via Rollback
Guanlong Wu, Dahui Li, Ke Jiang +3
AI agents are moving toward persistent, stateful execution across various applications, accumulating execution state and external effects that are costly to reconstruct after failu…