Showing cs.CRShow all
2 papers · 1 filter
cs.CR2026
EventSpec: Defining and Detecting Event-Semantic Issues in Blockchain Ecosystems
Yixuan Liu, Yuxin Dong, Ye Liu +4
In recent years, smart contracts have become the backbone of decentralized applications (DApps), and off-chain systems such as bridges, wallets, and indexers rely heavily on event…
cs.CR2025
Phantom Events: Demystifying the Issues of Log Forgery in Blockchain
Yixuan Liu, Yuxin Dong, Ye Liu +2
With the rapid development of blockchain technology, transaction logs play a central role in various applications, including decentralized exchanges, wallets, cross-chain bridges,…