Vulnerability Detection in Smart Contracts: A Comprehensive Survey. - Christopher De Baets; Basem Suleiman; Armin Chitizadeh; Imran Razzak (CoRR, 2024)