Image de couverture de livre

DeFiTail: DeFi Protocol Inspection through Cross-Contract Execution Analysis

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Li, Wenkai, Li, Xiaoqi, Zhang, Yuqing, Li, Zongwei
Format:	Preprint
Publié:	2024
Sujets:	Cryptography and Security
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Penetrating the Hostile: Detecting DeFi Protocol Exploits through Cross-Contract Analysis
par: Li, Xiaoqi, et autres
Publié: (2025)

I Experienced More than 10 DeFi Scams: On DeFi Users' Perception of Security Breaches and Countermeasures
par: Liu, Mingyi, et autres
Publié: (2024)

No More Hidden Pitfalls? Exposing Smart Contract Bad Practices with LLM-Powered Hybrid Analysis
par: Li, Xiaoqi, et autres
Publié: (2025)

Enforcing Control Flow Integrity on DeFi Smart Contracts
par: Chen, Zhiyang, et autres
Publié: (2025)

DeFi composability as MEV non-interference
par: Bartoletti, Massimo, et autres
Publié: (2023)

A theory of Lending Protocols in DeFi
par: Bartoletti, Massimo, et autres
Publié: (2025)

Understanding Blockchain Governance: Analyzing Decentralized Voting to Amend DeFi Smart Contracts
par: Messias, Johnnatan, et autres
Publié: (2023)

NFTDELTA: Detecting Permission Control Vulnerabilities in NFT Contracts through Multi-View Learning
par: Kuang, Hailu, et autres
Publié: (2026)

USCSA: Evolution-Aware Security Analysis for Proxy-Based Upgradeable Smart Contracts
par: Li, Xiaoqi, et autres
Publié: (2025)

Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?
par: Chaliasos, Stefanos, et autres
Publié: (2023)

DeFiGuard: A Price Manipulation Detection Service in DeFi using Graph Neural Networks
par: Wang, Dabao, et autres
Publié: (2024)

Detecting Various DeFi Price Manipulations with LLM Reasoning
par: Zhong, Juantao, et autres
Publié: (2025)

LLM-Powered Detection of Price Manipulation in DeFi
par: Liu, Lu, et autres
Publié: (2025)

SoK: Decentralized Finance (DeFi) -- Fundamentals, Taxonomy and Risks
par: Gogol, Krzysztof, et autres
Publié: (2024)

EvoPoC: Automated Exploit Synthesis for DeFi Smart Contracts via Hierarchical Knowledge Graphs
par: Liang, Ruichao, et autres
Publié: (2026)

Strengthening DeFi Security: A Static Analysis Approach to Flash Loan Vulnerabilities
par: Wu, Ka Wai
Publié: (2024)

Interaction-Aware Vulnerability Detection in Smart Contract Bytecodes
par: Li, Wenkai, et autres
Publié: (2024)

LookAhead: Preventing DeFi Attacks via Unveiling Adversarial Contracts
par: Ren, Shoupeng, et autres
Publié: (2024)

LibScan: Smart Contract Library Misuse Detection with Iterative Feedback and Static Verification
par: Wang, Yishun, et autres
Publié: (2026)

Guardians of the Ledger: Protecting Decentralized Exchanges from State Derailment Defects
par: Li, Zongwei, et autres
Publié: (2024)

SmartBugBert: BERT-Enhanced Vulnerability Detection for Smart Contract Bytecode
par: Bu, Jiuyang, et autres
Publié: (2025)

Enhancing Smart Contract Vulnerability Detection in DApps Leveraging Fine-Tuned LLM
par: Bu, Jiuyang, et autres
Publié: (2025)

AtomGraph: Tackling Atomicity Violation in Smart Contracts using Multimodal GCNs
par: Li, Xiaoqi, et autres
Publié: (2025)

Mapping the DeFi crime landscape: an evidence-based picture
par: Carpentier-Desjardins, Catherine, et autres
Publié: (2023)

FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols
par: Wen, Hongbo, et autres
Publié: (2024)

Beyond the Hype: A Large-Scale Empirical Analysis of On-Chain Transactions in NFT Scams
par: Li, Wenkai, et autres
Publié: (2025)

Bitcoin Smart Accounts: Trust-Minimized Native Bitcoin DeFi Infrastructure
par: Lalor, Cian, et autres
Publié: (2026)

Protecting DeFi Platforms against Non-Price Flash Loan Attacks
par: Alhaidari, Abdulrahman, et autres
Publié: (2025)

Modeling and Analysis of Crypto-Backed Over-Collateralized Stable Derivatives in DeFi
par: Feng, Zhenbang, et autres
Publié: (2024)

Paper Agents, Paper Gains: An Empirical Analysis of DeFi Investment Agents
par: Yu, Jay, et autres
Publié: (2026)

Defensible Design for OpenClaw: Securing Autonomous Tool-Invoking Agents
par: Li, Zongwei, et autres
Publié: (2026)

CKG-LLM: LLM-Assisted Detection of Smart Contract Access Control Vulnerabilities Based on Knowledge Graphs
par: Li, Xiaoqi, et autres
Publié: (2025)

IT Strategic alignment in the decentralized finance (DeFi): CBDC and digital currencies
par: Junior, Carlos Alberto Durigan, et autres
Publié: (2024)

Ormer: A Manipulation-resistant and Gas-efficient Blockchain Pricing Oracle for DeFi
par: Bai, Dongbin, et autres
Publié: (2024)

Decentralized Intelligence in GameFi: Embodied AI Agents and the Convergence of DeFi and Virtual Ecosystems
par: Jia, Fernando, et autres
Publié: (2024)

Malicious Code Detection in Smart Contracts via Opcode Vectorization
par: Zou, Huanhuan, et autres
Publié: (2025)

Scaling DeFi with ZK Rollups: Design, Deployment, and Evaluation of a Real-Time Proof-of-Concept
par: Gogol, Krzysztof, et autres
Publié: (2025)

LiquiLM: Bridging the Semantic Gap in Liquidity Flaw Audit via DCN and LLMs
par: Liu, Zekai, et autres
Publié: (2026)

NATLM: Detecting Defects in NFT Smart Contracts Leveraging LLM
par: Niu, Yuanzheng, et autres
Publié: (2025)

PEB Separation and State Migration: Unmasking the New Frontiers of DeFi AML Evasion
par: Cao, Yixin, et autres
Publié: (2026)