@misc{indiciaefdaa88233265,
  title = {A Formal Analysis of Agent Payment Protocols},
  author = {Ke Jiang and Mohan Yu and Yuan Chang and Mohit Kumar Jangid and Jianyu Niu and Cong Wang and Yinqian Zhang},
  year = {2026},
  url = {https://arxiv.org/abs/2609.00060},
  note = {Source identifier: 2609.00060}
}