Nguyen, Tai D and Pham, Long H and Sun, Jun and Lin, Yun and Minh, Quang Tran
Oakland, 2021
sGUARD: Towards Fixing Vulnerable Smart Contracts Automatically
Additive
static analysis + formal
bytecode => report
Any Ethereum
vulnerable contract