5 papers
When Can Stateless Recovery Defeat Byzantine Quorum Safety? A Tight Normal Form for Single-Step BFT
Arnab Mallick, Indraveni Chebolu
Byzantine quorum safety relies on correct replicas refusing to sign conflicting values. A replica that loses its protocol state during recovery but retains its identity and signing…
Adaptive Black-Box Exactness Barriers for Nearest-Source Girth Estimation in CONGEST
Indraveni Chebolu, Arnab Mallick, Ch A S Murty +3
Recent multi-scale nearest-source methods give polynomially sublinear approximations for girth in the CONGEST model. We study exactification by adaptive black-box composition while…
Conditional Reliability of Toxicity Signals for Multilingual and Code-Mixed Abuse Detection
Indraveni Chebolu, Rohan Singh, Arnab Mallick +1
Moderation systems increasingly rely on external toxicity tools, but those tools are unreliable under code-mixing, transliteration, slang, and language mismatch. We study the \emph…
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…
μ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,…