@misc{indiciae4d9cf6b09e31,
  title = {Securify: Practical Security Analysis of Smart Contracts},
  author = {Petar Tsankov and Andrei Dan and Dana Drachsler Cohen and Arthur Gervais and Florian Buenzli and Martin Vechev},
  year = {2018},
  url = {https://arxiv.org/abs/1806.01143},
  note = {Source identifier: 1806.01143}
}