@misc{indiciaee15ced390d6b,
  title = {A Semantic Framework for the Security Analysis of Ethereum smart contracts},
  author = {Ilya Grishchenko and Matteo Maffei and Clara Schneidewind},
  year = {2018},
  doi = {10.1007/978-3-319-89722-6\_10},
  url = {https://arxiv.org/abs/1802.08660},
  note = {Source identifier: 1802.08660}
}