activity
20242026
most citedStateGuard: Detecting State Derailment Defects in Decentralized Exchange Smart Contract

5 citations · 8 across the 24 of their papers we have counts for

collaborators

25 papers

cs.AI2026

RAGas: Retrieval-Augmented Gas Optimization for Smart Contracts with Continuous Knowledge Integration

Yishun Wang, Wenjin Yi, Wenkai Li +2

Ethereum is now integral to mission-critical sectors, including finance, healthcare, and supply chain management. Execution fees, commonly referred to as Gas, scale with the comput…

cs.CR2026

NFTDELTA: Detecting Permission Control Vulnerabilities in NFT Contracts through Multi-View Learning

Hailu Kuang, Xiaoqi Li, Wenkai Li +1

Permission control vulnerabilities in Non-fungible token (NFT) contracts can result in significant financial losses, as attackers may exploit these weaknesses to gain unauthorized…

cs.CR2026

PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement

Xiaoqi Li, Xin Wang, Wenkai Li +1

With the rapid advancement of decentralized applications, smart contract security faces severe challenges, particularly regarding atomicity violations in complex logic such as Orac…

cs.CR2026

LiquiLM: Bridging the Semantic Gap in Liquidity Flaw Audit via DCN and LLMs

Zekai Liu, Xiaoqi Li, Wenkai Li +1

Traditional consensus mechanisms, such as Proof of Stake (PoS), increasingly reveal an excessive dependency on large liquidity providers. Although the Proof of Liquidity (PoL) mech…

cs.SE2026

SCPatcher: Automated Smart Contract Code Repair via Retrieval-Augmented Generation and Knowledge Graph

Xiaoqi Li, Shipeng Ye, Wenkai Li +1

Smart contract vulnerabilities can cause substantial financial losses due to the immutability of code after deployment. While existing tools detect vulnerabilities, they cannot eff…

cs.SE2026

LibScan: Smart Contract Library Misuse Detection with Iterative Feedback and Static Verification

Yishun Wang, Wenkai Li, Xiaoqi Li +3

Smart contracts are self-executing programs that manage financial transactions on blockchain networks. Developers commonly rely on third-party code libraries to improve both effici…

cs.CR2026

Defensible Design for OpenClaw: Securing Autonomous Tool-Invoking Agents

Zongwei Li, Wenkai Li, Xiaoqi Li

OpenClaw-like agents offer substantial productivity benefits, yet they are insecure by default because they combine untrusted inputs, autonomous action, extensibility, and privileg…

cs.CR2026

No More Hidden Pitfalls? Exposing Smart Contract Bad Practices with LLM-Powered Hybrid Analysis

Xiaoqi Li, Zongwei Li, Wenkai Li +2

As the Ethereum platform continues to mature and gain widespread usage, it is crucial to maintain high standards of smart contract writing practices. While bad practices in smart c…

cs.CR2026

AtomGraph: Tackling Atomicity Violation in Smart Contracts using Multimodal GCNs

Xiaoqi Li, Zongwei Li, Wenkai Li +2

Smart contracts are a core component of blockchain technology and are widely deployed across various scenarios. However, atomicity violations have become a potential security risk.…

cs.CR2026

USCSA: Evolution-Aware Security Analysis for Proxy-Based Upgradeable Smart Contracts

Xiaoqi Li, Lei Xie, Wenkai Li +1

In the case of upgrading smart contracts on blockchain systems, it is essential to consider the continuity of upgrades and subsequent maintenance. In practice, upgrade operations o…

cs.CR2025

ScamSweeper: Detecting Illegal Accounts in Web3 Scams via Transactions Analysis

Xiaoqi Li, Wenkai Li, Zhijie Liu +6

The web3 applications have recently been growing, especially on the Ethereum platform, starting to become the target of scammers. The web3 scams, imitating the services provided by…

cs.CR2025

CKG-LLM: LLM-Assisted Detection of Smart Contract Access Control Vulnerabilities Based on Knowledge Graphs

Xiaoqi Li, Hailu Kuang, Wenkai Li +2

Traditional approaches for smart contract analysis often rely on intermediate representations such as abstract syntax trees, control-flow graphs, or static single assignment form.…

cs.CR2025

Beyond the Hype: A Large-Scale Empirical Analysis of On-Chain Transactions in NFT Scams

Wenkai Li, Zongwei Li, Xiaoqi Li +3

Non-fungible tokens (NFTs) serve as a representative form of digital asset ownership and have attracted numerous investors, creators, and tech enthusiasts in recent years. However,…

cs.CY2025

Construction of Urban Greenland Resources Collaborative Management Platform

Dongyang Lyu, Xiaoqi Li, Zongwei Li

Nowadays, environmental protection has become a global consensus. At the same time, with the rapid development of science and technology, urbanisation has become a phenomenon that…

cs.CR2025

When Blockchain Meets Crawlers: Real-time Market Analytics in Solana NFT Markets

Chengxin Shen, Zhongwen Li, Xiaoqi Li +1

In this paper, we design and implement a web crawler system based on the Solana blockchain for the automated collection and analysis of market data for popular non-fungible tokens…

cs.CR2025★ 1 cited

Comparative Analysis of Blockchain Systems

Jiaqi Huang, Yuanzheng Niu, Xiaoqi Li +1

Blockchain is a type of decentralized distributed database. Unlike traditional relational database management systems, it does not require management or maintenance by a third part…

cs.NI2025

Hybrid Wi-Fi/PDR Indoor Localization with Fingerprint Matching

Chunyi Zhang, Zongwei Li, Xiaoqi Li

Indoor position technology has become one of the research highlights in the Internet of Things (IoT), but there is still a lack of universal, low-cost, and high-precision solutions…

cs.CR2025

Malicious Code Detection in Smart Contracts via Opcode Vectorization

Huanhuan Zou, Zongwei Li, Xiaoqi Li

With the booming development of blockchain technology, smart contracts have been widely used in finance, supply chain, Internet of things and other fields in recent years. However,…

cs.CR2025

Enhancing Smart Contract Vulnerability Detection in DApps Leveraging Fine-Tuned LLM

Jiuyang Bu, Wenkai Li, Zongwei Li +2

Decentralized applications (DApps) face significant security risks due to vulnerabilities in smart contracts, with traditional detection methods struggling to address emerging and…

cs.CR2025★ 1 cited

SmartBugBert: BERT-Enhanced Vulnerability Detection for Smart Contract Bytecode

Jiuyang Bu, Wenkai Li, Zongwei Li +2

Smart contracts deployed on blockchain platforms are vulnerable to various security vulnerabilities. However, only a small number of Ethereum contracts have released their source c…

cs.CL2025

SCALM: Detecting Bad Practices in Smart Contracts Through LLMs

Zongwei Li, Xiaoqi Li, Wenkai Li +1

As the Ethereum platform continues to mature and gain widespread usage, it is crucial to maintain high standards of smart contract writing practices. While bad practices in smart c…

cs.SE2024

Guardians of the Ledger: Protecting Decentralized Exchanges from State Derailment Defects

Zongwei Li, Wenkai Li, Xiaoqi Li +1

The decentralized exchange (DEX) leverages smart contracts to trade digital assets for users on the blockchain. Developers usually develop several smart contracts into one project,…

cs.CR2024

DeFiTail: DeFi Protocol Inspection through Cross-Contract Execution Analysis

Wenkai Li, Xiaoqi Li, Yuqing Zhang +1

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.SE2024★ 5 cited

StateGuard: Detecting State Derailment Defects in Decentralized Exchange Smart Contract

Zongwei Li, Wenkai Li, Xiaoqi Li +1

Decentralized Exchanges (DEXs), leveraging blockchain technology and smart contracts, have emerged in decentralized finance. However, the DEX project with multi-contract interactio…