6 papers
Transferable Self-Evolving Playbooks for Agentic Security Auditing
Ziyue Wang, Cheuk Wang Maurice Ng, Chenchen Yu +3
An LLM agent for vulnerability discovery and validation is more than a model. It combines three components: an LLM for code analysis, an agent harness such as Codex or OpenCode for…
SCDBench: A Benchmark for LLM-Based Smart Contract Decompilers
Kaihua Qin, Dawn Song, Arthur Gervais
Smart contract decompilation aims to recover high-level source code from bytecode, but evaluating decompilers remains difficult because existing studies use narrow datasets, incons…
TxRay: Agentic Postmortem of Live Blockchain Attacks
Ziyue Wang, Jiangshan Yu, Kaihua Qin +3
Decentralized Finance (DeFi) has turned blockchains into financial infrastructure, allowing anyone to trade, lend, and build protocols without intermediaries, but this openness exp…
Decompiling Smart Contracts with a Large Language Model
Isaac David, Liyi Zhou, Dawn Song +2
The widespread lack of broad source code verification on blockchain explorers such as Etherscan, where despite 78,047,845 smart contracts deployed on Ethereum (as of May 26, 2025),…
Enhancing Smart Contract Security Analysis with Execution Property Graphs
Kaihua Qin, Zhe Ye, Zhun Wang +5
Smart contract vulnerabilities have led to significant financial losses, with their increasing complexity rendering outright prevention of hacks increasingly challenging. This tren…
Blockchain Amplification Attack
Taro Tsuchiya, Liyi Zhou, Kaihua Qin +2
Strategies related to the blockchain concept of Extractable Value (MEV/BEV), such as arbitrage, front-, or back-running create strong economic incentives for network nodes to reduc…