Finding Unchecked Low-Level Calls with Zero False Positives and Negatives in Ethereum Smart Contracts[C] FOUNDATIONS AND PRACTICE OF SECURITY, FPS 2022 2023(13877) Gill, Puneet Ray, Indrani Takami, Alireza Lotfi Tripunitara, Mahesh
