Detection of Vulnerabilities of Blockchain Smart Contracts. - Daojing He; Rui Wu 015; Xinji Li; Sammy Chan; Mohsen Guizani (IEEE Internet Things J., 2023)