Securify: Practical Security Analysis of Smart Contracts. - Petar Tsankov; Andrei Marian Dan; Dana Drachsler-Cohen; Arthur Gervais; Florian Bünzli; Martin T. Vechev (CCS, 2018)