3 papers
cs.CR2026
A2A-ForensicTrace: Offline Verification of Tamper-Evident A2A Runtime Evidence
Adil Alshammari, Sareh Assiri, Hayretdin Bahsi
Security-relevant Agent2Agent (A2A) executions can cross organizational boundaries, leaving investigators without live access to all participating systems. Offline investigation in…
cs.CR2026
A2A-CaseVerify: Merkle-Linked Case-Evidence Verification for Cross-Organization A2A Workflows
Adil Alshammari, Hayretdin Bahsi
Agent-to-Agent (A2A) communication enables large language model (LLM) agents to exchange tasks, messages, and artifacts across organizations. A valid message alone does not establi…
cs.CR2026
Offline-Verifiable Accountability for Cross-Organization Agent Messaging: A Preserved Evidence-Bundle Approach
Adil Alshammari, Hayretdin Bahsi
Cross-organization agent workflows require preserved evidence that remains independently verifiable during later audit or dispute review. They may involve multiple organizations, d…