arXiv AI By Ke Jiang, Mohan Yu, Yuan Chang, Mohit Kumar Jangid, Jianyu Niu, Cong Wang, Yinqian Zhang

A Formal Analysis of Agent Payment Protocols

Read the original on arXiv AI →

The paper presents a formal analysis of four agent payment protocols—x402, MPP, ACP, and AP2—using the Tamarin prover. By modeling each protocol’s roles, state, and trust assumptions, the authors verify 86 cases, reproducing 46 known results and uncovering 40 new formal-consistency findings. They further validate ten findings through implementation proofs of concept, SDK/schema witnesses, and executable traces, highlighting the importance of consistent delegated authorization across all protocol stages.

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv AI.

arXiv AI
Aug 26

Beyond the Mandate: A Systematic Security Analysis of the Agent Payments Protocol (AP2)

The paper presents a systematic security analysis of Google’s Agent Payments Protocol (AP2) version 2.0, focusing on its roles, transaction lifecycle, and deployment architectures. It identifies 48 threats across five attack families, scores them with the AIVSS, and demonstrates eight high‑risk threats with proof‑of‑concept attacks and mitigations. The study also introduces a deployment‑aware scanner to map threats to various checks, showing that signed mandates alone cannot guarantee user intent when pre‑authorization context is manipulated.

By Avital Aviv, Parth A. Gandh, Ron Bitton, Asaf Shabtai
arXiv AI
Sep 15

AcquireBound: Runtime Authorization for Resources Acquired by AI Agents

AcquireBound is a runtime authorization framework that ensures AI agents can safely acquire and activate resources such as compute, credentials, and services. It quarantines acquired outputs, resolves their capabilities through authenticated evidence, and activates them only after verifying a manifest, provenance, and relational constraints. The system demonstrates strong safety properties, passing extensive benign and unsafe trace tests across multiple resource classes.

By Genliang Zhu
arXiv AI
Oct 2

SoK: Decentralized Agent Economic Infrastructure

The paper surveys how decentralized agent economies combine independently designed protocols into a single task workflow, often leading to correct steps that still yield incorrect outcomes. It categorizes security and economic requirements into 17 property families across six stages, evaluates 12 systems and standards, and introduces the guarantee‑closure criterion to assess whether early guarantees persist to later stages. Empirical analysis of 840 executions and 11,648 checks reveals frequent failures between verification and settlement, highlighting gaps between recorded approvals and actual task conformance.

By Rui Sun, Xihan Xiong, Qin Wang, Fei Gao, Zelin Li, Zehua Cheng, Jiahao Sun, Zhipeng Wang