2023 IEEE Symposium on Security and Privacy (SP)
Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts
DOI Bookmark: 10.1109/SP46215.2023.10179346
Authors
Kushal Babel, Cornell TechPhilip Daian, Cornell Tech
Mahimna Kelkar, Cornell Tech
Ari Juels, Cornell Tech