@misc{indiciae71dec57a93af,
  title = {WACANA: A Concolic Analyzer for Detecting On-chain Data Vulnerabilities in WASM Smart Contracts},
  author = {Wansen Wang and Caichang Tu and Zhaoyi Meng and Wenchao Huang and Yan Xiong},
  year = {2024},
  url = {https://arxiv.org/abs/2412.03946},
  note = {Source identifier: 2412.03946}
}