5 citations · 5 across the 7 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
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.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.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…