4 papers
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…
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.…
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…
Security Vulnerabilities in Ethereum Smart Contracts: A Systematic Analysis
Jixuan Wu, Lei Xie, Xiaoqi Li
Smart contracts are a secure and trustworthy application that plays a vital role in decentralized applications in various fields such as insurance,the internet, and gaming. However…