Smart Contract VM Bugs via Differential Fuzzing [pdf]
raw.githubusercontent.com