Finding Unchecked Low-Level Calls with Zero False Positives and Negatives in Ethereum Smart Contracts. - Puneet Gill; Indrani Ray; Alireza Lotfi Takami; Mahesh Tripunitara (FPS, 2022)