An Effective and Cost-Efficient Agentic Framework for Ethereum Smart Contract Auditing
Fuente:
arXiv
Saved in:
| Main Authors: | Hu, Xiaohui, Chan, Wun Yu, Shi, Yuejie, Sun, Qumeng, Wang, Wei-Cheng, Wu, Chiachih, Wang, Haoyu, He, Ningyu |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Remeasuring the Arbitrage and Sandwich Attacks of Maximal Extractable Value in Ethereum
by: Chi, Tianyang, et al.
Published: (2024)
by: Chi, Tianyang, et al.
Published: (2024)
WalletProbe: A Testing Framework for Browser-based Cryptocurrency Wallet Extensions
by: Hu, Xiaohui, et al.
Published: (2025)
by: Hu, Xiaohui, et al.
Published: (2025)
LISA Technical Report: An Agentic Framework for Smart Contract Auditing
by: Sun, Izaiah, et al.
Published: (2025)
by: Sun, Izaiah, et al.
Published: (2025)
When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
by: Ma, Jie, et al.
Published: (2026)
by: Ma, Jie, et al.
Published: (2026)
Implementation Study of Cost-Effective Verification for Pietrzak's Verifiable Delay Function in Ethereum Smart Contracts
by: Lee, Suhyeon, et al.
Published: (2024)
by: Lee, Suhyeon, et al.
Published: (2024)
All Your Tokens are Belong to Us: Demystifying Address Verification Vulnerabilities in Solidity Smart Contracts
by: Sun, Tianle, et al.
Published: (2024)
by: Sun, Tianle, et al.
Published: (2024)
An Automated Analyzer for Financial Security of Ethereum Smart Contracts
by: Wang, Wansen, et al.
Published: (2022)
by: Wang, Wansen, et al.
Published: (2022)
FlexiContracts: A Novel and Efficient Scheme for Upgrading Smart Contracts in Ethereum Blockchain
by: Hossain, Tahrim, et al.
Published: (2025)
by: Hossain, Tahrim, et al.
Published: (2025)
Understanding and Characterizing Obfuscated Funds Transfers in Ethereum Smart Contracts
by: Sheng, Zhang, et al.
Published: (2025)
by: Sheng, Zhang, et al.
Published: (2025)
Following Devils' Footprint: Towards Real-time Detection of Price Manipulation Attacks
by: Zhang, Bosi, et al.
Published: (2025)
by: Zhang, Bosi, et al.
Published: (2025)
Security Analysis of Ponzi Schemes in Ethereum Smart Contracts
by: Zhang, Chunyi, et al.
Published: (2025)
by: Zhang, Chunyi, et al.
Published: (2025)
EthCluster: An Unsupervised Static Analysis Method for Ethereum Smart Contract
by: Huang, Hong-Sheng, et al.
Published: (2025)
by: Huang, Hong-Sheng, et al.
Published: (2025)
LLM-SmartAudit: Advanced Smart Contract Vulnerability Detection
by: Wei, Zhiyuan, et al.
Published: (2024)
by: Wei, Zhiyuan, et al.
Published: (2024)
Demystifying and Detecting Cryptographic Defects in Ethereum Smart Contracts
by: Zhang, Jiashuo, et al.
Published: (2024)
by: Zhang, Jiashuo, et al.
Published: (2024)
Dual-view Aware Smart Contract Vulnerability Detection for Ethereum
by: Yao, Jiacheng, et al.
Published: (2024)
by: Yao, Jiacheng, et al.
Published: (2024)
Adaptive Plan-Execute Framework for Smart Contract Security Auditing
by: Wei, Zhiyuan, et al.
Published: (2025)
by: Wei, Zhiyuan, et al.
Published: (2025)
On-Chain Analysis of Smart Contract Dependency Risks on Ethereum
by: Jin, Monica, et al.
Published: (2025)
by: Jin, Monica, et al.
Published: (2025)
OpDiffer: LLM-Assisted Opcode-Level Differential Testing of Ethereum Virtual Machine
by: Ma, Jie, et al.
Published: (2025)
by: Ma, Jie, et al.
Published: (2025)
Knowdit: Agentic Smart Contract Vulnerability Detection with Auditing Knowledge Summarization
by: Kong, Ziqiao, et al.
Published: (2026)
by: Kong, Ziqiao, et al.
Published: (2026)
PhishingHook: Catching Phishing Ethereum Smart Contracts leveraging EVM Opcodes
by: De Rosa, Pasquale, et al.
Published: (2025)
by: De Rosa, Pasquale, et al.
Published: (2025)
TaintSentinel: Path-Level Randomness Vulnerability Detection for Ethereum Smart Contracts
by: Rezaei, Hadis, et al.
Published: (2025)
by: Rezaei, Hadis, et al.
Published: (2025)
Large Language Model based Smart Contract Auditing with LLMBugScanner
by: Yuan, Yining, et al.
Published: (2025)
by: Yuan, Yining, et al.
Published: (2025)
DogeFuzz: A Simple Yet Efficient Grey-box Fuzzer for Ethereum Smart Contracts
by: Medeiros, Ismael, et al.
Published: (2024)
by: Medeiros, Ismael, et al.
Published: (2024)
Obfuscation as an Effective Signal for Prioritizing Cross-Chain Smart Contract Audits: Large-Scale Measurement and Risk Profiling
by: Zhao, Yao, et al.
Published: (2026)
by: Zhao, Yao, et al.
Published: (2026)
SPECA: Specification-to-Checklist Agentic Auditing for Multi-Implementation Systems -- A Case Study on Ethereum Clients
by: Kamba, Masato, et al.
Published: (2026)
by: Kamba, Masato, et al.
Published: (2026)
TraceLLM: Security Diagnosis Through Traces and Smart Contracts in Ethereum
by: Wang, Shuzheng, et al.
Published: (2025)
by: Wang, Shuzheng, et al.
Published: (2025)
Security Vulnerabilities in Ethereum Smart Contracts: A Systematic Analysis
by: Wu, Jixuan, et al.
Published: (2025)
by: Wu, Jixuan, et al.
Published: (2025)
Characterizing Ethereum Upgradable Smart Contracts and Their Security Implications
by: Li, Xiaofan, et al.
Published: (2024)
by: Li, Xiaofan, et al.
Published: (2024)
FTSmartAudit: A Knowledge Distillation-Enhanced Framework for Automated Smart Contract Auditing Using Fine-Tuned LLMs
by: Wei, Zhiyuan, et al.
Published: (2024)
by: Wei, Zhiyuan, et al.
Published: (2024)
A Risk-Stratified Benchmark Dataset for Bad Randomness (SWC-120) Vulnerabilities in Ethereum Smart Contracts
by: Rezaei, Hadis, et al.
Published: (2026)
by: Rezaei, Hadis, et al.
Published: (2026)
Security Analysis of Smart Contract Migration from Ethereum to Arbitrum
by: Tang, Xueyan, et al.
Published: (2023)
by: Tang, Xueyan, et al.
Published: (2023)
SC-Bench: A Large-Scale Dataset for Smart Contract Auditing
by: Xia, Shihao, et al.
Published: (2024)
by: Xia, Shihao, et al.
Published: (2024)
Proxion: Uncovering Hidden Proxy Smart Contracts for Finding Collision Vulnerabilities in Ethereum
by: Chen, Cheng-Kang, et al.
Published: (2024)
by: Chen, Cheng-Kang, et al.
Published: (2024)
Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts
by: Chahoki, Atefeh Zareh, et al.
Published: (2025)
by: Chahoki, Atefeh Zareh, et al.
Published: (2025)
SmartLLM: Smart Contract Auditing using Custom Generative AI
by: Kevin, Jun, et al.
Published: (2025)
by: Kevin, Jun, et al.
Published: (2025)
AuditGPT: Auditing Smart Contracts with ChatGPT
by: Xia, Shihao, et al.
Published: (2024)
by: Xia, Shihao, et al.
Published: (2024)
Vulnerability Detection in Ethereum Smart Contracts via Machine Learning: A Qualitative Analysis
by: Ressi, Dalila, et al.
Published: (2024)
by: Ressi, Dalila, et al.
Published: (2024)
Soley: Identification and Automated Detection of Logic Vulnerabilities in Ethereum Smart Contracts Using Large Language Models
by: Soud, Majd, et al.
Published: (2024)
by: Soud, Majd, et al.
Published: (2024)
The Dark Side of Upgrades: Uncovering Security Risks in Smart Contract Upgrades
by: Wang, Dingding, et al.
Published: (2025)
by: Wang, Dingding, et al.
Published: (2025)
Knowledge Migration Framework for Smart Contract Vulnerability Detection
by: Wang, Luqi, et al.
Published: (2024)
by: Wang, Luqi, et al.
Published: (2024)
Similar Items
-
Remeasuring the Arbitrage and Sandwich Attacks of Maximal Extractable Value in Ethereum
by: Chi, Tianyang, et al.
Published: (2024) -
WalletProbe: A Testing Framework for Browser-based Cryptocurrency Wallet Extensions
by: Hu, Xiaohui, et al.
Published: (2025) -
LISA Technical Report: An Agentic Framework for Smart Contract Auditing
by: Sun, Izaiah, et al.
Published: (2025) -
When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
by: Ma, Jie, et al.
Published: (2026) -
Implementation Study of Cost-Effective Verification for Pietrzak's Verifiable Delay Function in Ethereum Smart Contracts
by: Lee, Suhyeon, et al.
Published: (2024)