Preliminary research

A Formal Analysis of Agent Payment Protocols

Ke Jiang, Mohan Yu, Yuan Chang, Mohit Kumar Jangid, Jianyu Niu, Cong Wang and Yinqian Zhang · arXiv · 2 September 2026

AI-collected research leads through 6 October 2026, including bounded month-by-month reviews of selected social and community sources from January through September. Unranked, incomplete, not community-vetted, and subject to change.

A matched Tamarin analysis compares authorization, payment and fulfillment properties across four agent payment protocols. The paper reports counterexamples and repairs, extending earlier payment-security analyses; its model results should not be read as forty independently verified production vulnerabilities.

Record

Researcher

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

Published by

arXiv

Date

2 September 2026

Format

Whitepaper

In the archive

• Collected in the 2026 preliminary research sweep

Tags

• formal-analysis
• auth-bypass
• ai-agent
• owasp-a01-2021

This page is the archive's own catalogue record. The research is the work of Ke Jiang, Mohan Yu, Yuan Chang, Mohit Kumar Jangid, Jianyu Niu, Cong Wang and Yinqian Zhang, first published at the original source. Preserved copies are kept so the citation survives its host.