Imagen de Portada

DeFi composability as MEV non-interference

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Bartoletti, Massimo, Marchesin, Riccardo, Zunino, Roberto
Formato:	Preprint
Publicado:	2023
Materias:	Cryptography and Security
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Certifying optimal MEV strategies with Lean
por: Bartoletti, Massimo, et al.
Publicado: (2025)

A theoretical basis for MEV
por: Bartoletti, Massimo, et al.
Publicado: (2023)

Secure compilation of rich smart contracts on poor UTXO blockchains
por: Bartoletti, Massimo, et al.
Publicado: (2023)

Scalable UTXO Smart Contracts via Fine-Grained Distributed State
por: Bartoletti, Massimo, et al.
Publicado: (2024)

A theory of Lending Protocols in DeFi
por: Bartoletti, Massimo, et al.
Publicado: (2025)

How To Save Fees in Bitcoin Smart Contracts: a Simple Optimistic Off-chain Protocol
por: Maddaloni, Dario, et al.
Publicado: (2024)

I Experienced More than 10 DeFi Scams: On DeFi Users' Perception of Security Breaches and Countermeasures
por: Liu, Mingyi, et al.
Publicado: (2024)

DeFiTail: DeFi Protocol Inspection through Cross-Contract Execution Analysis
por: Li, Wenkai, et al.
Publicado: (2024)

DeFiGuard: A Price Manipulation Detection Service in DeFi using Graph Neural Networks
por: Wang, Dabao, et al.
Publicado: (2024)

SoK: Decentralized Finance (DeFi) -- Fundamentals, Taxonomy and Risks
por: Gogol, Krzysztof, et al.
Publicado: (2024)

LLM-Powered Detection of Price Manipulation in DeFi
por: Liu, Lu, et al.
Publicado: (2025)

Bitcoin Smart Accounts: Trust-Minimized Native Bitcoin DeFi Infrastructure
por: Lalor, Cian, et al.
Publicado: (2026)

Protecting DeFi Platforms against Non-Price Flash Loan Attacks
por: Alhaidari, Abdulrahman, et al.
Publicado: (2025)

Mapping the DeFi crime landscape: an evidence-based picture
por: Carpentier-Desjardins, Catherine, et al.
Publicado: (2023)

Detecting Various DeFi Price Manipulations with LLM Reasoning
por: Zhong, Juantao, et al.
Publicado: (2025)

Enforcing Control Flow Integrity on DeFi Smart Contracts
por: Chen, Zhiyang, et al.
Publicado: (2025)

Understanding Blockchain Governance: Analyzing Decentralized Voting to Amend DeFi Smart Contracts
por: Messias, Johnnatan, et al.
Publicado: (2023)

Ormer: A Manipulation-resistant and Gas-efficient Blockchain Pricing Oracle for DeFi
por: Bai, Dongbin, et al.
Publicado: (2024)

Strengthening DeFi Security: A Static Analysis Approach to Flash Loan Vulnerabilities
por: Wu, Ka Wai
Publicado: (2024)

Penetrating the Hostile: Detecting DeFi Protocol Exploits through Cross-Contract Analysis
por: Li, Xiaoqi, et al.
Publicado: (2025)

IT Strategic alignment in the decentralized finance (DeFi): CBDC and digital currencies
por: Junior, Carlos Alberto Durigan, et al.
Publicado: (2024)

A quantitative notion of economic security for smart contract compositions
por: Priyadarshini, Emily, et al.
Publicado: (2025)

Scaling DeFi with ZK Rollups: Design, Deployment, and Evaluation of a Real-Time Proof-of-Concept
por: Gogol, Krzysztof, et al.
Publicado: (2025)

Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?
por: Chaliasos, Stefanos, et al.
Publicado: (2023)

Paper Agents, Paper Gains: An Empirical Analysis of DeFi Investment Agents
por: Yu, Jay, et al.
Publicado: (2026)

Modeling and Analysis of Crypto-Backed Over-Collateralized Stable Derivatives in DeFi
por: Feng, Zhenbang, et al.
Publicado: (2024)

Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact
por: Bartoletti, Massimo, et al.
Publicado: (2017)

From Transactions to Exploits: Automated PoC Synthesis for Real-World DeFi Attacks
por: Su, Xing, et al.
Publicado: (2026)

GenDetect: Generalizing Reactive Detection for Resilience Against Imitative DeFi Attack Cascade
por: Cai, Bowen, et al.
Publicado: (2026)

FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols
por: Wen, Hongbo, et al.
Publicado: (2024)

PEB Separation and State Migration: Unmasking the New Frontiers of DeFi AML Evasion
por: Cao, Yixin, et al.
Publicado: (2026)

Formal verification in Solidity and Move: insights from a comparative analysis
por: Bartoletti, Massimo, et al.
Publicado: (2025)

Neuroforger: certified violation witnesses for smart contracts verification via LLMs
por: Bartoletti, Massimo, et al.
Publicado: (2026)

MEV in Binance Builder
por: Wang, Qin, et al.
Publicado: (2026)

EvoPoC: Automated Exploit Synthesis for DeFi Smart Contracts via Hierarchical Knowledge Graphs
por: Liang, Ruichao, et al.
Publicado: (2026)

LookAhead: Preventing DeFi Attacks via Unveiling Adversarial Contracts
por: Ren, Shoupeng, et al.
Publicado: (2024)

Interoperability Effects: Extending DeFi Lending Risk Models to Multi-Chain Environments
por: Sevim, Hasret Ozan
Publicado: (2026)

DeFi TrustBoost: Blockchain and AI for Trustworthy Decentralized Financial Decisions
por: Sachan, Swati, et al.
Publicado: (2025)

Private, Anonymous, Collateralizable Commitments vs. MEV
por: McMenamin, Conor, et al.
Publicado: (2023)

MEV Ecosystem Evolution From Ethereum 1.0
por: Rasheed, et al.
Publicado: (2024)