2 papers
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.SE2024
Automated Invariant Generation for Solidity Smart Contracts
Ye Liu, Chengxuan Zhang, Yi Li.
Smart contracts are computer programs running on blockchains to automate the transaction execution between users. The absence of contract specifications poses a real challenge to t…