Fuzzing SGX Enclaves via Host Program Mutations. - Arslan Khan; Muqi Zou; Kyungtae Kim; Dongyan Xu; Antonio Bianchi; Dave Jing Tian (EuroS&P, 2023)

D-Helix: A Generic Decompiler Testing Framework Using Symbolic Differentiation. - Muqi Zou; Arslan Khan; Ruoyu Wu; Han Gao; Antonio Bianchi; Dave (Jing) Tian (USENIX Security Symposium, 2024)

D-LiFT: Improving LLM-based Decompiler Backend via Code Quality-driven Fine-tuning. - Muqi Zou; Hongyu Cai; Hongwei Wu; Zion Leonahenahe Basque; Arslan Khan; Z. Berkay Celik; Dave Tian; Antonio Bianchi; Ruoyu Wang; Dongyan Xu (CoRR, 2025)