Automated Vulnerability Detection in Smart Contracts using Control Flow Graphs and Machine Learning. - Charles Lohest; Samy Bettaieb; Axel Legay (ACSAC Workshops, 2024)