@misc{indiciae7d9a080d579e,
  title = {Formal specification of a security framework for smart contracts},
  author = {Mikhail Mandrykin and Jake O'Shannessy and Jacob Payne and Ilya Shchepetkov},
  year = {2020},
  url = {https://arxiv.org/abs/2001.04314},
  note = {Source identifier: 2001.04314}
}