Sitemap

About me

About me

CV

Publications

Teaching & Service

How far we have come: testing decompilation correctness of C decompilers

Published in ISSTA, 2020

Recommended citation: Zhibo Liu and Shuai Wang. 2020. How far we have come: testing decompilation correctness of C decompilers. In Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020). Association for Computing Machinery, New York, NY, USA, 475–487. http://monkbai.github.io/files/issta-20.pdf

Cache Refinement Type for Side-channel Detection of Cryptographic Software

Published in CCS, 2022

SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications

Published in IEEE S&P, 2022

Recommended citation: Z. Liu, Y. Yuan, S. Wang and Y. Bao, "SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications," in 2022 IEEE Symposium on Security and Privacy (SP) (SP), San Francisco, CA, US, 2022 pp. 453-472. http://monkbai.github.io/files/sp-22.pdf

Metamorphic Testing of Deep Learning Compilers

Published in SIGMETRICS, 2022

Recommended citation: Dongwei Xiao, Zhibo LIU, Yuanyuan Yuan, Qi Pang, and Shuai Wang. 2022. Metamorphic Testing of Deep Learning Compilers. Proc. ACM Meas. Anal. Comput. Syst. 6, 1, Article 15 (March 2022), 28 pages. https://doi.org/10.1145/3508035; SIGMETRICS 2022. https://dl.acm.org/doi/abs/10.1145/3508035

NeuralD: Detecting Indistinguishability Violations of Oblivious RAM with Neural Distinguishers

Published in IEEE T-IFS, 2022

Recommended citation: Pingchuan Ma, Zhibo Liu, Yuanyuan Yuan, and Shuai Wang. (2022). "NeuralD: Detecting Indistinguishability Violations of Oblivious RAM with Neural Distinguishers." IEEE T-IFS 2022. https://ieeexplore.ieee.org/document/9722877

Enhancing DNN-Based Binary Code Function Search With Low-Cost Equivalence Checking

Published in IEEE TSE, 2022

Recommended citation: Huaijin Wang, Pingchuan Ma, Yuanyuan Yuan, Zhibo Liu, Shuai Wang, Qiyi Tang, Sen Nie, and Shi Wu. (2022). "Enhancing DNN-Based Binary Code Function Search With Low-Cost Equivalence Checking." IEEE TSE 2022. https://ieeexplore.ieee.org/document/9707874

Decompiling x86 Deep Neural Network Executables

Published in USENIX Security, 2023

CacheQL: Quantifying and Localizing Cache Side-Channel Vulnerabilities in Production Software

Published in USENIX Security, 2023

Professional Service

• USENIX Security’23 Artifact Evaluation Committee
• USENIX Security’23 External reviewer

Teaching Experience

Undergraduate course, HKUST, Department of CSE, 2020

• COMP 3632: Principles of Cybersecurity (Fall 2020) Teaching Assistant