Securify: Practical Security Analysis of Smart Contracts.

Petar Tsankov, Andrei Marian Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Bnzli, Martin T. Vechev

Browse the full CCS paper archive.