Shuai WANG
王帥
PhD in Information Sciences and Technology
Pennsylvania State University, 2018

Assistant Professor
Department of Computer Science and Engineering



(852) 2358 8328
shuaiw@ust.hk
Room 3512
Personal Web

---

ORCID
0000-0002-0866-0308

Scopus ID
57190181124




Research Interest Publications Projects Teaching Assignment RPG Supervision Space used




Research Interest

---

Computer security
Cybersecurity
Software engineering
Testing and debugging
Reverse engineering



Publications

---

All Years 24 2022 0 2021 1 2020 5 2019 3 2018 5 2017 6 2016 4

---

Expand All Collapse All


2021 1

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 5

Generating Effective Software Obfuscation Sequences with Reinforcement Learning
IEEE Transactions on Dependable and Secure Computing, 1 December 2020
Wang, Huaijin; Wang, Shuai; Xu, Dongpeng; Zhang, Xiangyu; Liu, Xiao Article
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 2020, 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

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
Detecting nondeterministic payment bugs in Ethereum smart contracts
Proceedings of the ACM on Programming Languages, v. 3, OOPSLA, October 2019, article number 189
Wang, Shuai; Zhang, Chengyu; Su, Zhendong 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
26th USENIX Security Symposium (USENIX Security '17), Vancouver, Canada, 16-18 August 2017
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
Proceedings of the 14th ACM Conference on Embedded Networked Sensor Systems, SenSys 2016, ACM. New York : 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
IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016), Suita, Japan, 14-18 March 2016
Wang, Shuai; Wang, Pei; Wu, Dinghao Conference paper

2015 1

Reassembleable Disassembling
24th USENIX Security Symposium (USENIX Security '15), Washington, D.C., 12-14 August 2015
Wang, Shuai; Wang, Pei; Wu, Dinghao Conference paper


Expand All Collapse All


Conference paper 1

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


Expand All Collapse All


Article 1

Generating Effective Software Obfuscation Sequences with Reinforcement Learning
IEEE Transactions on Dependable and Secure Computing, 1 December 2020
Wang, Huaijin; Wang, Shuai; Xu, Dongpeng; Zhang, Xiangyu; Liu, Xiao

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 2020, 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


Expand All Collapse All


Conference paper 3

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
Detecting nondeterministic payment bugs in Ethereum smart contracts
Proceedings of the ACM on Programming Languages, v. 3, OOPSLA, October 2019, article number 189
Wang, Shuai; Zhang, Chengyu; Su, Zhendong
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


Expand All Collapse All


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


Expand All Collapse All


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
26th USENIX Security Symposium (USENIX Security '17), Vancouver, Canada, 16-18 August 2017
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


Expand All Collapse All


Conference paper 3

From physical to cyber: Escalating protection for personalized auto insurance
Proceedings of the 14th ACM Conference on Embedded Networked Sensor Systems, SenSys 2016, ACM. New York : 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
IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016), Suita, Japan, 14-18 March 2016
Wang, Shuai; Wang, Pei; Wu, Dinghao


Expand All Collapse All


Conference paper 1

Reassembleable Disassembling
24th USENIX Security Symposium (USENIX Security '15), Washington, D.C., 12-14 August 2015
Wang, Shuai; Wang, Pei; Wu, Dinghao


Expand All Collapse All


2016 3

From physical to cyber: Escalating protection for personalized auto insurance
Proceedings of the 14th ACM Conference on Embedded Networked Sensor Systems, SenSys 2016, ACM. New York : 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
IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016), Suita, Japan, 14-18 March 2016
Wang, Shuai; Wang, Pei; Wu, Dinghao Conference paper

2015 1

Reassembleable Disassembling
24th USENIX Security Symposium (USENIX Security '15), Washington, D.C., 12-14 August 2015
Wang, Shuai; Wang, Pei; Wu, Dinghao Conference paper


No Publications






Teaching Assignment

---

2021-22 Winter 0 2021-22 Fall 2 2020-21 Summer 1 2020-21 Spring 4 2020-21 Winter 0 2020-21 Fall 3

---

COMP3632 Principles of Cybersecurity
COMP4981 Final Year Project


CPEG4901 Computer Engineering Final Year Project in COMP


COMP3632 Principles of Cybersecurity
COMP4981 Final Year Project
COMP4981H Final Year Thesis
COMP6613C Topics in Computer Security and Privacy


COMP3632 Principles of Cybersecurity
COMP4981 Final Year Project
COMP4981H Final Year Thesis


No Teaching Assignments


No Teaching Assignments






Research Postgraduate (RPG) Supervision From January 2019 to December 2022 (As of 30 January 2022)

---

All Supervisions Current RPGs Graduated RPGs

---

Current RPGs

---

Doctor of Philosophy CHEN, Yanzuo
Computer Science and Engineering( 2021 - )

JI, Zhenlan
Computer Science and Engineering( 2021 - )

LI, Zongjie
Computer Science and Engineering( 2021 - )

WONG, Wai Kin
Computer Science and Engineering( 2021 - )

XIAO, Dongwei
Computer Science and Engineering( 2021 - )

MA, Pingchuan
Computer Science and Engineering( 2020 - )

YUAN, Yuanyuan
Computer Science and Engineering( 2020 - )

LIU, Zhibo
Computer Science and Engineering( 2019 - )

WANG, Huaijin
Computer Science and Engineering( 2019 - )

---

Master of Philosophy PANG, Qi
Computer Science and Engineering( 2020 - )

---

Graduated RPGs

---

Master of Philosophy CHEN, Wei
Computer Science and Engineering( Completed in 2021 )

LUNG, Kun Hung
Computer Science and Engineering( Completed in 2021 )

WONG, Wai Kin
Computer Science and Engineering( Completed in 2021 )









ProjectsFrom January 2020 to December 2022

---

All Projects 1

---

No Projects.
Testing Decompilation Correctness of Software Decompilers


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


RGC - Early Career Scheme


Project Team (HKUST)
WANG Shuai (Lead)


2021 -