Cover Image

Strengthening DeFi Security: A Static Analysis Approach to Flash Loan Vulnerabilities

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Wu, Ka Wai
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

DeFi composability as MEV non-interference
by: Bartoletti, Massimo, et al.
Published: (2023)

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

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

Blockchain-Based Secure Vehicle Auction System with Smart Contracts
by: Wu, Ka Wai
Published: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

SAGA: Detecting Security Vulnerabilities Using Static Aspect Analysis
by: Marquer, Yoann, et al.
Published: (2026)

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

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
by: Wang, Claire, et al.
Published: (2025)

Boosting Cybersecurity Vulnerability Scanning based on LLM-supported Static Application Security Testing
by: Keltek, Mete, et al.
Published: (2024)

Persistent Human Feedback, LLMs, and Static Analyzers for Secure Code Generation and Vulnerability Detection
by: Firouzi, Ehsan, et al.
Published: (2026)

Toward a Risk Assessment Framework for Institutional DeFi: A Nine-Dimension Approach
by: Oberholzer, Eva, et al.
Published: (2026)

IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
by: Li, Ziyang, et al.
Published: (2024)

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

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

Neuro-symbolic Static Analysis with LLM-generated Vulnerability Patterns
by: Li, Penghui, et al.
Published: (2025)

CrossInspector: A Static Analysis Approach for Cross-Contract Vulnerability Detection
by: Chen, Xiao
Published: (2024)

BinPool: A Dataset of Vulnerabilities for Binary Security Analysis
by: Arasteh, Sima, et al.
Published: (2025)

Obfuscating Code Vulnerabilities against Static Analysis in JavaScript Code
by: Pagano, Francesco, et al.
Published: (2026)

Static Detection of Filesystem Vulnerabilities in Android Systems
by: Lee, Yu-Tsung, et al.
Published: (2024)