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.       Green open access