@misc{indiciae5c7d1c97493c,
  title = {Behavior Specification-Guided Program Synthesis for Binary Deobfuscation},
  author = {Kangchen Zhu and Shangwen Wang and Zhiliang Tian and Zhouyang Jia and Xiaoling Li and Jun Ma and Jie Yu and Xiaoguang Mao},
  year = {2026},
  url = {https://arxiv.org/abs/2608.20628},
  note = {Source identifier: 2608.20628}
}