@misc{indiciaec7c9162e1ea3,
  title = {Eunomia: Enabling User-specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries},
  author = {Ningyu He and Zhehao Zhao and Jikai Wang and Yubin Hu and Shengjian Guo and Haoyu Wang and Guangtai Liang and Ding Li and Xiangqun Chen and Yao Guo},
  year = {2023},
  url = {https://arxiv.org/abs/2304.07204},
  note = {Source identifier: 2304.07204}
}