5 papers
Towards Understanding Deep Learning Model in Image Recognition via Coverage Test
Wenkai Li, Xiaoqi Li, Yingjie Mao +1
Deep neural networks (DNNs) play a crucial role in the field of artificial intelligence, and their security-related testing has been a prominent research focus. By inputting test c…
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…
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…
An Empirical Analysis of EOS Blockchain: Architecture, Contract, and Security
Haiyang Liu, Yingjie Mao, Xiaoqi Li
With the rapid development of blockchain technology, various blockchain systems are exhibiting vitality and potential. As a representative of Blockchain 3.0, the EOS blockchain has…
SCLA: Automated Smart Contract Summarization via LLMs and Control Flow Prompt
Xiaoqi Li, Yingjie Mao, Zexin Lu +2
Smart contract code summarization is crucial for efficient maintenance and vulnerability mitigation. While many studies use Large Language Models (LLMs) for summarization, their pe…