Showing cs.MAShow all
2 papers · 1 filter
cs.MA2026
SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing
Indraveni Chebolu, Arnab Mallick, Harmesh Rana
We present SPEAR, a multi-agent coordination framework for smart contract auditing that applies established MAS patterns in a realistic security analysis workflow. SPEAR models aud…
cs.MA2026
μACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication
Arnab Mallick, Indraveni Chebolu
Agent communication remains a foundational problem in multi-agent systems: protocols such as FIPA-ACL guarantee semantic richness but are intractable for constrained environments,…