| How far we have come: testing decompilation correctness of C decompilers Z Liu, S Wang Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020 | 67 | 2020 |
| Cctest: Testing and repairing code completion systems Z Li, C Wang, Z Liu, H Wang, D Chen, S Wang, C Gao 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 62 | 2023 |
| Metamorphic Testing of Deep Learning Compilers D Xiao, Z Liu, Y Yuan, Q Pang, S Wang Proceedings of the ACM on Measurement and Analysis of Computing Systems 6 (1 …, 2022 | 54 | 2022 |
| Sok: demystifying binary lifters through the lens of downstream applications Z Liu, Y Yuan, S Wang, Y Bao 2022 IEEE Symposium on Security and Privacy (SP), 1100-1119, 2022 | 26 | 2022 |
| Exploring Missed Optimizations in WebAssembly Optimizers Z Liu, D Xiao, Z Li, S Wang, W Meng Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023 | 20 | 2023 |
| Refining Decompiled C Code with Large Language Models WK Wong, H Wang, Z Li, Z Liu, S Wang, Q Tang, S Nie, S Wu arXiv preprint arXiv:2310.06530, 2023 | 17 | 2023 |
| CacheQL: Quantifying and Localizing Cache Side-Channel Vulnerabilities in Production Software Y Yuan, Z Liu, S Wang 32nd USENIX Security Symposium (USENIX Security 23), 2023 | 17 | 2023 |
| Cctest: Testing and repairing code completion systems. In 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) Z Li, C Wang, Z Liu, H Wang, D Chen, S Wang, C Gao IEEE, 2023 | 16 | 2023 |
| Decompiling x86 deep neural network executables Z Liu, Y Yuan, S Wang, X Xie, L Ma 32nd USENIX Security Symposium (USENIX Security 23), 7357-7374, 2023 | 14 | 2023 |
| Enhancing DNN-Based Binary Code Function Search With Low-Cost Equivalence Checking H Wang, P Ma, Y Yuan, Z Liu, S Wang, Q Tang, S Nie, S Wu IEEE Transactions on Software Engineering 49 (1), 226-250, 2022 | 14 | 2022 |
| Cache Refinement Type for Side-Channel Detection of Cryptographic Software K Jiang, Y Bao, S Wang, Z Liu, T Zhang Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022 | 9 | 2022 |
| Evaluating C/C++ Vulnerability Detectability of Query-Based Static Application Security Testing Tools Z Li, Z Liu, WK Wong, P Ma, S Wang IEEE Transactions on Dependable and Secure Computing, 2024 | 6 | 2024 |
| Metamorphic Shader Fusion for Testing Graphics Shader Compilers D Xiao, Z Liu, S Wang 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 5 | 2023 |
| NeuralD: Detecting Indistinguishability Violations of Oblivious RAM With Neural Distinguishers P Ma, Z Liu, Y Yuan, S Wang IEEE Transactions on Information Forensics and Security 17, 982-997, 2022 | 3 | 2022 |
| HyperTheft: Thieving Model Weights from TEE-Shielded Neural Networks via Ciphertext Side Channels Y Yuan, Z Liu, S Deng, Y Chen, S Wang, Y Zhang, Z Su Proceedings of the 2024 on ACM SIGSAC Conference on Computer and …, 2024 | 2 | 2024 |
| Metamorphic Testing of Secure Multi-party Computation (MPC) Compilers Y Li, D Xiao, Z Liu, Q Pang, S Wang Proceedings of the ACM on Software Engineering 1 (FSE), 1216-1237, 2024 | 2 | 2024 |
| Unveiling Signle-Bit-Flip Attacks on DNN Executables Y Chen, Z Liu, Y Yuan, S Hu, T Li, S Wang arXiv preprint arXiv:2309.06223, 2023 | 2 | 2023 |
| Deepcache: Revisiting cache side-channel attacks in deep neural networks executables Z Liu, Y Yuan, Y Chen, S Hu, T Li, S Wang Proceedings of the 2024 on ACM SIGSAC Conference on Computer and …, 2024 | 1 | 2024 |
| CipherSteal: Stealing Input Data from TEE-Shielded Neural Networks with Ciphertext Side Channels Y Yuan, Z Liu, S Deng, Y Chen, S Wang, Y Zhang, Z Su 2025 IEEE Symposium on Security and Privacy (SP), 79-79, 2024 | 1 | 2024 |
| DTD: Comprehensive and Scalable Testing for Debuggers H Lu, Z Liu, S Wang, F Zhang Proceedings of the ACM on Software Engineering 1 (FSE), 1172-1193, 2024 | 1 | 2024 |
Shuai WangThe Hong Kong University of Science and TechnologyПідтверджена електронна адреса в cse.ust.hk
