Puneet Gill, Indrani Ray, Alireza Lotfi Takami, Mahesh Tripunitara. Finding Unchecked Low-Level Calls with Zero False Positives and Negatives in Ethereum Smart Contracts. In Guy-Vincent Jourdan, Laurent Mounier, Carlisle M. Adams, Florence Sèdes, Joaquin García-Alfaro, editors, Foundations and Practice of Security - 15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12-14, 2022, Revised Selected Papers. Volume 13877 of Lecture Notes in Computer Science, pages 305-321, Springer, 2022. [doi]
Abstract is missing.