Showing cs.CRShow all
3 papers · 1 filter
cs.CR2026
PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement
Xiaoqi Li, Xin Wang, Wenkai Li +1
With the rapid advancement of decentralized applications, smart contract security faces severe challenges, particularly regarding atomicity violations in complex logic such as Orac…
cs.CR2026
No More Hidden Pitfalls? Exposing Smart Contract Bad Practices with LLM-Powered Hybrid Analysis
Xiaoqi Li, Zongwei Li, Wenkai Li +2
As the Ethereum platform continues to mature and gain widespread usage, it is crucial to maintain high standards of smart contract writing practices. While bad practices in smart c…
cs.CR2025
AI-Based Vulnerability Analysis of NFT Smart Contracts
Xin Wang, Xiaoqi Li
With the rapid growth of the NFT market, the security of smart contracts has become crucial. However, existing AI-based detection models for NFT contract vulnerabilities remain lim…