2 papers
cs.CR2025
Penetrating the Hostile: Detecting DeFi Protocol Exploits through Cross-Contract Analysis
Xiaoqi Li, Wenkai Li, Zhiquan Liu +2
Decentralized finance (DeFi) protocols are crypto projects developed on the blockchain to manage digital assets. Attacks on DeFi have been frequent and have resulted in losses exce…
cs.CR2025
Interaction-Aware Vulnerability Detection in Smart Contract Bytecodes
Wenkai Li, Xiaoqi Li, Yingjie Mao +1
The detection of vulnerabilities in smart contracts remains a significant challenge. While numerous tools are available for analyzing smart contracts in source code, only about 1.7…