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

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

collaborators

7 papers

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

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.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

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.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…