@inproceedings{wen2027beak,
  author = {Wen, Hongbo and Ke, Jingyu and Liu, Hanzhi and Chen, Yanju and Feng, Yu},
  title = {Revealing Semantic Gaps in Zero-Knowledge Virtual Machines via Obligation-Targeted Semantic Fuzzing},
  booktitle = {Network and Distributed System Security (NDSS) Symposium 2027},
  year = {2027},
  isbn = {978-1-970672-09-1},
  publisher = {Internet Society},
  address = {Seoul, Republic of Korea},
  doi = {10.14722/ndss.2027.232037},
  url = {https://dx.doi.org/10.14722/ndss.2027.232037}
}