Ethainter: a smart contract security analyzer for composite vulnerabilities.

Lexi Brent, Neville Grech, Sifis Lagouvardos, Bernhard Scholz, Yannis Smaragdakis

Browse the full PLDI paper archive.