8 citations · 17 across the 9 of their papers we have counts for
11 papers
No More Translation at Runtime: LLM-Empowered Static Binary Translation
Zhibo Liu, Huaijin Wang, Wai Kin Wong +2
While AArch64 CPUs are becoming strong market contenders, their software ecosystem lags behind the mature x86-64 environment, hindering the adoption of the new architectures and im…
The Unseen Delta: Characterizing the Compiler Optimization Landscape via Top-Down Differential Analysis
Zhibo Liu, Huaijin Wang, Shuai Wang
Compiler optimizations are essential for achieving high performance in modern software. However, recent studies highlight the persistence of performance bugs, i.e., subtle defects…
Detecting and Understanding Vulnerabilities in Fully Homomorphic Encryption Frameworks
Yiteng Peng, Dongwei Xiao, Zhibo Liu +2
Fully homomorphic encryption (FHE) allows computations to be performed directly on encrypted data without decryption, offering strong privacy guarantees for sensitive data analysis…
Preserving Privacy in Software Composition Analysis: A Study of Technical Solutions and Enhancements
Huaijin Wang, Zhibo Liu, Yanbo Dai +4
Software composition analysis (SCA) denotes the process of identifying open-source software components in an input software application. SCA has been extensively developed and adop…
Refining Decompiled C Code with Large Language Models
Wai Kin Wong, Huaijin Wang, Zongjie Li +5
A C decompiler converts an executable into source code. The recovered C source code, once re-compiled, is expected to produce an executable with the same functionality as the origi…
Compiled Models, Built-In Exploits: Uncovering Pervasive Bit-Flip Attack Surfaces in DNN Executables
Yanzuo Chen, Zhibo Liu, Yuanyuan Yuan +3
Bit-flip attacks (BFAs) can manipulate deep neural networks (DNNs). For high-level DNN models running on deep learning (DL) frameworks like PyTorch, extensive BFAs have been used t…
PHYFU: Fuzzing Modern Physics Simulation Engines
Dongwei Xiao, Zhibo Liu, Shuai Wang
A physical simulation engine (PSE) is a software system that simulates physical environments and objects. Modern PSEs feature both forward and backward simulations, where the forwa…
Cache Refinement Type for Side-Channel Detection of Cryptographic Software
Ke Jiang, Yuyan Bao, Shuai Wang +2
Cache side-channel attacks exhibit severe threats to software security and privacy, especially for cryptosystems. In this paper, we propose CaType, a novel refinement type-based to…
Decompiling x86 Deep Neural Network Executables
Zhibo Liu, Yuanyuan Yuan, Shuai Wang +2
Due to their widespread use on heterogeneous hardware devices, deep learning (DL) models are compiled into executables by DL compilers to fully leverage low-level hardware primitiv…
CacheQL: Quantifying and Localizing Cache Side-Channel Vulnerabilities in Production Software
Yuanyuan Yuan, Zhibo Liu, Shuai Wang
Cache side-channel attacks extract secrets by examining how victim software accesses cache. To date, practical attacks on cryptosystems and media libraries are demonstrated under d…
CCTEST: Testing and Repairing Code Completion Systems
Zongjie Li, Chaozheng Wang, Zhibo Liu +4
Code completion, a highly valuable topic in the software development domain, has been increasingly promoted for use by recent advances in large language models (LLMs). To date, vis…