A2A-ForensicTrace: Offline Verification of Tamper-Evident A2A Runtime Evidence

arXiv:2609.33924 · cs.CR · Submitted 2026-09-27 · Read on arXiv

cs.CR

Submitted: 2026-09-27

Updated: 2026-09-27

Terminology

• Trace — 59× in this paper · explained in 2 episodes
• Verifier — 48× in this paper · explained in 2 episodes
• Verification — 43× in this paper · explained in 2 episodes
• Admissibility — 9× in this paper · explained in 2 episodes
• Provenance — 5× in this paper · explained in 4 episodes
• Consistency — 4× in this paper · explained in 3 episodes
• Benchmark — 3× in this paper · explained in 2 episodes
• Multi-Agent System — 2× in this paper · explained in 6 episodes
• Actor — 1× in this paper · explained in 3 episodes
• Admissibility Conditions — 1× in this paper · explained in 1 episode
• Agentic AI — 1× in this paper · explained in 1 episode
• Core — 1× in this paper · explained in 2 episodes
• Generalization — 1× in this paper · explained in 13 episodes
• JSON Canonicalization Scheme — 1× in this paper

Sources

• Improving Google A2A Protocol: Protecting Sensitive Data and Mitigating Unintended Harms in Multi-Agent Systems
• Security Threat Modeling for Emerging AI-Agent Protocols: A Comparative Analysis of MCP, A2A, Agora, and ANP
• From Agent Traces to Trust: A Survey of Evidence Tracing and Execution Provenance in LLM Agents

Related papers

• SoK: AI-Augmented Binary Reversing
• Relaxed Sender Anonymity for CBDC Interbank Settlement: A Zero-Knowledge Approach on Permissioned EVM
• Calibration-Family Overfit: Why Trusted Sabotage Monitors Don't Transfer Across Lineages
• Efficient Fuzzy PSI under One-Sided Assumptions
• Sealing the Audit-Runtime Gap for LLM Skills
• Token Composition: A Graph Based on EVM Logs