Faculty Profiles - WANG Shuai | The Hong Kong University of Science and Technology

Shuai WANG
王帥

PhD in Information Sciences and Technology
Pennsylvania State University, 2018

Associate Professor
Department of Computer Science and Engineering

ORCID

0000-0002-0866-0308

Scopus ID

57190181124

Research Interest

Computer security
Cybersecurity
Software engineering
Testing and debugging
Reverse engineering

Publications

2024 11

Evaluating C/C++ Vulnerability Detectability of Query-Based Static Application Security Testing Tools

IEEE Transactions on Dependable and Secure Computing, January 2024, article number 10400834, p. 1-18
Li, Zongjie; Liu, Zhibo; Wong, Wai Kin; Ma, Pingchuan; Wang, Shuai
Article

PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis

Proceedings of the ACM on Programming Languages, v. 8, (OOPSLA1), April 2024, article number 139, p. 1264-1293
Wang, Zhaoyu; Ma, Pingchuan; Wang, Huaijin; Wang, Shuai
Article

Provably Valid and Diverse Mutations of Real-World Media Data for DNN Testing

IEEE Transactions on Software Engineering, v. 50, (5), May 2024, article number 10462634, p. 1040-1064
Yuan, Yuanyuan; Pang, Qi; Wang, Shuai
Article

BinAug: Enhancing Binary Similarity Analysis with Low-Cost Input Repairing

ICSE '24: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering / Association for Computing Machinery. New York, NY : Association for Computing Machinery, 2024, p. 1-13, article number 7
Wong, Wai Kin; Wang, Huaijin; Li, Zongjie; Wang, Shuai
Conference paper

Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning

ICSE '24: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering / Association for Computing Machinery. New York, NY : Association for Computing Machinery, 2024, p. 1-13, article number 30
Ma, Pingchuan; Ji, Zhenlan; Yao, Peisen; Wang, Shuai
Conference paper

On Extracting Specialized Code Abilities from Large Language Models: A Feasibility Study

Proceedings - International Conference on Software Engineering / IEEE Computer Society. Piscataway, NJ : IEEE Computer Society, 2024, p. 893-905
Li, Zongjie; Wang, Chaozheng; Ma, Pingchuan; Liu, Chaowei; Wang, Shuai; Wu, Daoyuan; Gao, Cuiyun; Liu, Yang
Conference paper

Poster Abstract: On the Accuracy and Robustness of Large Language Models in Chinese Industrial Scenarios

Proceedings - 23rd ACM/IEEE International Conference on Information Processing in Sensor Networks, IPSN 2024 / Institute of Electrical and Electronics Engineers Inc.. New York, USA : Institute of Electrical and Electronics Engineers Inc., 2024, p. 283-284, Article number 10577317
Li, Zongjie; Qiu, Wenying; Ma, Pingchuan; Li, Yichen; Li, You; He, Sijia; Jiang, Baozheng; Wang, Shuai; Gu, Weixi
Conference paper

Scalable Differentiable Causal Discovery in the Presence of Latent Confounders with Skeleton Posterior

30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, KDD 2024, August 2024, p. 2148-2159
Ma, Pingchuan; Ding, Rui; Fu, Qiang; Zhang, Jiaru; Wang, Shuai; Han, Shi; Zhang, Dongmei
Conference paper

See the Forest, not Trees: Unveiling and Escaping the Pitfalls of Error-Triggering Inputs in Neural Network Testing

33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024, September 2024, p. 1605-1617
Yuan, Yuanyuan; Wang, Shuai; Su, Zhendong
Conference paper

Strengthening Supply Chain Security with Fine-Grained Safe Patch Identification

Proceedings - International Conference on Software Engineering, v. 89, April 2024, p. 1084-1095
Luo, Changhua; Meng, Wei; Wang, Shuai
Conference paper

Testing Graph Database Systems via Graph-Aware Metamorphic Relations

Proceedings of the VLDB Endowment, v. 17, (4), December 2023, p. 836-848
Zhuang, Zeyang; Li, Penghui; Meng, Wei; Ma, Pingchuan; Wang, Shuai
Conference paper

2023 29

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

IEEE Transactions on Software Engineering, v. 49, (1), 1 January 2023, article number 9707874, p. 226-250
Wang, Huaijin; Ma, Pingchuan; Yuan, Yuanyuan; Liu, Zhibo; Wang, Shuai; Tang, Qiyi; Nie, Sen; Wu, Shi
Article

sem2vec: Semantics-aware Assembly Tracelet Embedding

ACM Transactions on Software Engineering and Methodology, v. 32, (4), July 2023, article number 90, p. 1-34
Wang, Huaijin; Ma, Pingchuan; Wang, Shuai; Tang, Qiyi; Nie, Sen; Wu, Shi
Article

ADI: Adversarial Dominating Inputs in Vertical Federated Learning Systems

Pang, Qi; Yuan, Yuanyuan; Wang, Shuai; Zheng, Wenting
Conference paper

Beyond "Protected" and "Private": An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts

ISSTA 2023 - Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, July 2023, p. 1157-1168
Fang, Yuzhou; Wu, Daoyuan; Yi, Xiao; Wang, Shuai; Chen, Yufan; Chen, Mengjie; Liu, Yang; Jiang, Lingxiao
Conference paper

Byzantine-Robust Federated Learning with Optimal Statistical Rates

Proceedings of Machine Learning Research, v. 206, 2023, p. 3151-3178
Zhu, Banghua; Wang, Lun; Pang, Qi; Wang, Shuai; Jiao, Jiantao; Song, Dawn; Jordan, Michael I.
Conference paper

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

32nd USENIX Security Symposium, USENIX Security 2023, v. 3, 2023, p. 2009-2026
Yuan, Yuanyuan; Liu, Zhibo; Wang, Shuai
Conference paper

Causality-Aided Trade-Off Analysis for Machine Learning Fairness

Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, November 2023, article number 10298485, p. 371-383
Ji, Zhenlan; Ma, Pingchuan; Wang, Shuai; Li, Yanhui
Conference paper

CC: Causality-Aware Coverage Criterion for Deep Neural Networks

Proceedings - International Conference on Software Engineering, May 2023, article number 10172609, p. 1788-1800
Ji, Zhenlan; Ma, Pingchuan; Yuan, Yuanyuan; Wang, Shuai
Conference paper

CCTEST: Testing and Repairing Code Completion Systems

Proceedings - International Conference on Software Engineering, July 2023, article number 10172845, p. 1238-1250
Li, Zongjie; Wang, Chaozheng; Liu, Zhibo; Wang, Haoxuan; Chen, Dong; Wang, Shuai; Gao, Cuiyun
Conference paper

Decompiling x86 Deep Neural Network Executables

SEC '23: Proceedings of the 32nd USENIX Conference on Security Symposium, v. 10, August 2023, article number 412, p. 7357-7374
Liu, Zhibo; Yuan, Yuanyuan; Wang, Shuai; Xie, Xiaofei; Ma, Lei
Conference paper

Detecting and Repairing Deviated Outputs of Compressed Models

Proceedings of the 15th Asian Conference on Machine Learning, 222, November 2023, p. 707-722
Li, Yichen; Pang, Qi; Xiao, Dongwei; Liu, Zhibo; Wang, Shuai
Conference paper

Explain Any Concept: Segment Anything Meets Concept-Based Explanation

Advances in Neural Information Processing Systems, v. 36, December 2023
Sun, Ao; Ma, Pingchuan; Yuan, Yuanyuan; Wang, Shuai
Conference paper

Exploring Missed Optimizations in WebAssembly Optimizers

ISSTA 2023 - Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, July 2023, p. 436-448
Liu, Zhibo; Xiao, Dongwei; Li, Zongjie; Wang, Shuai; Meng, Wei
Conference paper

InsightPilot: An LLM-Empowered Automated Data Exploration System.

Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing: System Demonstrations / edited by Yansong Feng, Els Lefever. Singapore : Association for Computational Linguistics, 2023, p. 346-352
Ma, Pingchuan; Ding, Rui; Wang, Shuai; Shi, Han; Zhang, Dongmei
Conference paper

IPHERH: automated detection of ciphertext side-channel vulnerabilities in cryptographic implementations

SEC '23: Proceedings of the 32nd USENIX Conference on Security Symposium, v. 10, August 2023, p. 6843-6860
Deng, Sen; Li, Mengyuan; Tang, Yining; Wang, Shuai; Yan, Shoumeng; Zhang, Yinqian
Conference paper

Metamorphic Shader Fusion for Testing Graphics Shader Compilers

Proceedings - International Conference on Software Engineering, May 2023, article number 10172737, p. 2400-2412
Xiao, Dongwei; Liu, Zhibo; Wang, Shuai
Conference paper

No Free Lunch: On the Increased Code Reuse Attack Surface of Obfuscated Programs

Proceedings - 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023, June 2023, article number 10202627, p. 313-326
Zhang, Naiqian; Alden, Daroc; Xu, Dongpeng; Wang, Shuai; Jaeger, Trent; Ruml, Wheeler
Conference paper

OBSan: An Out-Of-Bound Sanitizer to Harden DNN Executables

30th Annual Network and Distributed System Security Symposium, NDSS 2023, March 2023
Chen, Yanzuo; Yuan, Yuanyuan; Wang, Shuai
Conference paper

Perfce: Performance Debugging on Databases with Chaos Engineering-Enhanced Causality Analysis

Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, November 2023, article number 10298374, p. 1454-1466
Ji, Zhenlan; Ma, Pingchuan; Wang, Shuai
Conference paper

PhyFu: Fuzzing Modern Physics Simulation Engines

Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, November 2023, article number 10298312, p. 1579-1591
Xiao, Dongwei; Liu, Zhibo; Wang, Shuai
Conference paper

Precise and Generalized Robustness Certification for Neural Networks

32nd USENIX Security Symposium, USENIX Security 2023, v. 7, August 2023, p. 4769-4786
Yuan, Yuanyuan; Wang, Shuai; Su, Zhendong
Conference paper

Protecting Intellectual Property of Large Language Model-Based Code Generation APIs via Watermarks

CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security / Association for Computing Machinery. New York, NY : Association for Computing Machinery, 2023, p. 2336-2350
Li, Zongjie; Wang, Chaozheng; Wang, Shuai; Gao, Cuiyun
Conference paper

REEF: A Framework for Collecting Real-World Vulnerabilities and Fixes

Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, November 2023, article number 10298352, p. 1952-1962
Wang, Chaozheng; Li, Zongjie; Pena, Yun; Gao, Shuzheng; Chen, Sirong; Wang, Shuai; Gao, Cuiyun; Lyu, Michael R.
Conference paper

Revisiting Neuron Coverage for DNN Testing: A Layer-Wise and Distribution-Aware Criterion

Proceedings - International Conference on Software Engineering, May 2023, article number 10172683, p. 1200-1212
Yuan, Yuanyuan; Pang, Qi; Wang, Shuai
Conference paper

RingGuard: Guard io_uring with eBPF

eBPF 2023 - Proceedings of the ACM SIGCOMM 2023 Workshop on eBPF and Kernel Extensions, September 2023, p. 56-62
He, Wanning; Lu, Hongyi; Zhang, Fengwei; Wang, Shuai
Conference paper

RLTrace: Synthesizing High-Quality System Call Traces for OS Fuzz Testing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 14411, December 2023, p. 99-118
Chen, Wei; Wang, Huaijin; Gu, Weixi; Wang, Shuai
Conference paper

Secure Federated Correlation Test and Entropy Estimation

Proceedings of Machine Learning Research, v. 202, July 2023, p. 26990-27010
Pang, Qi; Wang, Lun; Wang, Shuai; Zheng, Wenting; Song, Dawn
Conference paper

Towards Practical Federated Causal Structure Learning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 14170 LNAI, September 2023, p. 351-367
Wang, Zhaoyu; Ma, Pingchuan; Wang, Shuai
Conference paper

Unveiling Hidden DNN Defects with Decision-Based Metamorphic Testing

37th IEEE/ACM International Conference on Automated Software Engineering (ASE), ACM. New York, USA : / ACM, 2023, p. 1-13, Article number 113
Yuan, Yuanyuan; Pang, Qi; Wang, Shuai
Conference paper

2022 18

Generating Effective Software Obfuscation Sequences with Reinforcement Learning

IEEE Transactions on Dependable and Secure Computing, v. 19, (3), May-June 2022, article number 9275317, p. 1900-1917
Wang, Huaijin; Wang, Shuai; Xu, Dongpeng; Zhang, Xiangyu; Liu, Xiao
Article

Metamorphic Testing of Deep Learning Compilers

Proceedings of the ACM on Measurement and Analysis of Computing Systems, v. 6, (1), March 2022, article number 15
Xiao, Dongwei; Liu, Zhibo; Yuan, Yuanyuan; Pang, Qi; Wang, Shuai
Article

NeuralD: Detecting Indistinguishability Violations of Oblivious RAM with Neural Distinguishers

IEEE Transactions on Information Forensics and Security, v. 17, 28 February 2022, article number 9722877, p. 982-997
Ma, Pingchuan; Liu, Zhibo; Yuan, Yuanyuan; Wang, Shuai
Article

NoLeaks: Differentially Private Causal Discovery under Functional Causal Model

IEEE Transactions on Information Forensics and Security, v. 17, June 2022, article number 9798874, p. 2324-2338
Ma, Pingchuan; Ji, Zhenlan; Pang, Qi; Wang, Shuai
Article

On the effectiveness of testing sentiment analysis systems with metamorphic testing

Information and Software Technology, v. 150, October 2022, article number 106966
Jiang, Mingyue; Chen, Tsong Yueh; Wang, Shuai
Article

RansomSOC: A More Effective Security Operations Center to Detect and Respond to Ransomware Attacks

Journal of Internet Services and Information Security, v. 12, (3), August 2022, p. 63-75
Lai, Cheuk Tung; Ke, Ping Fan; Chan, Kelvin; Yiu, Siu Ming; Kim, Dongsun; Wong, Wai Kin; Wang, Shuai; Muppala, Kumaraswamy Ramachandra J; Ho, Alan
Article

Automated Side Channel Analysis of Media Software with Manifold Learning

Proceedings of the 31st USENIX Security Symposium, 2022, p. 4419-4436
Yuan, Yuanyuan; Pang, Qi; Wang, Shuai
Conference paper

Backdoor Investigation and Incident Response: From Zero to Profit

Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, v. 441 LNICST, June 2022, p. 229-247
Lai, Cheuk Tung; Wong, Wai Kin; Wong, Johnny Tsz Wun; Lau, Austin Tsz Wai; Ho, Alan Po Lun; Wang, Shuai; Muppala, Kumaraswamy Ramachandra J
Conference paper

Cache Refinement Type for Side-Channel Detection of Cryptographic Software

Proceedings of the ACM Conference on Computer and Communications Security, v. 2022, November 2022, p. 1583-1597
Jiang, Ke; Bao, Yuyan; Wang, Shuai; Liu, Zhibo; Zhang, Tianwei
Conference paper

Deceiving Deep Neural Networks-Based Binary Code Matching with Adversarial Programs

Proceedings - 2022 IEEE International Conference on Software Maintenance and Evolution, ICSME 2022 / IEEE. Piscataway, NJ : IEEE, 2022, p. 117-128
Wong, Wai Kin; Wang, Huaijin; Ma, Pingchuan; Wang, Shuai; Jiang, Mingyue; Chen, Tsong Yueh; Tang, Qiyi; Nie, Sen; Wu, Shi
Conference paper

FED-X²: Privacy Preserving Federated Correlation Test

Wang, Lun; Pang, Qi; Wang, Shuai; Song, Dawn
Conference paper

MDPFuzz: Testing Models Solving Markov Decision Processes

ISSTA 2022 - Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis / Association for Computing Machinery. New York, NY, USA : Association for Computing Machinery, 2022, p. 378-390
Pang, Qi; Yuan, Yuanyuan; Wang, Shuai
Conference paper

Metamorphic Testing of Deep Learning Compilers

SIGMETRICS/PERFORMANCE 2022 - Abstract Proceedings of the 2022 ACM SIGMETRICS/IFIP PERFORMANCE Joint International Conference on Measurement and Modeling of Computer Systems / Association for Computing Machinery. New York, United States : Association for Computing Machinery, 2022, p. 65-66
Xiao, Dongwei; Liu, Zhibo; Yuan, Yuanyuan; Pang, Qi; Wang, Shuai
Conference paper

ML4S: Learning Causal Skeleton from Vicinal Graphs

Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining / Association for Computing Machinery. New York, NY, USA : Association for Computing Machinery, 2022, p. 1213-1223
Ma, Pingchuan; Ding, Rui; Dai, Haoyue; Jiang, Yuanyuan; Wang, Shuai; Han, Shi; Zhang, Dongmei
Conference paper

SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications

Proceedings - IEEE Symposium on Security and Privacy, v. 2022-May, 2022, article number 9833799, p. 1100-1119
Liu, Zhibo; Yuan, Yuanyuan; Wang, Shuai; Bao, Yuyan
Conference paper

Torpedo: A Fuzzing Framework for Discovering Adversarial Container Workloads

Proceedings - 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2022, July 2022, article number 9833603, p. 402-414
McDonough, Kenton; Gao, Xing; Wang, Shuai; Wang, Haining
Conference paper

Unlearnable Examples: Protecting Open-Source Software from Unauthorized Neural Code Learning

Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE, 2022, p. 525-530
Ji, Zhenlan; Ma, Pingchuan; Wang, Shuai
Conference paper

Unleashing the Power of Compiler Intermediate Representation to Enhance Neural Program Embeddings

Proceedings - International Conference on Software Engineering, v. 2022-May, May 2022, p. 2253-2265
Li, Zongjie; Ma, Pingchuan; Wang, Huaijin; Wang, Shuai; Tang, Qiyi; Nie, Sen; Wu, Shi
Conference paper

2021 4

MT-TEQL: Evaluating and Augmenting Neural NLIDB on Real-world Linguistic and Schema Variations

Proceedings of the VLDB Endowment, v. 15, (3), November 2021, p. 569-582
Ma, Pingchuan; Wang, Shuai
Conference paper

Perception Matters: Detecting Perception Failures of VQA Models Using Metamorphic Testing

Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition / IEEE. Piscataway, NJ : IEEE, 2021, p. 16903-16912
Yuan, Yuanyuan; Wang, Shuai; Jiang, Mingyue; Chen, Tsong Yueh
Conference paper

Private Image Reconstruction from System Side Channels using Generative Models

Yuan, Yuanyuan; Wang, Shuai; Zhang, Junping
Conference paper

SanRazor: Reducing Redundant Sanitizer Checks in C/C++ Programs

Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2021, 2021, p. 479-494
Zhang, Jiang; Wang, Shuai; Rigger, Manuel; He, Pingjia; Su, Zhendong
Conference paper

2020 4

How Far We Have Come: Testing Decompilation Correctness of C Decompilers.

ISSTA 2020 - Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, July 2020, p. 475-487
Liu, Zhibo; Wang, Shuai
Conference paper

Metamorphic Object Insertion for Testing Object Detection Systems

Proceedings - 2020 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, ACM. New York, NY, USA : ACM, 2020, p. 1053-1065, Article no.: 9286114
Wang, Shuai; Su, Zhendong
Conference paper

Metamorphic Testing and Certified Mitigation of Fairness Violations in NLP Models

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, v. 2021-January, January 2021, p. 458-465
Ma, Pingchuan; Wang, Shuai; Liu, Jin
Conference paper

Quantitative Assessment on the Limitations of Code Randomization for Legacy Binaries

Proceedings - 5th IEEE European Symposium on Security and Privacy, Euro S and P 2020 / IEEE. New York, NY, USA : IEEE, 2020, p. 1-16, Article no.: 9230354
Wang, Pei; Zhang, Jinquan; Wang, Shuai; Wu, Dinghao
Conference paper

2019 3

Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts

Proceedings of the ACM on Programming Languages, v. 3, OOPSLA, October 2019, article number A189
Wang, Shuai; Zhang, Chengyu; Su, Zhendong
Article

Automatic Grading of Programming Assignments: A Formal Semantics Based Approach

Proceedings 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training ICSE-SEET 2019, 25-31 May 2019, Montreal, Canada / IEEE. Piscataway, New Jersey : IEEE, 2019, p. 126-137, Article number 8802114
Liu, Xiao; Wang, Shuai; Wang, Pei; Wu, Dinghao
Conference paper

Identifying cache-based side channels through secret-augmented abstract interpretation

Proceedings of the 28th USENIX Security Symposium, 2019, p. 657-674
Wang, Shuai; Bao, Yuyan; Liu, Xiao; Wang, Pei; Zhang, Danfeng; Wu, Dinghao
Conference paper

2018 5

Large-scale Third-party Library Detection in Android Markets

IEEE Transactions on Software Engineering, 1 October 2018
Li, Menghao; Wang, Pei; Wang, Wei; Wang, Shuai; Wu, Dinghao; Liu, Jian; Xue, Rui
Article

Lambda obfuscation

Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, v. 238, 2018, p. 206-224
Lan, Pengwei; Wang, Pei; Wang, Shuai; Wu, Dinghao
Conference paper

RedDroid: Android Application Redundancy Customization Based on Static Analysis

International Symposium on Software Reliability Engineering, ISSRE, v. 2018-October, 16 November 2018, article number 8539081, p. 189-199
Jiang, Yufei; Bao, Qinkun; Wang, Shuai; Liu, Xiao; Wu, Dinghao
Conference paper

Software protection on the go: a large-scale empirical study on mobile app obfuscation

Proceedings of the 40th International Conference on Software Engineering (ICSE'18) / IEEE. New York : ACM, 2018, p. 26-36
Wang, Pei; Bao, Qinkun; Wang, Li; Wang, Shuai; Chen, Zhaofeng; Wei, Tai; Wu, Dinghao
Conference paper

Turing obfuscation

Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, v. 238, 2018, p. 225-244
Wang, Yan; Wang, Shuai; Wang, Pei; Wu, Dinghao
Conference paper

2017 6

Binary code retrofiting and hardening using SGX

Proceedings of the 2017 Workshop on Forming an Ecosystem Around Software Transformation, FEAST'17 / ACM SIGSAC. New York : ACM SIGSAC, 2017, p. 43-49
Wang, Shuai; Wang, Wenhao; Bao, Qinkun; Wang, Pei; Wang, Xiao Feng; Wu, Dinghao
Conference paper

CacheD: Identifying Cache-Based Timing Channels in Production Software

Wang, Shuai; Wang, Pei; Liu, Xiao; Zhang, Danfeng; Wu, Dinghao
Conference paper

Composite software diversification

Proceedings - 2017 IEEE International Conference on Software Maintenance and Evolution, ICSME 2017 / IEEE. New York : IEEE, 2017, p. 284-294, Article number 8094429; Category numberE6239; Code 132283
Wang, Shuai; Wang, Pei; Wu, Dinghao
Conference paper

In-memory fuzzing for binary code similarity analysis

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017 / IEEE. New York : ACM, 2017, p. 319-330
Wang, Shuai; Wu, Dinghao
Conference paper

LibD: Scalable and precise third-party library detection in android markets

Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering, ICSE 2017 / IEEE. New York : ACM, 2017, p. 335-346, Article number 7985674
Li, Menghao; Wang, Wei; Wang, Pei; Wang, Shuai; Wu, Dinghao; Liu, Jian; Xue, Rui; Huo, Wei
Conference paper

Semantics-aware machine learning for function recognition in binary code

Proceedings - 2017 IEEE International Conference on Software Maintenance and Evolution, ICSME 2017 / IEEE. New York : IEEE, 2017, p. 388-398, Article number 8094438
Wang, Shuai; Wang, Pei; Wu, Dinghao
Conference paper

2016 3

From Physical to Cyber: Escalating Protection for Personalized Auto Insurance

SenSys '16: Proceedings of the 14th ACM Conference on Embedded Network Sensor Systems CD-ROM / ACM. New York, United States : ACM, 2016, p. 42-55
Guan, Le; Xu, Jun; Wang, Shuai; Xing, Xinyu; Lin, Lin; Huang, Heqing; Liu, Peng; Lee, Wenke
Conference paper

Translingual Obfuscation

Proceedings - 2016 IEEE European Symposium on Security and Privacy, EURO S and P 2016 / IEEE. New York : IEEE, 2016, p. 128-144, Article number 7467351
Wang, Pei; Wang, Shuai; Ming, Jiang; Jiang, Yufei; Wu, Dinghao
Conference paper

UROBOROS: Instrumenting Stripped Binaries with Static Reassembling

2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2016, v. 1, May 2016, article number 7476646, p. 236-247
Wang, Shuai; Wang, Pei; Wu, Dinghao
Conference paper

2015 1

Reassembleable Disassembling

Wang, Shuai; Wang, Pei; Wu, Dinghao
Conference paper

Article 3

Evaluating C/C++ Vulnerability Detectability of Query-Based Static Application Security Testing Tools

IEEE Transactions on Dependable and Secure Computing, January 2024, article number 10400834, p. 1-18
Li, Zongjie; Liu, Zhibo; Wong, Wai Kin; Ma, Pingchuan; Wang, Shuai

PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis

Proceedings of the ACM on Programming Languages, v. 8, (OOPSLA1), April 2024, article number 139, p. 1264-1293
Wang, Zhaoyu; Ma, Pingchuan; Wang, Huaijin; Wang, Shuai

Provably Valid and Diverse Mutations of Real-World Media Data for DNN Testing

IEEE Transactions on Software Engineering, v. 50, (5), May 2024, article number 10462634, p. 1040-1064
Yuan, Yuanyuan; Pang, Qi; Wang, Shuai

Conference paper 8

BinAug: Enhancing Binary Similarity Analysis with Low-Cost Input Repairing

ICSE '24: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering / Association for Computing Machinery. New York, NY : Association for Computing Machinery, 2024, p. 1-13, article number 7
Wong, Wai Kin; Wang, Huaijin; Li, Zongjie; Wang, Shuai

Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning

ICSE '24: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering / Association for Computing Machinery. New York, NY : Association for Computing Machinery, 2024, p. 1-13, article number 30
Ma, Pingchuan; Ji, Zhenlan; Yao, Peisen; Wang, Shuai

On Extracting Specialized Code Abilities from Large Language Models: A Feasibility Study

Proceedings - International Conference on Software Engineering / IEEE Computer Society. Piscataway, NJ : IEEE Computer Society, 2024, p. 893-905
Li, Zongjie; Wang, Chaozheng; Ma, Pingchuan; Liu, Chaowei; Wang, Shuai; Wu, Daoyuan; Gao, Cuiyun; Liu, Yang

Poster Abstract: On the Accuracy and Robustness of Large Language Models in Chinese Industrial Scenarios

Proceedings - 23rd ACM/IEEE International Conference on Information Processing in Sensor Networks, IPSN 2024 / Institute of Electrical and Electronics Engineers Inc.. New York, USA : Institute of Electrical and Electronics Engineers Inc., 2024, p. 283-284, Article number 10577317
Li, Zongjie; Qiu, Wenying; Ma, Pingchuan; Li, Yichen; Li, You; He, Sijia; Jiang, Baozheng; Wang, Shuai; Gu, Weixi

Scalable Differentiable Causal Discovery in the Presence of Latent Confounders with Skeleton Posterior

30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, KDD 2024, August 2024, p. 2148-2159
Ma, Pingchuan; Ding, Rui; Fu, Qiang; Zhang, Jiaru; Wang, Shuai; Han, Shi; Zhang, Dongmei

See the Forest, not Trees: Unveiling and Escaping the Pitfalls of Error-Triggering Inputs in Neural Network Testing

33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024, September 2024, p. 1605-1617
Yuan, Yuanyuan; Wang, Shuai; Su, Zhendong

Strengthening Supply Chain Security with Fine-Grained Safe Patch Identification

Proceedings - International Conference on Software Engineering, v. 89, April 2024, p. 1084-1095
Luo, Changhua; Meng, Wei; Wang, Shuai

Testing Graph Database Systems via Graph-Aware Metamorphic Relations

Proceedings of the VLDB Endowment, v. 17, (4), December 2023, p. 836-848
Zhuang, Zeyang; Li, Penghui; Meng, Wei; Ma, Pingchuan; Wang, Shuai

Article 2

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

IEEE Transactions on Software Engineering, v. 49, (1), 1 January 2023, article number 9707874, p. 226-250
Wang, Huaijin; Ma, Pingchuan; Yuan, Yuanyuan; Liu, Zhibo; Wang, Shuai; Tang, Qiyi; Nie, Sen; Wu, Shi

sem2vec: Semantics-aware Assembly Tracelet Embedding

ACM Transactions on Software Engineering and Methodology, v. 32, (4), July 2023, article number 90, p. 1-34
Wang, Huaijin; Ma, Pingchuan; Wang, Shuai; Tang, Qiyi; Nie, Sen; Wu, Shi

Conference paper 27

ADI: Adversarial Dominating Inputs in Vertical Federated Learning Systems

Pang, Qi; Yuan, Yuanyuan; Wang, Shuai; Zheng, Wenting

Beyond "Protected" and "Private": An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts

ISSTA 2023 - Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, July 2023, p. 1157-1168
Fang, Yuzhou; Wu, Daoyuan; Yi, Xiao; Wang, Shuai; Chen, Yufan; Chen, Mengjie; Liu, Yang; Jiang, Lingxiao

Byzantine-Robust Federated Learning with Optimal Statistical Rates

Proceedings of Machine Learning Research, v. 206, 2023, p. 3151-3178
Zhu, Banghua; Wang, Lun; Pang, Qi; Wang, Shuai; Jiao, Jiantao; Song, Dawn; Jordan, Michael I.

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

32nd USENIX Security Symposium, USENIX Security 2023, v. 3, 2023, p. 2009-2026
Yuan, Yuanyuan; Liu, Zhibo; Wang, Shuai

Causality-Aided Trade-Off Analysis for Machine Learning Fairness

Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, November 2023, article number 10298485, p. 371-383
Ji, Zhenlan; Ma, Pingchuan; Wang, Shuai; Li, Yanhui

CC: Causality-Aware Coverage Criterion for Deep Neural Networks

Proceedings - International Conference on Software Engineering, May 2023, article number 10172609, p. 1788-1800
Ji, Zhenlan; Ma, Pingchuan; Yuan, Yuanyuan; Wang, Shuai

CCTEST: Testing and Repairing Code Completion Systems

Proceedings - International Conference on Software Engineering, July 2023, article number 10172845, p. 1238-1250
Li, Zongjie; Wang, Chaozheng; Liu, Zhibo; Wang, Haoxuan; Chen, Dong; Wang, Shuai; Gao, Cuiyun

Decompiling x86 Deep Neural Network Executables

SEC '23: Proceedings of the 32nd USENIX Conference on Security Symposium, v. 10, August 2023, article number 412, p. 7357-7374
Liu, Zhibo; Yuan, Yuanyuan; Wang, Shuai; Xie, Xiaofei; Ma, Lei

Detecting and Repairing Deviated Outputs of Compressed Models

Proceedings of the 15th Asian Conference on Machine Learning, 222, November 2023, p. 707-722
Li, Yichen; Pang, Qi; Xiao, Dongwei; Liu, Zhibo; Wang, Shuai

Explain Any Concept: Segment Anything Meets Concept-Based Explanation

Advances in Neural Information Processing Systems, v. 36, December 2023
Sun, Ao; Ma, Pingchuan; Yuan, Yuanyuan; Wang, Shuai

Exploring Missed Optimizations in WebAssembly Optimizers

ISSTA 2023 - Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, July 2023, p. 436-448
Liu, Zhibo; Xiao, Dongwei; Li, Zongjie; Wang, Shuai; Meng, Wei

InsightPilot: An LLM-Empowered Automated Data Exploration System.

Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing: System Demonstrations / edited by Yansong Feng, Els Lefever. Singapore : Association for Computational Linguistics, 2023, p. 346-352
Ma, Pingchuan; Ding, Rui; Wang, Shuai; Shi, Han; Zhang, Dongmei

IPHERH: automated detection of ciphertext side-channel vulnerabilities in cryptographic implementations

SEC '23: Proceedings of the 32nd USENIX Conference on Security Symposium, v. 10, August 2023, p. 6843-6860
Deng, Sen; Li, Mengyuan; Tang, Yining; Wang, Shuai; Yan, Shoumeng; Zhang, Yinqian

Metamorphic Shader Fusion for Testing Graphics Shader Compilers

Proceedings - International Conference on Software Engineering, May 2023, article number 10172737, p. 2400-2412
Xiao, Dongwei; Liu, Zhibo; Wang, Shuai

No Free Lunch: On the Increased Code Reuse Attack Surface of Obfuscated Programs

Proceedings - 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023, June 2023, article number 10202627, p. 313-326
Zhang, Naiqian; Alden, Daroc; Xu, Dongpeng; Wang, Shuai; Jaeger, Trent; Ruml, Wheeler

OBSan: An Out-Of-Bound Sanitizer to Harden DNN Executables

30th Annual Network and Distributed System Security Symposium, NDSS 2023, March 2023
Chen, Yanzuo; Yuan, Yuanyuan; Wang, Shuai

Perfce: Performance Debugging on Databases with Chaos Engineering-Enhanced Causality Analysis

Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, November 2023, article number 10298374, p. 1454-1466
Ji, Zhenlan; Ma, Pingchuan; Wang, Shuai

PhyFu: Fuzzing Modern Physics Simulation Engines

Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, November 2023, article number 10298312, p. 1579-1591
Xiao, Dongwei; Liu, Zhibo; Wang, Shuai

Precise and Generalized Robustness Certification for Neural Networks

32nd USENIX Security Symposium, USENIX Security 2023, v. 7, August 2023, p. 4769-4786
Yuan, Yuanyuan; Wang, Shuai; Su, Zhendong

Protecting Intellectual Property of Large Language Model-Based Code Generation APIs via Watermarks

CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security / Association for Computing Machinery. New York, NY : Association for Computing Machinery, 2023, p. 2336-2350
Li, Zongjie; Wang, Chaozheng; Wang, Shuai; Gao, Cuiyun

REEF: A Framework for Collecting Real-World Vulnerabilities and Fixes

Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, November 2023, article number 10298352, p. 1952-1962
Wang, Chaozheng; Li, Zongjie; Pena, Yun; Gao, Shuzheng; Chen, Sirong; Wang, Shuai; Gao, Cuiyun; Lyu, Michael R.

Revisiting Neuron Coverage for DNN Testing: A Layer-Wise and Distribution-Aware Criterion

Proceedings - International Conference on Software Engineering, May 2023, article number 10172683, p. 1200-1212
Yuan, Yuanyuan; Pang, Qi; Wang, Shuai

RingGuard: Guard io_uring with eBPF

eBPF 2023 - Proceedings of the ACM SIGCOMM 2023 Workshop on eBPF and Kernel Extensions, September 2023, p. 56-62
He, Wanning; Lu, Hongyi; Zhang, Fengwei; Wang, Shuai

RLTrace: Synthesizing High-Quality System Call Traces for OS Fuzz Testing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 14411, December 2023, p. 99-118
Chen, Wei; Wang, Huaijin; Gu, Weixi; Wang, Shuai

Secure Federated Correlation Test and Entropy Estimation

Proceedings of Machine Learning Research, v. 202, July 2023, p. 26990-27010
Pang, Qi; Wang, Lun; Wang, Shuai; Zheng, Wenting; Song, Dawn

Towards Practical Federated Causal Structure Learning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 14170 LNAI, September 2023, p. 351-367
Wang, Zhaoyu; Ma, Pingchuan; Wang, Shuai

Unveiling Hidden DNN Defects with Decision-Based Metamorphic Testing

37th IEEE/ACM International Conference on Automated Software Engineering (ASE), ACM. New York, USA : / ACM, 2023, p. 1-13, Article number 113
Yuan, Yuanyuan; Pang, Qi; Wang, Shuai

Article 6

Generating Effective Software Obfuscation Sequences with Reinforcement Learning

IEEE Transactions on Dependable and Secure Computing, v. 19, (3), May-June 2022, article number 9275317, p. 1900-1917
Wang, Huaijin; Wang, Shuai; Xu, Dongpeng; Zhang, Xiangyu; Liu, Xiao

Metamorphic Testing of Deep Learning Compilers

Proceedings of the ACM on Measurement and Analysis of Computing Systems, v. 6, (1), March 2022, article number 15
Xiao, Dongwei; Liu, Zhibo; Yuan, Yuanyuan; Pang, Qi; Wang, Shuai

NeuralD: Detecting Indistinguishability Violations of Oblivious RAM with Neural Distinguishers

IEEE Transactions on Information Forensics and Security, v. 17, 28 February 2022, article number 9722877, p. 982-997
Ma, Pingchuan; Liu, Zhibo; Yuan, Yuanyuan; Wang, Shuai

NoLeaks: Differentially Private Causal Discovery under Functional Causal Model

IEEE Transactions on Information Forensics and Security, v. 17, June 2022, article number 9798874, p. 2324-2338
Ma, Pingchuan; Ji, Zhenlan; Pang, Qi; Wang, Shuai

On the effectiveness of testing sentiment analysis systems with metamorphic testing

Information and Software Technology, v. 150, October 2022, article number 106966
Jiang, Mingyue; Chen, Tsong Yueh; Wang, Shuai

RansomSOC: A More Effective Security Operations Center to Detect and Respond to Ransomware Attacks

Journal of Internet Services and Information Security, v. 12, (3), August 2022, p. 63-75
Lai, Cheuk Tung; Ke, Ping Fan; Chan, Kelvin; Yiu, Siu Ming; Kim, Dongsun; Wong, Wai Kin; Wang, Shuai; Muppala, Kumaraswamy Ramachandra J; Ho, Alan

Conference paper 12

Automated Side Channel Analysis of Media Software with Manifold Learning

Proceedings of the 31st USENIX Security Symposium, 2022, p. 4419-4436
Yuan, Yuanyuan; Pang, Qi; Wang, Shuai

Backdoor Investigation and Incident Response: From Zero to Profit

Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, v. 441 LNICST, June 2022, p. 229-247
Lai, Cheuk Tung; Wong, Wai Kin; Wong, Johnny Tsz Wun; Lau, Austin Tsz Wai; Ho, Alan Po Lun; Wang, Shuai; Muppala, Kumaraswamy Ramachandra J

Cache Refinement Type for Side-Channel Detection of Cryptographic Software

Proceedings of the ACM Conference on Computer and Communications Security, v. 2022, November 2022, p. 1583-1597
Jiang, Ke; Bao, Yuyan; Wang, Shuai; Liu, Zhibo; Zhang, Tianwei

Deceiving Deep Neural Networks-Based Binary Code Matching with Adversarial Programs

Proceedings - 2022 IEEE International Conference on Software Maintenance and Evolution, ICSME 2022 / IEEE. Piscataway, NJ : IEEE, 2022, p. 117-128
Wong, Wai Kin; Wang, Huaijin; Ma, Pingchuan; Wang, Shuai; Jiang, Mingyue; Chen, Tsong Yueh; Tang, Qiyi; Nie, Sen; Wu, Shi

FED-X²: Privacy Preserving Federated Correlation Test

Wang, Lun; Pang, Qi; Wang, Shuai; Song, Dawn

MDPFuzz: Testing Models Solving Markov Decision Processes

ISSTA 2022 - Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis / Association for Computing Machinery. New York, NY, USA : Association for Computing Machinery, 2022, p. 378-390
Pang, Qi; Yuan, Yuanyuan; Wang, Shuai

Metamorphic Testing of Deep Learning Compilers

SIGMETRICS/PERFORMANCE 2022 - Abstract Proceedings of the 2022 ACM SIGMETRICS/IFIP PERFORMANCE Joint International Conference on Measurement and Modeling of Computer Systems / Association for Computing Machinery. New York, United States : Association for Computing Machinery, 2022, p. 65-66
Xiao, Dongwei; Liu, Zhibo; Yuan, Yuanyuan; Pang, Qi; Wang, Shuai

ML4S: Learning Causal Skeleton from Vicinal Graphs

Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining / Association for Computing Machinery. New York, NY, USA : Association for Computing Machinery, 2022, p. 1213-1223
Ma, Pingchuan; Ding, Rui; Dai, Haoyue; Jiang, Yuanyuan; Wang, Shuai; Han, Shi; Zhang, Dongmei

SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications

Proceedings - IEEE Symposium on Security and Privacy, v. 2022-May, 2022, article number 9833799, p. 1100-1119
Liu, Zhibo; Yuan, Yuanyuan; Wang, Shuai; Bao, Yuyan

Torpedo: A Fuzzing Framework for Discovering Adversarial Container Workloads

Proceedings - 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2022, July 2022, article number 9833603, p. 402-414
McDonough, Kenton; Gao, Xing; Wang, Shuai; Wang, Haining

Unlearnable Examples: Protecting Open-Source Software from Unauthorized Neural Code Learning

Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE, 2022, p. 525-530
Ji, Zhenlan; Ma, Pingchuan; Wang, Shuai

Unleashing the Power of Compiler Intermediate Representation to Enhance Neural Program Embeddings

Proceedings - International Conference on Software Engineering, v. 2022-May, May 2022, p. 2253-2265
Li, Zongjie; Ma, Pingchuan; Wang, Huaijin; Wang, Shuai; Tang, Qiyi; Nie, Sen; Wu, Shi

Conference paper 4

MT-TEQL: Evaluating and Augmenting Neural NLIDB on Real-world Linguistic and Schema Variations

Proceedings of the VLDB Endowment, v. 15, (3), November 2021, p. 569-582
Ma, Pingchuan; Wang, Shuai

Perception Matters: Detecting Perception Failures of VQA Models Using Metamorphic Testing

Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition / IEEE. Piscataway, NJ : IEEE, 2021, p. 16903-16912
Yuan, Yuanyuan; Wang, Shuai; Jiang, Mingyue; Chen, Tsong Yueh

Private Image Reconstruction from System Side Channels using Generative Models

Yuan, Yuanyuan; Wang, Shuai; Zhang, Junping

SanRazor: Reducing Redundant Sanitizer Checks in C/C++ Programs

Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2021, 2021, p. 479-494
Zhang, Jiang; Wang, Shuai; Rigger, Manuel; He, Pingjia; Su, Zhendong

Conference paper 4

How Far We Have Come: Testing Decompilation Correctness of C Decompilers.

ISSTA 2020 - Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, July 2020, p. 475-487
Liu, Zhibo; Wang, Shuai

Metamorphic Object Insertion for Testing Object Detection Systems

Proceedings - 2020 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, ACM. New York, NY, USA : ACM, 2020, p. 1053-1065, Article no.: 9286114
Wang, Shuai; Su, Zhendong

Metamorphic Testing and Certified Mitigation of Fairness Violations in NLP Models

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, v. 2021-January, January 2021, p. 458-465
Ma, Pingchuan; Wang, Shuai; Liu, Jin

Quantitative Assessment on the Limitations of Code Randomization for Legacy Binaries

Proceedings - 5th IEEE European Symposium on Security and Privacy, Euro S and P 2020 / IEEE. New York, NY, USA : IEEE, 2020, p. 1-16, Article no.: 9230354
Wang, Pei; Zhang, Jinquan; Wang, Shuai; Wu, Dinghao

Article 1

Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts

Proceedings of the ACM on Programming Languages, v. 3, OOPSLA, October 2019, article number A189
Wang, Shuai; Zhang, Chengyu; Su, Zhendong

Conference paper 2

Automatic Grading of Programming Assignments: A Formal Semantics Based Approach

Proceedings 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training ICSE-SEET 2019, 25-31 May 2019, Montreal, Canada / IEEE. Piscataway, New Jersey : IEEE, 2019, p. 126-137, Article number 8802114
Liu, Xiao; Wang, Shuai; Wang, Pei; Wu, Dinghao

Identifying cache-based side channels through secret-augmented abstract interpretation

Proceedings of the 28th USENIX Security Symposium, 2019, p. 657-674
Wang, Shuai; Bao, Yuyan; Liu, Xiao; Wang, Pei; Zhang, Danfeng; Wu, Dinghao

Article 1

Large-scale Third-party Library Detection in Android Markets

IEEE Transactions on Software Engineering, 1 October 2018
Li, Menghao; Wang, Pei; Wang, Wei; Wang, Shuai; Wu, Dinghao; Liu, Jian; Xue, Rui

Conference paper 4

Lambda obfuscation

Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, v. 238, 2018, p. 206-224
Lan, Pengwei; Wang, Pei; Wang, Shuai; Wu, Dinghao

RedDroid: Android Application Redundancy Customization Based on Static Analysis

International Symposium on Software Reliability Engineering, ISSRE, v. 2018-October, 16 November 2018, article number 8539081, p. 189-199
Jiang, Yufei; Bao, Qinkun; Wang, Shuai; Liu, Xiao; Wu, Dinghao

Software protection on the go: a large-scale empirical study on mobile app obfuscation

Proceedings of the 40th International Conference on Software Engineering (ICSE'18) / IEEE. New York : ACM, 2018, p. 26-36
Wang, Pei; Bao, Qinkun; Wang, Li; Wang, Shuai; Chen, Zhaofeng; Wei, Tai; Wu, Dinghao

Turing obfuscation

Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, v. 238, 2018, p. 225-244
Wang, Yan; Wang, Shuai; Wang, Pei; Wu, Dinghao

Conference paper 6

Binary code retrofiting and hardening using SGX

Proceedings of the 2017 Workshop on Forming an Ecosystem Around Software Transformation, FEAST'17 / ACM SIGSAC. New York : ACM SIGSAC, 2017, p. 43-49
Wang, Shuai; Wang, Wenhao; Bao, Qinkun; Wang, Pei; Wang, Xiao Feng; Wu, Dinghao

CacheD: Identifying Cache-Based Timing Channels in Production Software

Wang, Shuai; Wang, Pei; Liu, Xiao; Zhang, Danfeng; Wu, Dinghao

Composite software diversification

Proceedings - 2017 IEEE International Conference on Software Maintenance and Evolution, ICSME 2017 / IEEE. New York : IEEE, 2017, p. 284-294, Article number 8094429; Category numberE6239; Code 132283
Wang, Shuai; Wang, Pei; Wu, Dinghao

In-memory fuzzing for binary code similarity analysis

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017 / IEEE. New York : ACM, 2017, p. 319-330
Wang, Shuai; Wu, Dinghao

LibD: Scalable and precise third-party library detection in android markets

Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering, ICSE 2017 / IEEE. New York : ACM, 2017, p. 335-346, Article number 7985674
Li, Menghao; Wang, Wei; Wang, Pei; Wang, Shuai; Wu, Dinghao; Liu, Jian; Xue, Rui; Huo, Wei

Semantics-aware machine learning for function recognition in binary code

Proceedings - 2017 IEEE International Conference on Software Maintenance and Evolution, ICSME 2017 / IEEE. New York : IEEE, 2017, p. 388-398, Article number 8094438
Wang, Shuai; Wang, Pei; Wu, Dinghao

Conference paper 3

From Physical to Cyber: Escalating Protection for Personalized Auto Insurance

SenSys '16: Proceedings of the 14th ACM Conference on Embedded Network Sensor Systems CD-ROM / ACM. New York, United States : ACM, 2016, p. 42-55
Guan, Le; Xu, Jun; Wang, Shuai; Xing, Xinyu; Lin, Lin; Huang, Heqing; Liu, Peng; Lee, Wenke

Translingual Obfuscation

Proceedings - 2016 IEEE European Symposium on Security and Privacy, EURO S and P 2016 / IEEE. New York : IEEE, 2016, p. 128-144, Article number 7467351
Wang, Pei; Wang, Shuai; Ming, Jiang; Jiang, Yufei; Wu, Dinghao

UROBOROS: Instrumenting Stripped Binaries with Static Reassembling

2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2016, v. 1, May 2016, article number 7476646, p. 236-247
Wang, Shuai; Wang, Pei; Wu, Dinghao

Conference paper 1

Reassembleable Disassembling

Wang, Shuai; Wang, Pei; Wu, Dinghao

2018 5

Large-scale Third-party Library Detection in Android Markets

IEEE Transactions on Software Engineering, 1 October 2018
Li, Menghao; Wang, Pei; Wang, Wei; Wang, Shuai; Wu, Dinghao; Liu, Jian; Xue, Rui
Article

Lambda obfuscation

Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, v. 238, 2018, p. 206-224
Lan, Pengwei; Wang, Pei; Wang, Shuai; Wu, Dinghao
Conference paper

RedDroid: Android Application Redundancy Customization Based on Static Analysis

International Symposium on Software Reliability Engineering, ISSRE, v. 2018-October, 16 November 2018, article number 8539081, p. 189-199
Jiang, Yufei; Bao, Qinkun; Wang, Shuai; Liu, Xiao; Wu, Dinghao
Conference paper

Software protection on the go: a large-scale empirical study on mobile app obfuscation

Proceedings of the 40th International Conference on Software Engineering (ICSE'18) / IEEE. New York : ACM, 2018, p. 26-36
Wang, Pei; Bao, Qinkun; Wang, Li; Wang, Shuai; Chen, Zhaofeng; Wei, Tai; Wu, Dinghao
Conference paper

Turing obfuscation

Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, v. 238, 2018, p. 225-244
Wang, Yan; Wang, Shuai; Wang, Pei; Wu, Dinghao
Conference paper

2017 6

Binary code retrofiting and hardening using SGX

Proceedings of the 2017 Workshop on Forming an Ecosystem Around Software Transformation, FEAST'17 / ACM SIGSAC. New York : ACM SIGSAC, 2017, p. 43-49
Wang, Shuai; Wang, Wenhao; Bao, Qinkun; Wang, Pei; Wang, Xiao Feng; Wu, Dinghao
Conference paper

CacheD: Identifying Cache-Based Timing Channels in Production Software

Wang, Shuai; Wang, Pei; Liu, Xiao; Zhang, Danfeng; Wu, Dinghao
Conference paper

Composite software diversification

Proceedings - 2017 IEEE International Conference on Software Maintenance and Evolution, ICSME 2017 / IEEE. New York : IEEE, 2017, p. 284-294, Article number 8094429; Category numberE6239; Code 132283
Wang, Shuai; Wang, Pei; Wu, Dinghao
Conference paper

In-memory fuzzing for binary code similarity analysis

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017 / IEEE. New York : ACM, 2017, p. 319-330
Wang, Shuai; Wu, Dinghao
Conference paper

LibD: Scalable and precise third-party library detection in android markets

Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering, ICSE 2017 / IEEE. New York : ACM, 2017, p. 335-346, Article number 7985674
Li, Menghao; Wang, Wei; Wang, Pei; Wang, Shuai; Wu, Dinghao; Liu, Jian; Xue, Rui; Huo, Wei
Conference paper

Semantics-aware machine learning for function recognition in binary code

Proceedings - 2017 IEEE International Conference on Software Maintenance and Evolution, ICSME 2017 / IEEE. New York : IEEE, 2017, p. 388-398, Article number 8094438
Wang, Shuai; Wang, Pei; Wu, Dinghao
Conference paper

2016 3

From Physical to Cyber: Escalating Protection for Personalized Auto Insurance

SenSys '16: Proceedings of the 14th ACM Conference on Embedded Network Sensor Systems CD-ROM / ACM. New York, United States : ACM, 2016, p. 42-55
Guan, Le; Xu, Jun; Wang, Shuai; Xing, Xinyu; Lin, Lin; Huang, Heqing; Liu, Peng; Lee, Wenke
Conference paper

Translingual Obfuscation

Proceedings - 2016 IEEE European Symposium on Security and Privacy, EURO S and P 2016 / IEEE. New York : IEEE, 2016, p. 128-144, Article number 7467351
Wang, Pei; Wang, Shuai; Ming, Jiang; Jiang, Yufei; Wu, Dinghao
Conference paper

UROBOROS: Instrumenting Stripped Binaries with Static Reassembling

2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2016, v. 1, May 2016, article number 7476646, p. 236-247
Wang, Shuai; Wang, Pei; Wu, Dinghao
Conference paper

2015 1

Reassembleable Disassembling

Wang, Shuai; Wang, Pei; Wu, Dinghao
Conference paper

Teaching Assignment

COMP2011	Programming with C++
COMP4971A	Independent Work
COMP4981	Final Year Project
COMP4981H	Final Year Thesis
CSIT5730	Principles of Cybersecurity

COMP4971A	Independent Work
COMP4981	Final Year Project
COMP4981H	Final Year Thesis

COMP3632	Principles of Cybersecurity
COMP4910	Co-op Program
COMP4981	Final Year Project

COMP3632	Principles of Cybersecurity
COMP4981	Final Year Project

No Teaching Assignments

Research Postgraduate (RPG) Supervision

From January 2021 to December 2024 (As of 21 November 2024)

Current RPGs

Doctor of Philosophy

DAI, Yanbo
Computer Science and Engineering
HUANG, Ruixuan
Computer Science and Engineering
LYU, Zongyi (co-supervision)
Computer Science and Engineering
WANG, Liwen
Computer Science and Engineering
XIE, Yuchong
Computer Science and Engineering
XUE, Zhantong
Computer Science and Engineering
ZAHER, Ahmed Khaled Abdelfattah
Computer Science and Engineering
ZHANG, Kunpeng
Computer Science and Engineering
DENG, Sen
Computer Science and Engineering
LI, Kuan
Computer Science and Engineering
PENG, Yiteng
Computer Science and Engineering
SUN, Ao
Computer Science and Engineering
WANG, Xunguang
Computer Science and Engineering
WANG, Zhaoyu
Computer Science and Engineering
CHEN, Dong (co-supervision)
Computer Science and Engineering
LU, Hongyi
Computer Science and Engineering
CHEN, Yanzuo
Computer Science and Engineering
JI, Zhenlan
Computer Science and Engineering
LI, Zongjie
Computer Science and Engineering
WONG, Wai Kin
Computer Science and Engineering
XIAO, Dongwei
Computer Science and Engineering

Graduated RPGs

Doctor of Philosophy

MA, Pingchuan
Computer Science and Engineering( Completed in 2024 )
YUAN, Yuanyuan
Computer Science and Engineering( Completed in 2024 )
LIU, Zhibo
Computer Science and Engineering( Completed in 2023 )
WANG, Huaijin
Computer Science and Engineering( Completed in 2023 )

Master of Philosophy

LI, Sen
Computer Science and Engineering( Completed in 2024 )
LI, Yichen
Computer Science and Engineering( Completed in 2024 )
PANG, Qi
Computer Science and Engineering( Completed in 2022 )
LUNG, Kun Hung
Computer Science and Engineering( Completed in 2021 )
WONG, Wai Kin
Computer Science and Engineering( Completed in 2021 )

Projects

From January 2022 to December 2024

Automated Detection and Mitigation of Software Side Channel Vulnerabilities for Trusted Execution Environments

面向可信執行環境的軟件側信道漏洞自動檢測與修復 Leading

National Natural Science Foundation of China (NSFC) / Research Grants Council (RGC)
Project Team (HKUST)
WANG Shuai (Lead)
2024 -
Toward Efficient and Private Serverless Machine Learning Inference on GPU Clouds

基於GPU雲的高效、私密、服務器無感知的機器學習推理 Participating

RGC - Collaborative Research Fund
Project Team (HKUST)
WANG Wei (Lead)

LI Bo

WANG Shuai
2024 -
Testing and Repairing MPC-Hardened Deep Learning Systems

測試與修復安全多方計算保護的機器學習框架 Leading

RGC - General Research Fund
Project Team (HKUST)
WANG Shuai (Lead)
2024 -
Exploiting and Mitigating Side Channels in AI Infrastructures Leading

Google Asia Pacific Pte Ltd
Project Team (HKUST)
WANG Shuai (Lead)
2023 - 2024
Software Component Analysis Research

二進制軟件成分分析研究 Leading

Oriental Power Holdings Limited
Project Team (HKUST)
WANG Shuai (Lead)
2022 - 2024
Testing Decompilation Correctness of Software Decompilers

軟件反編譯器功能性測試 Leading

RGC - Early Career Scheme
Project Team (HKUST)
WANG Shuai (Lead)
2021 - 2023

Research Interest

Publications

2024 11

2023 29

2022 18

2021 4

2020 4

2019 3

2018 5

2017 6

2016 3

2015 1

Article 3

Conference paper 8

Article 2

Conference paper 27

Article 6

Conference paper 12

Conference paper 4

Conference paper 4

Article 1

Conference paper 2

Article 1

Conference paper 4

Conference paper 6

Conference paper 3

Conference paper 1

2018 5

2017 6

2016 3

2015 1

Teaching Assignment

Research Postgraduate (RPG) Supervision

From January 2021 to December 2024 (As of 21 November 2024)

Current RPGs

Graduated RPGs

Projects

From January 2022 to December 2024

Your browser is out of date!