TY  - RPRT
TI  - Behavior Specification-Guided Program Synthesis for Binary Deobfuscation
AU  - Kangchen Zhu
AU  - Shangwen Wang
AU  - Zhiliang Tian
AU  - Zhouyang Jia
AU  - Xiaoling Li
AU  - Jun Ma
AU  - Jie Yu
AU  - Xiaoguang Mao
PY  - 2026
UR  - https://arxiv.org/abs/2608.20628
ID  - 2608.20628
ER  -