Philip Daian

May 18, 2023 | arxiv.org | Philip Daian |Mahimna Kelkar |Ari Juels

[Submitted on 9 Sep 2021 ( v1 ), last revised 18 May 2023 (this version, v2)] Title:Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts Download a PDF of the paper titled Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts, by Kushal Babel and 3 other authors Download PDF Abstract: We introduce the Clockwork Finance Framework (CFF), a general purpose, formal verification framework for mechanized reasoning about the economic security...