11 papers
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…
A Systematic Study of Code Obfuscation Against LLM-based Vulnerability Detection
Xiao Li, Yue Li, Hao Wu +4
As large language models (LLMs) are increasingly adopted for code vulnerability detection, their reliability and robustness across diverse vulnerability types have become a pressin…
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…
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…
LLM-based Human-like Traffic Simulation for Self-driving Tests
Wendi Li, Hao Wu, Han Gao +3
Ensuring realistic traffic dynamics is a prerequisite for simulation platforms to evaluate the reliability of self-driving systems before deployment in the real world. Because most…