Preliminary research
A Formal Analysis of Agent Payment Protocols
AI-collected research leads through 22 September 2026, including targeted additions between broader sweeps. 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
- Format
- Whitepaper
- Topic
- Other
In the archive
Tags
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; this one was last captured on .