Kushal Babel, Philip Daian, Mahimna Kelkar, Ari Juels. Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts. In 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023. pages 2499-2516, IEEE, 2023. [doi]
Abstract is missing.