How far we have come: testing decompilation correctness of C decompilers. - Zhibo Liu 001; Shuai Wang 011 (ISSTA, 2020)

Cache Refinement Type for Side-Channel Detection of Cryptographic Software. - Ke Jiang 001; Yuyan Bao; Shuai Wang 011; Zhibo Liu 001; Tianwei Zhang 004 (CCS, 2022)

Metamorphic Testing of Deep Learning Compilers. - Dongwei Xiao; Zhibo Liu 001; Yuanyuan Yuan 001; Qi Pang; Shuai Wang 011 (SIGMETRICS (Abstracts), 2022)

SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications. - Zhibo Liu 001; Yuanyuan Yuan 001; Shuai Wang 011; Yuyan Bao (SP, 2022)

CCTEST: Testing and Repairing Code Completion Systems. - Zongjie Li; Chaozheng Wang; Zhibo Liu 001; Haoxuan Wang; Shuai Wang 011; Cuiyun Gao 001 (CoRR, 2022)

NeuralD: Detecting Indistinguishability Violations of Oblivious RAM With Neural Distinguishers. - Pingchuan Ma 004; Zhibo Liu 001; Yuanyuan Yuan 001; Shuai Wang 011 (IEEE Trans. Inf. Forensics Secur., 2022)

Detecting and Repairing Deviated Outputs of Compressed Models. - Yichen Li 001; Qi Pang; Dongwei Xiao; Zhibo Liu 001; Shuai Wang 011 (ACML, 2023)

CCTEST: Testing and Repairing Code Completion Systems. - Zongjie Li; Chaozheng Wang; Zhibo Liu 001; Haoxuan Wang; Dong Chen; Shuai Wang 011; Cuiyun Gao 001 (ICSE, 2023)

Metamorphic Shader Fusion for Testing Graphics Shader Compilers. - Dongwei Xiao; Zhibo Liu 001; Shuai Wang 011 (ICSE, 2023)

Exploring Missed Optimizations in WebAssembly Optimizers. - Zhibo Liu 001; Dongwei Xiao; Zongjie Li; Shuai Wang 011; Wei Meng 001 (ISSTA, 2023)

PhyFu: Fuzzing Modern Physics Simulation Engines. - Dongwei Xiao; Zhibo Liu 001; Shuai Wang 011 (ASE, 2023)

Decompiling x86 Deep Neural Network Executables. - Zhibo Liu 001; Yuanyuan Yuan 001; Shuai Wang 011; Xiaofei Xie; Lei Ma 003 (USENIX Security Symposium, 2023)

CacheQL: Quantifying and Localizing Cache Side-Channel Vulnerabilities in Production Software. - Yuanyuan Yuan 001; Zhibo Liu 001; Shuai Wang 011 (USENIX Security Symposium, 2023)

Unveiling Single-Bit-Flip Attacks on DNN Executables. - Yanzuo Chen; Zhibo Liu 001; Yuanyuan Yuan 001; Sihang Hu; Tianxiang Li; Shuai Wang 011 (CoRR, 2023)

Refining Decompiled C Code with Large Language Models. - Wai Kin Wong; Huaijin Wang 001; Zongjie Li; Zhibo Liu 001; Shuai Wang 011; Qiyi Tang 003; Sen Nie; Shi Wu (CoRR, 2023)

Enhancing DNN-Based Binary Code Function Search With Low-Cost Equivalence Checking. - Huaijin Wang 001; Pingchuan Ma 004; Yuanyuan Yuan 001; Zhibo Liu 001; Shuai Wang 011; Qiyi Tang 003; Sen Nie; Shi Wu (IEEE Trans. Software Eng., 2023)

DeepCache: Revisiting Cache Side-Channel Attacks in Deep Neural Networks Executables. - Zhibo Liu 001; Yuanyuan Yuan 001; Yanzuo Chen; Sihang Hu; Tianxiang Li; Shuai Wang 011 (CCS, 2024)

HyperTheft: Thieving Model Weights from TEE-Shielded Neural Networks via Ciphertext Side Channels. - Yuanyuan Yuan 001; Zhibo Liu 001; Sen Deng; Yanzuo Chen; Shuai Wang 011; Yinqian Zhang; Zhendong Su 001 (CCS, 2024)

Are We There Yet? Filling the Gap Between Binary Similarity Analysis and Binary Software Composition Analysis. - Huaijin Wang 001; Zhibo Liu 001; Shuai Wang 011; Ying Wang; Qiyi Tang 003; Sen Nie; Shi Wu (EuroS&P, 2024)

Metamorphic Testing of Secure Multi-party Computation (MPC) Compilers. - Yichen Li 004; Dongwei Xiao; Zhibo Liu 001; Qi Pang; Shuai Wang 011 (Proc. ACM Softw. Eng., 2024)

DTD: Comprehensive and Scalable Testing for Debuggers. - Hongyi Lu; Zhibo Liu 001; Shuai Wang 011; Fengwei Zhang (Proc. ACM Softw. Eng., 2024)

Evaluating C/C++ Vulnerability Detectability of Query-Based Static Application Security Testing Tools. - Zongjie Li; Zhibo Liu 001; Wai Kin Wong; Pingchuan Ma 004; Shuai Wang 011 (IEEE Trans. Dependable Secur. Comput., 2024)

An Empirical Study Measuring In-The-Wild Cryptographic Microarchitectural Side-Channel Patches. - Sen Deng; Zhibo Liu 001; Shuai Wang 011; Yinqian Zhang (CCS, 2025)

The Phantom Menace in Crypto-Based PET-Hardened Deep Learning Models: Invisible Configuration-Induced Attacks. - Yiteng Peng; Dongwei Xiao; Zhibo Liu 001; Zhenlan Ji; Daoyuan Wu; Shuai Wang 011; Juergen Rahmel (CCS, 2025)

Testing and Understanding Deviation Behaviors in FHE-Hardened Machine Learning Models. - Yiteng Peng; Daoyuan Wu; Zhibo Liu 001; Dongwei Xiao; Zhenlan Ji; Juergen Rahmel; Shuai Wang 011 (ICSE, 2025)

Preserving Privacy in Software Composition Analysis: A Study of Technical Solutions and Enhancements. - Huaijin Wang 001; Zhibo Liu 001; Yanbo Dai; Shuai Wang 011; Qiyi Tang 003; Sen Nie; Shi Wu (ICSE, 2025)

Compiled Models, Built-In Exploits: Uncovering Pervasive Bit-Flip Attack Surfaces in DNN Executables. - Yanzuo Chen; Zhibo Liu 001; Yuanyuan Yuan 001; Sihang Hu; Tianxiang Li; Shuai Wang 011 (NDSS, 2025)

BitShield: Defending Against Bit-Flip Attacks on DNN Executables. - Yanzuo Chen; Yuanyuan Yuan 001; Zhibo Liu 001; Sihang Hu; Tianxiang Li; Shuai Wang 011 (NDSS, 2025)

MTZK: Testing and Exploring Bugs in Zero-Knowledge (ZK) Compilers. - Dongwei Xiao; Zhibo Liu 001; Yiteng Peng; Shuai Wang 011 (NDSS, 2025)

CipherSteal: Stealing Input Data from TEE-Shielded Neural Networks with Ciphertext Side Channels. - Yuanyuan Yuan 001; Zhibo Liu 001; Sen Deng; Yanzuo Chen; Shuai Wang 011; Yinqian Zhang; Zhendong Su 001 (SP, 2025)

Divergence-Aware Testing of Graphics Shader Compiler Back-Ends. - Dongwei Xiao; Shuai Wang 011; Zhibo Liu 001; Yiteng Peng; Daoyuan Wu; Zhendong Su 001 (Proc. ACM Program. Lang., 2025)

DecLLM: LLM-Augmented Recompilable Decompilation for Enabling Programmatic Use of Decompiled Code. - Wai Kin Wong; Daoyuan Wu; Huaijin Wang 001; Zongjie Li; Zhibo Liu 001; Shuai Wang 011; Qiyi Tang 003; Sen Nie; Shi Wu (Proc. ACM Softw. Eng., 2025)

No More Translation at Runtime: LLM-Empowered Static Binary Translation. - Zhibo Liu 001; Huaijin Wang 001; Wai Kin Wong; Daoyuan Wu; Shuai Wang 011 (EuroSys, 2026)