1 citations · 1 across the 4 of their papers we have counts for
5 papers · 1 filter
Usability as a Weapon: Attacking the Safety of LLM-Based Code Generation via Usability Requirements
Yue Li, Xiao Li, Hao Wu +5
Large Language Models (LLMs) are increasingly used for automated software development, making their ability to preserve secure coding practices critical. In practice, however, many…
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…
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…
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…
If LLMs Would Just Look: Simple Line-by-line Checking Improves Vulnerability Localization
Yue Li, Xiao Li, Hao Wu +5
The rapid expansion of software systems and the growing number of reported vulnerabilities have emphasized the importance of accurately identifying vulnerable code segments. Tradit…