Brent, Lexi Grech, Neville Lagouvardos, Sifis Scholz, Bernhard Smaragdakis, Yannis, Ethainter: A Smart Contract Security Analyzer for Composite
Vulnerabilities, 454-469, 2020, ASSOCIATION FOR COMPUTING MACHINERY,