A History of Greed: Practical Symbolic Execution for Ethereum Smart Contracts.

Nicola Ruaro, Fabio Gritti, Robert McLaughlin, Dongyu Meng, Ilya Grishchenko, Christopher Kruegel, Giovanni Vigna

Browse the full DIMVA paper archive.