@misc{tolmach2021formal,
  title={Formal Analysis of Composable DeFi Protocols},
  author={Palina Tolmach and Yi Li and Shang-Wei Lin and Yang Liu},
  year={2021},
  eprint={2103.00540},
  archivePrefix={arXiv},
  primaryClass={cs.CR},
  url={https://arxiv.org/abs/2103.00540}
}