Vulnerability Analysis of Smart Contracts. - S. Vani; M. Doshi; Amit Anil Nanavati; A. Kundu (CoRR, 2022)