Cover Image

Enhancing Smart Contract Security Analysis with Execution Property Graphs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Qin, Kaihua, Ye, Zhe, Wang, Zhun, Li, Weilin, Zhou, Liyi, Zhang, Chao, Song, Dawn, Gervais, Arthur
Format:	Preprint
Published:	2023
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Decompiling Smart Contracts with a Large Language Model
by: David, Isaac, et al.
Published: (2025)

SCDBench: A Benchmark for LLM-Based Smart Contract Decompilers
by: Qin, Kaihua, et al.
Published: (2026)

AI Agent Smart Contract Exploit Generation
by: Gervais, Arthur, et al.
Published: (2025)

The Blockchain Imitation Game
by: Qin, Kaihua, et al.
Published: (2023)

TxRay: Agentic Postmortem of Live Blockchain Attacks
by: Wang, Ziyue, et al.
Published: (2026)

Blockchain Amplification Attack
by: Tsuchiya, Taro, et al.
Published: (2024)

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

Specular: Towards Secure, Trust-minimized Optimistic Blockchain Execution
by: Ye, Zhe, et al.
Published: (2022)

Adaptive Plan-Execute Framework for Smart Contract Security Auditing
by: Wei, Zhiyuan, et al.
Published: (2025)

Alignment Contracts for Agentic Security Systems
by: David, Isaac, et al.
Published: (2026)

Security Analysis of Ponzi Schemes in Ethereum Smart Contracts
by: Zhang, Chunyi, et al.
Published: (2025)

Insecurity Through Obscurity: Veiled Vulnerabilities in Closed-Source Contracts
by: Yang, Sen, et al.
Published: (2025)

CrossLink: A Decentralized Framework for Secure Cross-Chain Smart Contract Execution
by: Hossain, Tahrim, et al.
Published: (2025)

Measuring Safety Alignment Effects in Autonomous Security Agents
by: David, Isaac, et al.
Published: (2026)

MPC-EVM: Enabling MPC Execution by Smart Contracts In An Asynchronous Manner
by: Zhou, Yichen, et al.
Published: (2025)

Ablating Safety: Mechanisms for Removing Alignment in Language Models for Security Applications
by: David, Isaac, et al.
Published: (2026)

Securing LLM Agents Need Intent-to-Execution Integrity
by: Qu, Wenjie, et al.
Published: (2026)

MoveScanner: Analysis of Security Risks of Move Smart Contracts
by: Luo, Yuhe, et al.
Published: (2025)

Smart Contract Security Beyond Detection
by: Abdelaziz, Tamer
Published: (2026)

SmartPoC: Generating Executable and Validated PoCs for Smart Contract Bug Reports
by: Chen, Longfei, et al.
Published: (2025)

LLM-SmartAudit: Advanced Smart Contract Vulnerability Detection
by: Wei, Zhiyuan, et al.
Published: (2024)

Architectural Design for Secure Smart Contract Development
by: Lewis, Myles, et al.
Published: (2024)

USCSA: Evolution-Aware Security Analysis for Proxy-Based Upgradeable Smart Contracts
by: Li, Xiaoqi, et al.
Published: (2025)

The Dark Side of Upgrades: Uncovering Security Risks in Smart Contract Upgrades
by: Wang, Dingding, et al.
Published: (2025)

An Automated Analyzer for Financial Security of Ethereum Smart Contracts
by: Wang, Wansen, et al.
Published: (2022)

Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities
by: Nassirzadeh, Behkish, et al.
Published: (2021)

SmartBugBert: BERT-Enhanced Vulnerability Detection for Smart Contract Bytecode
by: Bu, Jiuyang, et al.
Published: (2025)

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

Demystifying Invariant Effectiveness for Securing Smart Contracts
by: Chen, Zhiyang, et al.
Published: (2024)

SseRex: Practical Symbolic Execution of Solana Smart Contracts
by: Cloosters, Tobias, et al.
Published: (2026)

Progent: Securing AI Agents with Privilege Control
by: Shi, Tianneng, et al.
Published: (2025)

A Framework for Formalizing LLM Agent Security
by: Siu, Vincent, et al.
Published: (2026)

Exposing Hidden Backdoors in NFT Smart Contracts: A Static Security Analysis of Rug Pull Patterns
by: Pathade, Chetan, et al.
Published: (2025)

Re-Evaluating EVMBench: Are AI Agents Ready for Smart Contract Security?
by: Peng, Chaoyuan, et al.
Published: (2026)

Security Vulnerabilities in Ethereum Smart Contracts: A Systematic Analysis
by: Wu, Jixuan, et al.
Published: (2025)

Patch2Vuln: Agentic Reconstruction of Vulnerabilities from Linux Distribution Binary Patches
by: David, Isaac, et al.
Published: (2026)

Multi-Agent Penetration Testing AI for the Web
by: David, Isaac, et al.
Published: (2025)

CKG-LLM: LLM-Assisted Detection of Smart Contract Access Control Vulnerabilities Based on Knowledge Graphs
by: Li, Xiaoqi, et al.
Published: (2025)

BitMLx: Secure Cross-chain Smart Contracts For Bitcoin-style Cryptocurrencies
by: Badaloni, Federico, et al.
Published: (2025)

Bridging Immutability with Flexibility: A Scheme for Secure and Efficient Smart Contract Upgrades
by: Hossain, Tahrim, et al.
Published: (2025)