Oracle-supported dynamic exploit generation for smart contracts

Published:

Haijun Wang, Ye Liu, Yi Li, Shang-Wei Lin, Cyrille Artho, Lei Ma, Yang Liu, IEEE Transactions on Dependable and Secure Computing, 2020. https://arxiv.org/pdf/1909.06605