2 papers
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
Association-based Privacy Attacks in Wireless Protocols: Formal Modeling and Mitigation
Mohit Kumar Jangid, Felix Engelmann, Zhiqiang Lin
With the surge in privacy-sensitive data from sources such as social media and IoT devices, there is a pressing need for formal, automated methods to assess privacy risks within th…