@misc{indiciae619e1d0d18e6,
  title = {Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts},
  author = {Kushal Babel and Philip Daian and Mahimna Kelkar and Ari Juels},
  year = {2023},
  doi = {10.1109/sp46215.2023.00036},
  url = {https://arxiv.org/abs/2109.04347},
  note = {Source identifier: 2109.04347}
}