Showing cs.SEShow all
2 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.SE2025
From Fomo3D to Lottery DAPP: Analysis of Ethereum-Based Gambling Applications
Xu Long, Yishun Wang, Xiaoqi Li
As blockchain technology advances, Ethereum based gambling decentralized applications (DApps) represent a new paradigm in online gambling. This paper examines the concepts, princip…