5 papers
RAGas: Retrieval-Augmented Gas Optimization for Smart Contracts with Continuous Knowledge Integration
Yishun Wang, Wenjin Yi, Wenkai Li +2
Ethereum is now integral to mission-critical sectors, including finance, healthcare, and supply chain management. Execution fees, commonly referred to as Gas, scale with the comput…
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…
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…
Towards Understanding Deep Learning Model in Image Recognition via Coverage Test
Wenkai Li, Xiaoqi Li, Yingjie Mao +1
Deep neural networks (DNNs) play a crucial role in the field of artificial intelligence, and their security-related testing has been a prominent research focus. By inputting test c…
From Data Behavior to Code Analysis: A Multimodal Study on Security and Privacy Challenges in Blockchain-Based DApp
Haoyang Sun, Yishun Wang, Xiaoqi Li
The recent proliferation of blockchain-based decentralized applications (DApp) has catalyzed transformative advancements in distributed systems, with extensive deployments observed…