CrossRPL: Propagation-Aware Detection and Function-Level Localisation of Cross-Contract Vulnerabilities in Ethereum Smart Contracts.
Rexford Nii Ayitey Sosu, Jinfu Chen, Edward Kwadwo Boahen, Saihua Cai, Wenjie Gu
Browse the full COMPSAC paper archive.