DeFi composability as MEV non-interference

v1v2 (latest)

DeFi composability as MEV non-interference

19 September 2023

Massimo Bartoletti

ArXiv (abs)PDF HTML

Papers citing "DeFi composability as MEV non-interference"

7 / 7 papers shown

Title
A quantitative notion of economic security for smart contract compositions Emily Priyadarshini Massimo Bartoletti 24 0 0 25 May 2025
Scalable UTXO Smart Contracts via Fine-Grained Distributed State Massimo Bartoletti R. Marchesin R. Zunino 77 0 0 11 Jun 2024
Disentangling Decentralized Finance (DeFi) Compositions Stefan Kitzler Friedhelm Victor Pietro Saggese Bernhard Haslhofer 64 49 0 05 Nov 2021
Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts Kushal Babel Philip Daian Mahimna Kelkar Ari Juels 110 65 0 09 Sep 2021
SoK: Decentralized Finance (DeFi) Sam M. Werner Daniel Perez L. Gudgeon Ariah Klages-Mundt D. Harz William J. Knottenbelt 161 269 0 21 Jan 2021
Verifying liquidity of recursive Bitcoin contracts Massimo Bartoletti Stefano Lande Maurizio Murgia R. Zunino 26 8 0 28 Nov 2020
An analysis of Uniswap markets Guillermo Angeris Hsien-Tang Kao Rei Chiang C. Noyes Tarun Chitra 154 195 0 08 Nov 2019

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.