Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025
WakeMint: Detecting Sleepminting Vulnerabilities in NFT Smart Contracts
Lei Xiao, Shuo Yang, Wen Chen +1
The non-fungible tokens (NFTs) market has evolved over the past decade, with NFTs serving as unique digital identifiers on a blockchain that certify ownership and authenticity. How…
cs.SE2024
Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution
Shuo Yang, Xingwei Lin, Jiachi Chen +5
The rapid advancement of blockchain platforms has significantly accelerated the growth of decentralized applications (DApps). Similar to traditional applications, DApps integrate f…