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