Rodler, Michael and Li, Wenting and Karame, Ghassan O and Davi, Lucas
NDSS, 2018
Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks
Subtractive
execution tracing
chain data => report
Any Ethereum
vulnerable contract