1 paper
Mohamed Salah Bouafif, Chen Zheng, Ilham Ahmed Qasse +3
The surge in the adoption of smart contracts necessitates rigorous auditing to ensure their security and reliability. Manual auditing, although comprehensive, is time-consuming and…