TY  - RPRT
TI  - Securify: Practical Security Analysis of Smart Contracts
AU  - Petar Tsankov
AU  - Andrei Dan
AU  - Dana Drachsler Cohen
AU  - Arthur Gervais
AU  - Florian Buenzli
AU  - Martin Vechev
PY  - 2018
UR  - https://arxiv.org/abs/1806.01143
ID  - 1806.01143
ER  -