Rodler, Michael and Li, Wenting and Karame, Ghassan O and Davi, Lucas
USENIX Security, 2021
EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts
Subtractive
code synthesis
bytecode + chain data => bytecode
Any Ethereum
vulnerable contract