Clockwork Finance: Automated Analysis of Economic Security in Smart
Contracts

Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts

9 September 2021

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

12 / 12 papers shown

Title
Does multi-block MEV exist? Analysis of 2 years of MEV Data Pascal Stichler 33 0 0 22 Jan 2025
Maximal Extractable Value in Decentralized Finance: Taxonomy, Detection, and Mitigation Huned Materwala Shraddha M. Naik Aya Taha Tala Abdulrahman Abed Davor Svetinovic 20 0 0 22 Oct 2024
Scalable UTXO Smart Contracts via Fine-Grained Distributed State Massimo Bartoletti R. Marchesin R. Zunino 30 0 0 11 Jun 2024
Decentralization of Ethereum's Builder Market Sen Yang Kartik Nayak Fan Zhang 47 12 0 02 May 2024
Automated Attack Synthesis for Constant Product Market Makers Sujin Han Jinseo Kim Sung-Ju Lee Insu Yun 32 0 0 08 Apr 2024
Demystifying DeFi MEV Activities in Flashbots Bundle Zihao Li Jianfeng Li Zheyuan He Xiapu Luo Ting Wang Xiaoze Ni Wenwu Yang Xi Chen Ting Chen MoE 21 22 0 02 Dec 2023
DeFi composability as MEV non-interference Massimo Bartoletti R. Marchesin R. Zunino 12 2 0 19 Sep 2023
Allowing Blockchain Loans with Low Collateral Tom Azoulay Uri Carl Ori Rottenstreich 30 4 0 13 Jun 2023
An Automated Analyzer for Financial Security of Ethereum Smart Contracts Wansen Wang Wenchao Huang Zhaoyi Meng Yan Xiong Fuyou Miao Xianjin Fang Caichang Tu Renjie Ji 23 1 0 27 Aug 2022
Towards a Theory of Maximal Extractable Value I: Constant Function Market Makers Kshitij Kulkarni Theo Diamandis Tarun Chitra 31 41 0 24 Jul 2022
Unity is Strength: A Formalization of Cross-Domain Maximal Extractable Value Alexandre Obadia Alejo Salles Lakshman Sankar Tarun Chitra Vaibhav Chellani Philip Daian 23 37 0 02 Dec 2021
SoK: Decentralized Finance (DeFi) Sam M. Werner Daniel Perez L. Gudgeon Ariah Klages-Mundt D. Harz William J. Knottenbelt 72 261 0 21 Jan 2021