Kolluri, Aashish and Nikolic, Ivica and Sergey, Ilya and Hobor, Aquinas and Saxena, Prateek
ISSTA, 2019
Exploiting The Laws of Order in Smart Contracts
Subtractive
fuzzing
bytecode + chain data => report
Any Ethereum
both