Ahmed Iman Twabi

Mr. Ahmed Iman Twabi

Information Science, Hiroshima University, Hiroshima, Japan
orcid

Research Focus & Metrics

Academic Career Length

6Years (2021-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
16 May 2022
Verified
Conference Paper
Closed access
CKChipo Kanjo
Chipo Kanjo
TMTiwonge Davis Manda
Tiwonge Davis Manda
LBLawrence Byson
Lawrence Byson
Ahmed Iman TwabiAhmed Iman Twabi
Ahmed Iman Twabi
KMKondwani Godwin Munthali
Kondwani Godwin Munthali

10 October 2025
Verified
Conference Paper
Closed access
YDYepeng Ding
Yepeng Ding
Ahmed Iman TwabiAhmed Iman Twabi
Ahmed Iman Twabi
JYJunwei Yu
Junwei Yu
LZLingfeng Zhang
Lingfeng Zhang
TKTohru Kondo
Tohru Kondo
HSHiroyuki Sato
Hiroyuki Sato
The emergence of Large Language Models (LLMs) is rapidly accelerating the development of autonomous multiagent systems (MAS), paving the way for the Internet of Agents. However, traditional centralized MAS architectures present significant challenges, including single points of failure, vulnerability to censorship, inherent scalability limitations, and critical trust issues. We propose a novel Decentralized Multi-Agent System (DMAS) architecture designed to overcome these fundamental problems by enabling trust-aware, scalable, and censorship-resistant interactions among autonomous agents. Our DMAS features a decentralized agent runtime underpinned by a blockchain-based architecture. We formalize a trust-aware communication protocol that leverages cryptographic primitives and on-chain operations to provide security properties: verifiable interaction cycles, communication integrity, authenticity, non-repudiation, and conditional confidentiality, which we further substantiate through a comprehensive security analysis. Our performance analysis validates the DMAS as a scalable and efficient solution for building trustworthy multi-agent systems.

26 September 2025
Verified
Conference Paper
Closed access
YDYepeng Ding
Yepeng Ding
JYJunwei Yu
Junwei Yu
Ahmed Iman TwabiAhmed Iman Twabi
Ahmed Iman Twabi
LZLingfeng Zhang
Lingfeng Zhang
TKTohru Kondo
Tohru Kondo
HSHiroyuki Sato
Hiroyuki Sato

24 May 2026 in Electronics
Verified
Journal Article
Open access
PDF file
Ahmed Iman TwabiAhmed Iman Twabi
Ahmed Iman Twabi
YDYepeng Ding
Yepeng Ding
TKTohru Kondo
Tohru Kondo
Tool-augmented large language model agents are increasingly proposed for network configuration, but routing protocols differ in the control-plane state each commanded router can observe. This difference creates a specific problem for multi-agent orchestration: agents may coordinate more, yet still fail when correct verification depends on peer- or remote-router evidence. We study this interaction through 350 controlled runs on RIP, OSPF, and BGP tasks implemented with FRRouting and Containerlab, comparing a single-agent baseline with multi-agent orchestration patterns across language models. Protocol-centric trace metrics, including spatial coverage, coordination tax, and cross-router verification gap, are combined with intent-property scores and model-balanced bootstrap analysis. The results show that observability explains performance more clearly than orchestration patterns: multi-agent templates trail the baseline on local RIP feedback, show only small and uncertain gains on single-area OSPF troubleshooting, and remain near zero on stricter multi-area OSPF and BGP tasks where peer-side verification gaps are often complete. The main contribution is therefore a protocol-centered account of when agentic orchestration helps, when it adds coordination cost, and why current architectures face a cross-router verification ceiling.

10 August 2024
Verified
Conference Paper
Closed access
Ahmed Iman TwabiAhmed Iman Twabi
Ahmed Iman Twabi
MMMaro G. Machizawa
Maro G. Machizawa
KHKenji Haruhana
Kenji Haruhana
TKTohru Kondo
Tohru Kondo
The Pub/Sub architecture, widely employed for event-driven applications like IoT and complex event processing, faces challenges in its raw application to video streaming. This study investigates the specific operational demands inherent in implementing real-time video streaming within the Pub/Sub architecture, focusing on the Apache Kafka framework. The analysis delves into crucial aspects such as the relationship between brokers and partitions, the influence of compression on throughput, and the incorporation of core implementation techniques like multithreading, all crucial tools for ensuring sustainable and reliable video streaming. Additionally, this research utilizes the SINETStream library, designed for Apache Kafka, the SINETStream is a software package that makes it easy for researchers to reliably collect and analyze data via wide area networks without loss, enhancing adaptability and refinement. Through these investigations, the study contributes nuanced insights into the considerations essential for optimizing video streaming within the Pub/Sub architecture, thereby advancing the understanding and practical implementation of such systems.

19 May 2026 in Electronics
Verified
Journal Article
Open access
PDF file
YDYepeng Ding
Yepeng Ding
Ahmed Iman TwabiAhmed Iman Twabi
Ahmed Iman Twabi
JYJunwei Yu
Junwei Yu
LZLingfeng Zhang
Lingfeng Zhang
TKTohru Kondo
Tohru Kondo
Hiroyuki SatoHiroyuki Sato
Hiroyuki Sato
Smart contract auditing remains challenging because vulnerabilities often emerge only under complex execution conditions, cross-transaction interactions, and environment-dependent assumptions. Existing analysis techniques, including static analysis, symbolic execution, fuzzing, and recent LLM-assisted approaches, each provide useful but incomplete coverage, and monolithic auditing pipelines often struggle to balance search breadth, reproducibility, and reporting reliability. This paper presents SEMA, a self-evolving multi-agent auditing framework for smart contracts that formulates auditing as a resource-bounded discovery of concrete counterexamples under replay-certified reporting semantics. SEMA combines heterogeneous specialized agents, an orchestrator, a shared artifact-centric knowledge base, and a replay-based referee. During auditing, agents generate and consume reusable artifacts, such as candidate invariants, refuted hypotheses, transaction templates, and coverage cues, allowing the shared search state to evolve across rounds without modifying the analyzers themselves. To ensure reporting reliability, findings are accepted only when the referee can replay the candidate scenario under a pinned execution configuration and confirm violation of an executable security property. We further evaluate SEMA on an annotated smart contract benchmark under a fixed 300 s budget per contract. The full system achieves 0.9469 instance recall, 0.9441 success rate, and 0.9445 macro-average category recall on the retained executable subset, outperforming both symbolic-only and fuzzing-only baselines, as well as multi-agent ablations that disable dynamic knowledge evolution or cross-agent artifact reuse.