Author

Alireza Lotfi

h-index 1 View on Semantic Scholar

We have 2 of 3 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Review Sep 2026

A2ABreak: Systematic Security Analysis of the A2A Protocol

A2ABreak is presented, the first rigorous systematic security analysis of the A2A protocol, and introduces a novel framework that utilizes an LLM-assisted extraction of a verified finite-state machine directly from the natural-language specification.

Alireza Lotfi, Mirza Masfiqur Rahman, Imtiaz Karim et al. · 1 citation · ⚡1

Preprint Aug 2026

Securing Agentic AI: From Per-Action Checks to Trajectory Assurance

Charting these challenges provides a roadmap toward trustworthy autonomous agent deployment: security must become a verifiable property of the architectures, protocols, and runtimes that govern agent behavior, rather than an optional layer of guidance.

Alireza Lotfi, Subangkar Karmaker Shanto, Imtiaz Karim et al. · 2 citations