Modeling and Mitigating Reentrancy Attacks: A Decision-Theoretic Framework for Smart Contract Security. - Arnab Mallick; Indraveni Chebolu (IEEE Access, 2026)

μACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication. - Arnab Mallick; Indraveni Chebolu (CoRR, 2026)

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing. - Arnab Mallick; Indraveni Chebolu; Harmesh Rana (CoRR, 2026)