Alfiya Sayyad, Tushar H. Ghorpade, Vanita Mane, and Faimida Sayyad, “Adaptive Multi-Agent Explainable Smart Contract Auditing Framework (AMESCAF): A Hybrid Approach Integrating Static Analysis, Symbolic Execution, Formal Verification, and Explainable Artificial Intelligence for Next-Generation Blockchain Security”, IJCISIM, vol. 18, no. 18s, pp. 185–193, Aug. 2026.