Buchumschlag

FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Wen, Hongbo, Liu, Hanzhi, Song, Jiaxin, Chen, Yanju, Guo, Wenbo, Feng, Yu
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Cryptography and Security Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Synthesizing Multi-Agent Harnesses for Vulnerability Discovery
von: Liu, Hanzhi, et al.
Veröffentlicht: (2026)

Your Agent Is Mine: Measuring Malicious Intermediary Attacks on the LLM Supply Chain
von: Liu, Hanzhi, et al.
Veröffentlicht: (2026)

Protecting DeFi Platforms against Non-Price Flash Loan Attacks
von: Alhaidari, Abdulrahman, et al.
Veröffentlicht: (2025)

No Attack Required: Semantic Fuzzing for Specification Violations in Agent Skills
von: Li, Ying, et al.
Veröffentlicht: (2026)

DeFiTail: DeFi Protocol Inspection through Cross-Contract Execution Analysis
von: Li, Wenkai, et al.
Veröffentlicht: (2024)

Strengthening DeFi Security: A Static Analysis Approach to Flash Loan Vulnerabilities
von: Wu, Ka Wai
Veröffentlicht: (2024)

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

Penetrating the Hostile: Detecting DeFi Protocol Exploits through Cross-Contract Analysis
von: Li, Xiaoqi, et al.
Veröffentlicht: (2025)

DeFi composability as MEV non-interference
von: Bartoletti, Massimo, et al.
Veröffentlicht: (2023)

From Transactions to Exploits: Automated PoC Synthesis for Real-World DeFi Attacks
von: Su, Xing, et al.
Veröffentlicht: (2026)

Semia: Auditing Agent Skills via Constraint-Guided Representation Synthesis
von: Wen, Hongbo, et al.
Veröffentlicht: (2026)

A theory of Lending Protocols in DeFi
von: Bartoletti, Massimo, et al.
Veröffentlicht: (2025)

Ormer: A Manipulation-resistant and Gas-efficient Blockchain Pricing Oracle for DeFi
von: Bai, Dongbin, et al.
Veröffentlicht: (2024)

DeFiGuard: A Price Manipulation Detection Service in DeFi using Graph Neural Networks
von: Wang, Dabao, et al.
Veröffentlicht: (2024)

SoK: Decentralized Finance (DeFi) -- Fundamentals, Taxonomy and Risks
von: Gogol, Krzysztof, et al.
Veröffentlicht: (2024)

On-Chain Decentralized Learning and Cost-Effective Inference for DeFi Attack Mitigation
von: Alhaidari, Abdulrahman, et al.
Veröffentlicht: (2025)

LLM-Powered Detection of Price Manipulation in DeFi
von: Liu, Lu, et al.
Veröffentlicht: (2025)

Modeling and Analysis of Crypto-Backed Over-Collateralized Stable Derivatives in DeFi
von: Feng, Zhenbang, et al.
Veröffentlicht: (2024)

GenDetect: Generalizing Reactive Detection for Resilience Against Imitative DeFi Attack Cascade
von: Cai, Bowen, et al.
Veröffentlicht: (2026)

Bitcoin Smart Accounts: Trust-Minimized Native Bitcoin DeFi Infrastructure
von: Lalor, Cian, et al.
Veröffentlicht: (2026)

Paper Agents, Paper Gains: An Empirical Analysis of DeFi Investment Agents
von: Yu, Jay, et al.
Veröffentlicht: (2026)

Detecting Various DeFi Price Manipulations with LLM Reasoning
von: Zhong, Juantao, et al.
Veröffentlicht: (2025)

Enforcing Control Flow Integrity on DeFi Smart Contracts
von: Chen, Zhiyang, et al.
Veröffentlicht: (2025)

Mapping the DeFi crime landscape: an evidence-based picture
von: Carpentier-Desjardins, Catherine, et al.
Veröffentlicht: (2023)

EvoPoC: Automated Exploit Synthesis for DeFi Smart Contracts via Hierarchical Knowledge Graphs
von: Liang, Ruichao, et al.
Veröffentlicht: (2026)

Understanding Blockchain Governance: Analyzing Decentralized Voting to Amend DeFi Smart Contracts
von: Messias, Johnnatan, et al.
Veröffentlicht: (2023)

LookAhead: Preventing DeFi Attacks via Unveiling Adversarial Contracts
von: Ren, Shoupeng, et al.
Veröffentlicht: (2024)

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

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

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

Temporal Logic-Based Multi-Vehicle Backdoor Attacks against Offline RL Agents in End-to-end Autonomous Driving
von: Chen, Xuan, et al.
Veröffentlicht: (2025)

PEB Separation and State Migration: Unmasking the New Frontiers of DeFi AML Evasion
von: Cao, Yixin, et al.
Veröffentlicht: (2026)

Exploiting Cross-Layer Vulnerabilities: Off-Path Attacks on the TCP/IP Protocol Suite
von: Feng, Xuewei, et al.
Veröffentlicht: (2024)

Backdoor Attacks against Hybrid Classical-Quantum Neural Networks
von: Guo, Ji, et al.
Veröffentlicht: (2024)

Stealthy Targeted Backdoor Attacks against Image Captioning
von: Fan, Wenshu, et al.
Veröffentlicht: (2024)

Towards Effective Prompt Stealing Attack against Text-to-Image Diffusion Models
von: Zhao, Shiqian, et al.
Veröffentlicht: (2025)

Security Analysis of WiFi-based Sensing Systems: Threats from Perturbation Attacks
von: Cao, Hangcheng, et al.
Veröffentlicht: (2024)

Interoperability Effects: Extending DeFi Lending Risk Models to Multi-Chain Environments
von: Sevim, Hasret Ozan
Veröffentlicht: (2026)

DeFi TrustBoost: Blockchain and AI for Trustworthy Decentralized Financial Decisions
von: Sachan, Swati, et al.
Veröffentlicht: (2025)

Adversarial Attack Based Countermeasures against Deep Learning Side-Channel Attacks
von: Gu, Ruizhe, et al.
Veröffentlicht: (2020)