1 citations · 1 across the 3 of their papers we have counts for
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★ 1 cited
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.SE2022
Automation Slicing and Testing for in-App Deep Learning Models
Hao Wu, Yuhang Gong, Xiaopeng Ke +5
Intelligent Apps (iApps), equipped with in-App deep learning (DL) models, are emerging to offer stable DL inference services. However, App marketplaces have trouble auto testing iA…