5 citations · 8 across the 24 of their papers we have counts for
4 papers · 1 filter
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,…
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…
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…
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…