Tohru Kondo

Dr. Tohru Kondo

orcid

Research Focus & Metrics

Academic Career Length

2Years (2025-Present)

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

Representative Publications

View All Publications
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.

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.

13 February 2025
Verified
Book Chapter
Closed access
PDF file
YDYepeng Ding
Yepeng Ding
JYJunwei Yu
Junwei Yu
Hiroyuki SatoHiroyuki Sato
Hiroyuki Sato
TKTohru Kondo
Tohru Kondo
YBYan Bai
Yan Bai

19 September 2025 in Future Internet
Verified
Journal Article
Open access
PDF file
Ahmed Iman TwabiAhmed Iman Twabi
Ahmed Iman Twabi
YDYepeng Ding
Yepeng Ding
TKTohru Kondo
Tohru Kondo
Real-time media streaming over publish–subscribe platforms is increasingly vital in scenarios that demand the scalability of event-driven architectures while ensuring timely media delivery. This is especially true in multi-modal and resource-constrained environments, such as IoT, Physical Activity Recognition and Measure (PARM), and Internet of Video Things (IoVT), where integrating sensor data with media streams often leads to complex hybrid setups that compromise consistency and maintainability. Publish–subscribe (pub/sub) platforms like Kafka and MQTT offer scalability and decoupled communication but fall short in supporting real-time video streaming due to platform-dependent design, rigid optimization, and poor sub-second media handling. This paper presents FrameMQ, a layered, platform-agnostic architecture designed to overcome these limitations by decoupling application logic from platform-specific configurations and enabling dynamic real-time optimization. FrameMQ exposes tunable parameters such as compression and segmentation, allowing integration with external optimizers. Using Particle Swarm Optimization (PSO) as an exemplary optimizer, FrameMQ reduces total latency from over 2300 ms to below 400ms under stable conditions (over an 80% improvement) and maintains up to a 52% reduction under adverse network conditions. These results demonstrate FrameMQ’s ability to meet the demands of latency-sensitive applications, such as real-time streaming, IoT, and surveillance, while offering portability, extensibility, and platform independence without modifying the core application logic.

2 December 2025 in arXiv
Verified
Preprint
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
The emergence of Large Language Models (LLMs) is rapidly accelerating the development of autonomous multi-agent 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.