CacheQL: Quantifying and Localizing Cache Side-Channel Vulnerabilities in Production Software
Published in USENIX Security, 2023
Publications
Decompiling x86 Deep Neural Network Executables
Published in USENIX Security, 2023
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
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
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
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
Cache Refinement Type for Side-channel Detection of Cryptographic Software
Published in CCS, 2022
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