Liu, Chao and Liu, Han and Cao, Zhao and Chen, Zhong and Chen, Bangdao and Roscoe, Bill
ICSE, 2018
ReGuard: Finding Reentrancy Bugs in Smart Contracts
Subtractive
fuzzing
source code => report + exploits
Any Ethereum
vulnerable contract