@misc{indiciaec1088dedabfe,
  title = {EventSpec: Defining and Detecting Event-Semantic Issues in Blockchain Ecosystems},
  author = {Yixuan Liu and Yuxin Dong and Ye Liu and Yin Wu and Chengxuan Zhang and Xiapu Luo and Yi Li},
  year = {2026},
  url = {https://arxiv.org/abs/2609.07865},
  note = {Source identifier: 2609.07865}
}