TY  - RPRT
TI  - Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts
AU  - Kushal Babel
AU  - Philip Daian
AU  - Mahimna Kelkar
AU  - Ari Juels
PY  - 2023
DO  - 10.1109/sp46215.2023.00036
UR  - https://arxiv.org/abs/2109.04347
ID  - 2109.04347
ER  -