Tsankov, Petar;
Dan, Andrei;
Drachsler-Cohen, Dana;
Gervais, Arthur;
Bünzli, Florian;
Vechev, Martin;
(2018)
Securify: Practical Security Analysis of Smart Contracts.
In:
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security.
(pp. pp. 67-82).
ACM: Toronto, Canada.