Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities[C] PROCEEDINGS OF THE 41ST ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '20) 2020 Brent, Lexi Grech, Neville Lagouvardos, Sifis Scholz, Bernhard Smaragdakis, Yannis
