Finding Unchecked Low-Level Calls with Zero False Positives and Negatives in Ethereum Smart Contracts - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Puneet Gill' in GoogleThis author has not been identified. Look up 'Indrani Ray' in GoogleThis author has not been identified. Look up 'Alireza Lotfi Takami' in GoogleThis author has not been identified. Look up 'Mahesh Tripunitara' in Google

runs on WebDSL