1 citations · 2 across the 5 of their papers we have counts for
4 papers · 1 filter
A Hybrid Security Framework for Mini-Programs: Visual UI Compliance and Network Risk Assessment
Panpan Shen, Lei Xie, Xiaoqi Li
With the continuous development of the WeChat ecosystem, WeChat Mini Programs, due to their advantages of not requiring installation, using little memory, and being ready to use in…
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…