Tushar H. Ghorpade

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

 Smart contracts are a crucial element in blockchain technology, enabling the decentralisation and automation of digital transactions. However, re-entrancy, access control, integer overflows and logic errors all pose a danger to their security and reliability. Previously available audit solutions rely on a single analy...