Clockwork Finance: Automated Analysis of Economic Security in Smart
Contracts

v1v2 (latest)

Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts

9 September 2021

ArXiv (abs)PDF HTML

Papers citing "Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts"

14 / 14 papers shown

Title
A quantitative notion of economic security for smart contract compositions Emily Priyadarshini Massimo Bartoletti 22 0 0 25 May 2025
Maximal Extractable Value in Decentralized Finance: Taxonomy, Detection, and Mitigation Huned Materwala Shraddha M. Naik Aya Taha Tala Abdulrahman Abed Davor Svetinovic 122 0 0 22 Oct 2024
Scalable UTXO Smart Contracts via Fine-Grained Distributed State Massimo Bartoletti R. Marchesin R. Zunino 64 0 0 11 Jun 2024
Decentralization of Ethereum's Builder Market Sen Yang Kartik Nayak Fan Zhang 71 13 0 02 May 2024
Automated Attack Synthesis for Constant Product Market Makers Sujin Han Jinseo Kim Sung-Ju Lee Insu Yun 75 0 0 08 Apr 2024
On the Just-In-Time Discovery of Profit-Generating Transactions in DeFi Protocols Liyi Zhou Kaihua Qin Antoine Cully B. Livshits Arthur Gervais 41 123 0 03 Mar 2021
Quantifying Blockchain Extractable Value: How dark is the forest? Kaihua Qin Liyi Zhou Arthur Gervais 60 260 0 14 Jan 2021
High-Frequency Trading on Decentralized On-Chain Exchanges Liyi Zhou Kaihua Qin C. F. Torres D. Le Arthur Gervais AAML 53 201 0 29 Sep 2020
Wendy, the Good Little Fairness Widget K. Kursawe 41 83 0 16 Jul 2020
Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit Kaihua Qin Liyi Zhou B. Livshits Arthur Gervais 42 203 0 08 Mar 2020
A Survey on Ethereum Systems Security: Vulnerabilities, Attacks and Defenses Huashan Chen Marcus Pendleton Laurent L. Njilla Shouhuai Xu 73 445 0 13 Aug 2019
Flash Boys 2.0: Frontrunning, Transaction Reordering, and Consensus Instability in Decentralized Exchanges Philip Daian Steven Goldfeder T. Kell Yunqi Li Xueyuan Zhao Iddo Bentov Lorenz Breidenbach Ari Juels 36 237 0 10 Apr 2019
On the specification and verification of atomic swap smart contracts R. V. D. Meyden 34 28 0 14 Nov 2018
A Semantic Framework for the Security Analysis of Ethereum smart contracts Ilya Grishchenko Matteo Maffei Clara Schneidewind 39 287 0 23 Feb 2018