3 papers
cs.CR2026
From Transactions to Exploits: Automated PoC Synthesis for Real-World DeFi Attacks
Xing Su, Hao Wu, Hanzhong Liang +4
Blockchain systems are increasingly targeted by on-chain attacks that exploit contract vulnerabilities to extract value rapidly and stealthily, making systematic analysis and repro…
cs.CR2025
ConneX: Automatically Resolving Transaction Opacity of Cross-Chain Bridges for Security Analysis
Hanzhong Liang, Yue Duan, Xing Su +5
As the Web3 ecosystem evolves toward a multi-chain architecture, cross-chain bridges have become critical infrastructure for enabling interoperability between diverse blockchain ne…
cs.CR2025
Revealing Adversarial Smart Contracts through Semantic Interpretation and Uncertainty Estimation
Yating Liu, Xing Su, Hao Wu +4
Adversarial smart contracts, mostly on EVM-compatible chains like Ethereum and BSC, are deployed as EVM bytecode to exploit vulnerable smart contracts for financial gain. Detecting…