3 papers
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
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…