Zhibo Liu

Orcid: 0000-0002-7872-1129

Affiliations:
  • Nanjing University, School of Computer Science, State Key Laboratory of Novel Software Technology, Nanjing, China
  • Hong Kong University of Science and Technology (HKUST), Hong Kong


According to our database1, Zhibo Liu authored at least 33 papers between 2020 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
No More Translation at Runtime: LLM-Empowered Static Binary Translation.
Proceedings of the 21st European Conference on Computer Systems, 2026

2025
DecLLM: LLM-Augmented Recompilable Decompilation for Enabling Programmatic Use of Decompiled Code.
Proc. ACM Softw. Eng., 2025

Divergence-Aware Testing of Graphics Shader Compiler Back-Ends.
Proc. ACM Program. Lang., 2025

CipherSteal: Stealing Input Data from TEE-Shielded Neural Networks with Ciphertext Side Channels.
Proceedings of the IEEE Symposium on Security and Privacy, 2025

MTZK: Testing and Exploring Bugs in Zero-Knowledge (ZK) Compilers.
Proceedings of the 32nd Annual Network and Distributed System Security Symposium, 2025

BitShield: Defending Against Bit-Flip Attacks on DNN Executables.
Proceedings of the 32nd Annual Network and Distributed System Security Symposium, 2025

Compiled Models, Built-In Exploits: Uncovering Pervasive Bit-Flip Attack Surfaces in DNN Executables.
Proceedings of the 32nd Annual Network and Distributed System Security Symposium, 2025

Preserving Privacy in Software Composition Analysis: A Study of Technical Solutions and Enhancements.
Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

Testing and Understanding Deviation Behaviors in FHE-Hardened Machine Learning Models.
Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

The Phantom Menace in Crypto-Based PET-Hardened Deep Learning Models: Invisible Configuration-Induced Attacks.
Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2025

An Empirical Study Measuring In-The-Wild Cryptographic Microarchitectural Side-Channel Patches.
Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2025

2024
Evaluating C/C++ Vulnerability Detectability of Query-Based Static Application Security Testing Tools.
IEEE Trans. Dependable Secur. Comput., 2024

DTD: Comprehensive and Scalable Testing for Debuggers.
Proc. ACM Softw. Eng., 2024

Metamorphic Testing of Secure Multi-party Computation (MPC) Compilers.
Proc. ACM Softw. Eng., 2024

Are We There Yet? Filling the Gap Between Binary Similarity Analysis and Binary Software Composition Analysis.
Proceedings of the 9th IEEE European Symposium on Security and Privacy, 2024

HyperTheft: Thieving Model Weights from TEE-Shielded Neural Networks via Ciphertext Side Channels.
Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

DeepCache: Revisiting Cache Side-Channel Attacks in Deep Neural Networks Executables.
Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023
Enhancing DNN-Based Binary Code Function Search With Low-Cost Equivalence Checking.
IEEE Trans. Software Eng., 2023

Refining Decompiled C Code with Large Language Models.
CoRR, 2023

Unveiling Single-Bit-Flip Attacks on DNN Executables.
CoRR, 2023

CacheQL: Quantifying and Localizing Cache Side-Channel Vulnerabilities in Production Software.
Proceedings of the 32nd USENIX Security Symposium, 2023

Decompiling x86 Deep Neural Network Executables.
Proceedings of the 32nd USENIX Security Symposium, 2023

PhyFu: Fuzzing Modern Physics Simulation Engines.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Exploring Missed Optimizations in WebAssembly Optimizers.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Metamorphic Shader Fusion for Testing Graphics Shader Compilers.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

CCTEST: Testing and Repairing Code Completion Systems.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Detecting and Repairing Deviated Outputs of Compressed Models.
Proceedings of the Asian Conference on Machine Learning, 2023

2022
NeuralD: Detecting Indistinguishability Violations of Oblivious RAM With Neural Distinguishers.
IEEE Trans. Inf. Forensics Secur., 2022

CCTEST: Testing and Repairing Code Completion Systems.
CoRR, 2022

SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications.
Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

Metamorphic Testing of Deep Learning Compilers.
Proceedings of the SIGMETRICS/PERFORMANCE '22: ACM SIGMETRICS/IFIP PERFORMANCE Joint International Conference on Measurement and Modeling of Computer Systems, Mumbai, India, June 6, 2022

Cache Refinement Type for Side-Channel Detection of Cryptographic Software.
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2020
How far we have come: testing decompilation correctness of C decompilers.
Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020


  Loading...