Reassembleable Disassembling. - Shuai Wang 011; Pei Wang 007; Dinghao Wu (USENIX Security Symposium, 2015)

Translingual Obfuscation. - Pei Wang 007; Shuai Wang 011; Jiang Ming 002; Yufei Jiang; Dinghao Wu (EuroS&P, 2016)

From Physical to Cyber: Escalating Protection for Personalized Auto Insurance. - Le Guan; Jun Xu 024; Shuai Wang 011; Xinyu Xing 001; Lin Lin 003; Heqing Huang 001; Peng Liu 005; Wenke Lee (SenSys, 2016)

UROBOROS: Instrumenting Stripped Binaries with Static Reassembling. - Shuai Wang 011; Pei Wang 007; Dinghao Wu (SANER, 2016)

Exploiting Insurance Telematics for Fun and Profit. - Le Guan; Jun Xu 024; Shuai Wang 011; Xinyu Xing 001; Lin Lin 003; Heqing Huang 001; Peng Liu 005; Wenke Lee (CoRR, 2016)

Binary Code Retrofitting and Hardening Using SGX. - Shuai Wang 011; Wenhao Wang 001; Qinkun Bao; Pei Wang 007; XiaoFeng Wang 001; Dinghao Wu (FEAST@CCS, 2017)

LibD: scalable and precise third-party library detection in android markets. - Menghao Li; Wei Wang; Pei Wang 007; Shuai Wang 011; Dinghao Wu; Jian Liu 008; Rui Xue 001; Wei Huo (ICSE, 2017)

Composite Software Diversification. - Shuai Wang 011; Pei Wang 007; Dinghao Wu (ICSME, 2017)

Semantics-Aware Machine Learning for Function Recognition in Binary Code. - Shuai Wang 011; Pei Wang 007; Dinghao Wu (ICSME, 2017)

In-memory fuzzing for binary code similarity analysis. - Shuai Wang 011; Dinghao Wu (ASE, 2017)

Lambda Obfuscation. - Pengwei Lan; Pei Wang 007; Shuai Wang 011; Dinghao Wu (SecureComm, 2017)

Turing Obfuscation. - Yan Wang; Shuai Wang 011; Pei Wang 007; Dinghao Wu (SecureComm, 2017)

CacheD: Identifying Cache-Based Timing Channels in Production Software. - Shuai Wang 011; Pei Wang 007; Xiao Liu 025; Danfeng Zhang; Dinghao Wu (USENIX Security Symposium, 2017)

Software protection on the go: a large-scale empirical study on mobile app obfuscation. - Pei Wang 007; Qinkun Bao; Li Wang; Shuai Wang 011; Zhaofeng Chen; Tao Wei 002; Dinghao Wu (ICSE, 2018)

RedDroid: Android Application Redundancy Customization Based on Static Analysis. - Yufei Jiang; Qinkun Bao; Shuai Wang 011; Xiao Liu 025; Dinghao Wu (ISSRE, 2018)

Automatic grading of programming assignments: an approach based on formal semantics. - Xiao Liu 025; Shuai Wang 011; Pei Wang 007; Dinghao Wu (ICSE (SEET), 2019)

Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation. - Shuai Wang 011; Yuyan Bao; Xiao Liu 025; Pei Wang 007; Danfeng Zhang; Dinghao Wu (USENIX Security Symposium, 2019)

Metamorphic Testing for Object Detection Systems. - Shuai Wang 011; Zhendong Su 001 (CoRR, 2019)

Detecting nondeterministic payment bugs in Ethereum smart contracts. - Shuai Wang 011; Chengyu Zhang 001; Zhendong Su 001 (Proc. ACM Program. Lang., 2019)

Quantitative Assessment on the Limitations of Code Randomization for Legacy Binaries. - Pei Wang 007; Jinquan Zhang; Shuai Wang 011; Dinghao Wu (EuroS&P, 2020)

Metamorphic Testing and Certified Mitigation of Fairness Violations in NLP Models. - Pingchuan Ma 004; Shuai Wang 011; Jin Liu (IJCAI, 2020)

How far we have come: testing decompilation correctness of C decompilers. - Zhibo Liu; Shuai Wang 011 (ISSTA, 2020)

Metamorphic Object Insertion for Testing Object Detection Systems. - Shuai Wang 011; Zhendong Su 001 (ASE, 2020)

F2ED-Learning: Good Fences Make Good Neighbors. - Lun Wang 001; Qi Pang; Shuai Wang 011; Dawn Song (CoRR, 2020)

MT-Teql: Evaluating and Augmenting Consistency of Text-to-SQL Models with Metamorphic Testing. - Pingchuan Ma 004; Shuai Wang 011 (CoRR, 2020)

Large-Scale Third-Party Library Detection in Android Markets. - Menghao Li; Pei Wang 007; Wei Wang; Shuai Wang 011; Dinghao Wu; Jian Liu 008; Rui Xue 001; Wei Huo; Wei Zou (IEEE Trans. Software Eng., 2020)

Perception Matters: Detecting Perception Failures of VQA Models Using Metamorphic Testing. - Yuanyuan Yuan; Shuai Wang 011; Mingyue Jiang; Tsong Yueh Chen (CVPR, 2021)

Private Image Reconstruction from System Side Channels Using Generative Models. - Yuanyuan Yuan; Shuai Wang 011; Junping Zhang (ICLR, 2021)

SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs. - Jiang Zhang; Shuai Wang 011; Manuel Rigger; Pinjia He; Zhendong Su 001 (OSDI, 2021)

FED-χ2: Privacy Preserving Federated Correlation Test. - Lun Wang 001; Qi Pang; Shuai Wang 011; Dawn Song (CoRR, 2021)

You Can't See the Forest for Its Trees: Assessing Deep Neural Network Testing via NeuraL Coverage. - Yuanyuan Yuan; Qi Pang; Shuai Wang 011 (CoRR, 2021)

Enhancing Deep Neural Networks Testing by Traversing Data Manifold. - Yuanyuan Yuan; Qi Pang; Shuai Wang 011 (CoRR, 2021)

MDPFuzzer: Finding Crash-Triggering State Sequences in Models Solving the Markov Decision Process. - Qi Pang; Yuanyuan Yuan; Shuai Wang 011 (CoRR, 2021)

Fuzzy-aided solution for out-of-view challenge in visual tracking under IoT-assisted complex environment. - Shuai Liu 002; Xinyu Liu 012; Shuai Wang 011; Khan Muhammad 001 (Neural Comput. Appl., 2021)

MT-Teql: Evaluating and Augmenting Neural NLIDB on Real-world Linguistic and Schema Variations. - Pingchuan Ma 004; Shuai Wang 011 (Proc. VLDB Endow., 2021)

Prediction Potential of Remote Sensing-Related Variables in the Topsoil Organic Carbon Density of Liaohekou Coastal Wetlands, Northeast China. - Shuai Wang 011; Mingyi Zhou; Qianlai Zhuang; Liping Guo (Remote. Sens., 2021)

Fuzzy Detection Aided Real-Time and Robust Visual Tracking Under Complex Environments. - Shuai Liu 002; Shuai Wang 011; Xinyu Liu 012; Chin-Teng Lin; Zhihan Lv (IEEE Trans. Fuzzy Syst., 2021)

Human Memory Update Strategy: A Multi-Layer Template Update Mechanism for Remote Visual Monitoring. - Shuai Liu 002; Shuai Wang 011; Xinyu Liu 012; Amir H. Gandomi; Mahmoud Daneshmand; Khan Muhammad 001; Victor Hugo C. de Albuquerque (IEEE Trans. Multim., 2021)

Cache Refinement Type for Side-Channel Detection of Cryptographic Software. - Ke Jiang; Yuyan Bao; Shuai Wang 011; Zhibo Liu; Tianwei Zhang 004 (CCS, 2022)

Torpedo: A Fuzzing Framework for Discovering Adversarial Container Workloads. - Kenton McDonough; Xing Gao 001; Shuai Wang 011; Haining Wang 001 (DSN, 2022)

Unleashing the Power of Compiler Intermediate Representation to Enhance Neural Program Embeddings. - Zongjie Li; Pingchuan Ma 004; Huaijin Wang 001; Shuai Wang 011; Qiyi Tang 003; Sen Nie; Shi Wu (ICSE, 2022)

Deceiving Deep Neural Networks-Based Binary Code Matching with Adversarial Programs. - Wai Kin Wong; Huaijin Wang 001; Pingchuan Ma 004; Shuai Wang 011; Mingyue Jiang; Tsong Yueh Chen; Qiyi Tang 003; Sen Nie; Shi Wu (ICSME, 2022)

MDPFuzz: testing models solving Markov decision processes. - Qi Pang; Yuanyuan Yuan; Shuai Wang 011 (ISSTA, 2022)

Unveiling Hidden DNN Defects with Decision-Based Metamorphic Testing. - Yuanyuan Yuan; Qi Pang; Shuai Wang 011 (ASE, 2022)

ML4S: Learning Causal Skeleton from Vicinal Graphs. - Pingchuan Ma 004; Rui Ding 001; Haoyue Dai; Yuanyuan Jiang; Shuai Wang 011; Shi Han; Dongmei Zhang 001 (KDD, 2022)

Unlearnable Examples: Protecting Open-Source Software from Unauthorized Neural Code Learning. - Zhenlan Ji; Pingchuan Ma 004; Shuai Wang 011 (SEKE, 2022)

SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications. - Zhibo Liu; Yuanyuan Yuan; Shuai Wang 011; Yuyan Bao (SP, 2022)

Automated Side Channel Analysis of Media Software with Manifold Learning. - Yuanyuan Yuan; Qi Pang; Shuai Wang 011 (USENIX Security Symposium, 2022)

ADI: Adversarial Dominating Inputs in Vertical Federated Learning Systems. - Qi Pang; Yuanyuan Yuan; Shuai Wang 011; Wenting Zheng (CoRR, 2022)

Byzantine-Robust Federated Learning with Optimal Statistical Rates and Privacy Guarantees. - Banghua Zhu; Lun Wang 001; Qi Pang; Shuai Wang 011; Jiantao Jiao; Dawn Song; Michael I. Jordan (CoRR, 2022)

CCTEST: Testing and Repairing Code Completion Systems. - Zongjie Li; Chaozheng Wang; Zhibo Liu; Haoxuan Wang; Shuai Wang 011; Cuiyun Gao 001 (CoRR, 2022)

On the effectiveness of testing sentiment analysis systems with metamorphic testing. - Mingyue Jiang; Tsong Yueh Chen; Shuai Wang 011 (Inf. Softw. Technol., 2022)

Human Short Long-Term Cognitive Memory Mechanism for Visual Monitoring in IoT-Assisted Smart Cities. - Shuai Wang 011; Xinyu Liu 012; Shuai Liu 002; Khan Muhammad 001; Ali Asghar Heidari; Javier Del Ser; Victor Hugo C. de Albuquerque (IEEE Internet Things J., 2022)

Metamorphic Testing of Deep Learning Compilers. - Dongwei Xiao; Zhibo Liu; Yuanyuan Yuan; Qi Pang; Shuai Wang 011 (Proc. ACM Meas. Anal. Comput. Syst., 2022)

Generating Effective Software Obfuscation Sequences With Reinforcement Learning. - Huaijin Wang 001; Shuai Wang 011; Dongpeng Xu 001; Xiangyu Zhang; Xiao Liu 025 (IEEE Trans. Dependable Secur. Comput., 2022)

Adversarial Prototype Learning for Hyperspectral Image Classification. - Shuai Wang 011; Bo Du 001; Dingwen Zhang; Fang Wan 001 (IEEE Trans. Geosci. Remote. Sens., 2022)

NoLeaks: Differentially Private Causal Discovery Under Functional Causal Model. - Pingchuan Ma 004; Zhenlan Ji; Qi Pang; Shuai Wang 011 (IEEE Trans. Inf. Forensics Secur., 2022)

NeuralD: Detecting Indistinguishability Violations of Oblivious RAM With Neural Distinguishers. - Pingchuan Ma 004; Zhibo Liu; Yuanyuan Yuan; Shuai Wang 011 (IEEE Trans. Inf. Forensics Secur., 2022)

Detecting and Repairing Deviated Outputs of Compressed Models. - Yichen Li 001; Qi Pang; Dongwei Xiao; Zhibo Liu; Shuai Wang 011 (ACML, 2023)

Byzantine-Robust Federated Learning with Optimal Statistical Rates. - Banghua Zhu; Lun Wang 001; Qi Pang; Shuai Wang 011; Jiantao Jiao; Dawn Song; Michael I. Jordan (AISTATS, 2023)

Protecting Intellectual Property of Large Language Model-Based Code Generation APIs via Watermarks. - Zongjie Li; Chaozheng Wang; Shuai Wang 011; Cuiyun Gao 001 (CCS, 2023)

No Free Lunch: On the Increased Code Reuse Attack Surface of Obfuscated Programs. - Naiqian Zhang; Daroc Alden; Dongpeng Xu 001; Shuai Wang 011; Trent Jaeger; Wheeler Ruml (DSN, 2023)

InsightPilot: An LLM-Empowered Automated Data Exploration System. - Pingchuan Ma 004; Rui Ding 001; Shuai Wang 011; Shi Han; Dongmei Zhang 001 (EMNLP (Demos), 2023)

Secure Federated Correlation Test and Entropy Estimation. - Qi Pang; Lun Wang 001; Shuai Wang 011; Wenting Zheng; Dawn Song (ICML, 2023)

CC: Causality-Aware Coverage Criterion for Deep Neural Networks. - Zhenlan Ji; Pingchuan Ma 004; Yuanyuan Yuan; Shuai Wang 011 (ICSE, 2023)

CCTEST: Testing and Repairing Code Completion Systems. - Zongjie Li; Chaozheng Wang; Zhibo Liu; Haoxuan Wang; Dong Chen; Shuai Wang 011; Cuiyun Gao 001 (ICSE, 2023)

Metamorphic Shader Fusion for Testing Graphics Shader Compilers. - Dongwei Xiao; Zhibo Liu; Shuai Wang 011 (ICSE, 2023)

Revisiting Neuron Coverage for DNN Testing: A Layer-Wise and Distribution-Aware Criterion. - Yuanyuan Yuan; Qi Pang; Shuai Wang 011 (ICSE, 2023)

Beyond "Protected" and "Private": An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts. - Yuzhou Fang; Daoyuan Wu; Xiao Yi; Shuai Wang 011; Yufan Chen; Mengjie Chen; Yang Liu 003; Lingxiao Jiang (ISSTA, 2023)

Exploring Missed Optimizations in WebAssembly Optimizers. - Zhibo Liu; Dongwei Xiao; Zongjie Li; Shuai Wang 011; Wei Meng 001 (ISSTA, 2023)

RLTrace: Synthesizing High-Quality System Call Traces for OS Fuzz Testing. - Wei Chen; Huaijin Wang 001; Weixi Gu; Shuai Wang 011 (ISC, 2023)

Perfce: Performance Debugging on Databases with Chaos Engineering-Enhanced Causality Analysis. - Zhenlan Ji; Pingchuan Ma 004; Shuai Wang 011 (ASE, 2023)

Causality-Aided Trade-Off Analysis for Machine Learning Fairness. - Zhenlan Ji; Pingchuan Ma 004; Shuai Wang 011; Yanhui Li (ASE, 2023)

REEF: A Framework for Collecting Real-World Vulnerabilities and Fixes. - Chaozheng Wang; Zongjie Li; Yun Peng 003; Shuzheng Gao; Sirong Chen; Shuai Wang 011; Cuiyun Gao 001; Michael R. Lyu (ASE, 2023)

PhyFu: Fuzzing Modern Physics Simulation Engines. - Dongwei Xiao; Zhibo Liu; Shuai Wang 011 (ASE, 2023)

OBSan: An Out-Of-Bound Sanitizer to Harden DNN Executables. - Yanzuo Chen; Yuanyuan Yuan; Shuai Wang 011 (NDSS, 2023)

Explain Any Concept: Segment Anything Meets Concept-Based Explanation. - Ao Sun; Pingchuan Ma 004; Yuanyuan Yuan; Shuai Wang 011 (NeurIPS, 2023)

Towards Practical Federated Causal Structure Learning. - Zhaoyu Wang; Pingchuan Ma 004; Shuai Wang 011 (ECML/PKDD (2), 2023)

RingGuard: Guard io_uring with eBPF. - Wanning He; Hongyi Lu; Fengwei Zhang; Shuai Wang 011 (eBPF@SIGCOMM, 2023)

CipherH: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic Implementations. - Sen Deng; Mengyuan Li 004; Yining Tang; Shuai Wang 011; Shoumeng Yan; Yinqian Zhang (USENIX Security Symposium, 2023)

Decompiling x86 Deep Neural Network Executables. - Zhibo Liu; Yuanyuan Yuan; Shuai Wang 011; Xiaofei Xie; Lei Ma 003 (USENIX Security Symposium, 2023)

Precise and Generalized Robustness Certification for Neural Networks. - Yuanyuan Yuan; Shuai Wang 011; Zhendong Su 001 (USENIX Security Symposium, 2023)

CacheQL: Quantifying and Localizing Cache Side-Channel Vulnerabilities in Production Software. - Yuanyuan Yuan; Zhibo Liu; Shuai Wang 011 (USENIX Security Symposium, 2023)

On the Feasibility of Specialized Ability Extracting for Large Language Code Models. - Zongjie Li; Chaozheng Wang; Pingchuan Ma 004; Chaowei Liu; Shuai Wang 011; Daoyuan Wu; Cuiyun Gao 001 (CoRR, 2023)

Demonstration of InsightPilot: An LLM-Empowered Automated Data Exploration System. - Pingchuan Ma 004; Rui Ding 001; Shuai Wang 011; Shi Han; Dongmei Zhang 001 (CoRR, 2023)

"Oops, Did I Just Say That?" Testing and Repairing Unethical Suggestions of Large Language Models with Suggest-Critique-Reflect Process. - Pingchuan Ma 004; Zongjie Li; Ao Sun; Shuai Wang 011 (CoRR, 2023)

Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning (Extended Version). - Pingchuan Ma 004; Zhenlan Ji; Peisen Yao; Shuai Wang 011; Kui Ren 001 (CoRR, 2023)

Unveiling Single-Bit-Flip Attacks on DNN Executables. - Yanzuo Chen; Zhibo Liu; Yuanyuan Yuan; Sihang Hu; Tianxiang Li; Shuai Wang 011 (CoRR, 2023)

Split and Merge: Aligning Position Biases in Large Language Model based Evaluators. - Zongjie Li; Chaozheng Wang; Pingchuan Ma 004; Daoyuan Wu; Shuai Wang 011; Cuiyun Gao 001; Yang Liu 003 (CoRR, 2023)

Refining Decompiled C Code with Large Language Models. - Wai Kin Wong; Huaijin Wang 001; Zongjie Li; Zhibo Liu; Shuai Wang 011; Qiyi Tang 003; Sen Nie; Shi Wu (CoRR, 2023)

Benchmarking and Explaining Large Language Model-based Code Generation: A Causality-Centric Approach. - Zhenlan Ji; Pingchuan Ma 004; Zongjie Li; Shuai Wang 011 (CoRR, 2023)

InstructTA: Instruction-Tuned Targeted Attack for Large Vision-Language Models. - Xunguang Wang; Zhenlan Ji; Pingchuan Ma 004; Zongjie Li; Shuai Wang 011 (CoRR, 2023)

VRPTEST: Evaluating Visual Referring Prompting in Large Multimodal Models. - Zongjie Li; Chaozheng Wang; Chaowei Liu; Pingchuan Ma 004; Daoyuan Wu; Shuai Wang 011; Cuiyun Gao 001 (CoRR, 2023)

XInsight: eXplainable Data Analysis Through The Lens of Causality. - Pingchuan Ma 004; Rui Ding 001; Shuai Wang 011; Shi Han; Dongmei Zhang 001 (Proc. ACM Manag. Data, 2023)

Enhancing DNN-Based Binary Code Function Search With Low-Cost Equivalence Checking. - Huaijin Wang 001; Pingchuan Ma 004; Yuanyuan Yuan; Zhibo Liu; Shuai Wang 011; Qiyi Tang 003; Sen Nie; Shi Wu (IEEE Trans. Software Eng., 2023)

Human Inertial Thinking Strategy: A Novel Fuzzy Reasoning Mechanism for IoT-Assisted Visual Monitoring. - Shuai Liu 002; Shuai Wang 011; Xinyu Liu 012; Jianhua Dai; Khan Muhammad 001; Amir H. Gandomi; Weiping Ding 001; Mohammad Hijji; Victor Hugo C. de Albuquerque (IEEE Internet Things J., 2023)

sem2vec: Semantics-aware Assembly Tracelet Embedding. - Huaijin Wang 001; Pingchuan Ma 004; Shuai Wang 011; Qiyi Tang 003; Sen Nie; Shi Wu (ACM Trans. Softw. Eng. Methodol., 2023)

Visual tracking in complex scenes: A location fusion mechanism based on the combination of multiple visual cognition flows. - Shuai Liu 002; Shichen Huang; Shuai Wang 011; Khan Muhammad 001; Paolo Bellavista; Javier Del Ser (Inf. Fusion, 2023)

Not just select samples, but exploration: Genetic programming aided remote sensing target detection under deep learning. - Shuai Wang 011; Shichen Huang; Shuai Liu 002; Ying Bi (Appl. Soft Comput., 2023)

Testing Graph Database Systems via Graph-Aware Metamorphic Relations. - Zeyang Zhuang; Penghui Li 001; Pingchuan Ma 004; Wei Meng 001; Shuai Wang 011 (Proc. VLDB Endow., 2023)

OOP: Object-Oriented Programming Evaluation Benchmark for Large Language Models. - Shuai Wang 011; Liang Ding 006; Li Shen 008; Yong Luo 002; Bo Du 001; Dacheng Tao (ACL (Findings), 2024)

DeepCache: Revisiting Cache Side-Channel Attacks in Deep Neural Networks Executables. - Zhibo Liu; Yuanyuan Yuan; Yanzuo Chen; Sihang Hu; Tianxiang Li; Shuai Wang 011 (CCS, 2024)

HyperTheft: Thieving Model Weights from TEE-Shielded Neural Networks via Ciphertext Side Channels. - Yuanyuan Yuan; Zhibo Liu; Sen Deng; Yanzuo Chen; Shuai Wang 011; Yinqian Zhang; Zhendong Su 001 (CCS, 2024)

Split and Merge: Aligning Position Biases in LLM-based Evaluators. - Zongjie Li; Chaozheng Wang; Pingchuan Ma 004; Daoyuan Wu; Shuai Wang 011; Cuiyun Gao 001; Yang Liu 003 (EMNLP, 2024)

Are We There Yet? Filling the Gap Between Binary Similarity Analysis and Binary Software Composition Analysis. - Huaijin Wang 001; Zhibo Liu; Shuai Wang 011; Ying Wang; Qiyi Tang 003; Sen Nie; Shi Wu (EuroS&P, 2024)

Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning. - Pingchuan Ma 004; Zhenlan Ji; Peisen Yao; Shuai Wang 011; Kui Ren 001 (ICSE, 2024)

On Extracting Specialized Code Abilities from Large Language Models: A Feasibility Study. - Zongjie Li; Chaozheng Wang; Pingchuan Ma 004; Chaowei Liu; Shuai Wang 011; Daoyuan Wu; Cuiyun Gao 001; Yang Liu 003 (ICSE, 2024)

Strengthening Supply Chain Security with Fine-grained Safe Patch Identification. - Changhua Luo; Wei Meng 001; Shuai Wang 011 (ICSE, 2024)

BinAug: Enhancing Binary Similarity Analysis with Low-Cost Input Repairing. - Wai Kin Wong; Huaijin Wang 001; Zongjie Li; Shuai Wang 011 (ICSE, 2024)

Joint Input and Output Coordination for Class-Incremental Learning. - Shuai Wang 011; Yibing Zhan; Yong Luo 002; Han Hu 003; Wei Yu 004; Yonggang Wen 001; Dacheng Tao (IJCAI, 2024)

Poster Abstract: On the Accuracy and Robustness of Large Language Models in Chinese Industrial Scenarios. - Zongjie Li; Wenying Qiu; Pingchuan Ma 004; Yichen Li 004; You Li; Sijia He; Baozheng Jiang; Shuai Wang 011; Weixi Gu (IPSN, 2024)

See the Forest, not Trees: Unveiling and Escaping the Pitfalls of Error-Triggering Inputs in Neural Network Testing. - Yuanyuan Yuan; Shuai Wang 011; Zhendong Su 001 (ISSTA, 2024)

Scalable Differentiable Causal Discovery in the Presence of Latent Confounders with Skeleton Posterior. - Pingchuan Ma 004; Rui Ding 001; Qiang Fu 015; Jiaru Zhang; Shuai Wang 011; Shi Han; Dongmei Zhang 001 (KDD, 2024)

MPCDiff: Testing and Repairing MPC-Hardened Deep Learning Models. - Qi Pang; Yuanyuan Yuan; Shuai Wang 011 (NDSS, 2024)

MOAT: Towards Safe BPF Kernel Extension. - Hongyi Lu; Shuai Wang 011; Yechang Wu; Wanning He; Fengwei Zhang (USENIX Security Symposium, 2024)

An Empirical Study on Large Language Models in Accuracy and Robustness under Chinese Industrial Scenarios. - Zongjie Li; Wenying Qiu; Pingchuan Ma 004; Yichen Li 004; You Li; Sijia He; Baozheng Jiang; Shuai Wang 011; Weixi Gu (CoRR, 2024)

Eliminating Information Leakage in Hard Concept Bottleneck Models with Supervised, Hierarchical Concept Learning. - Ao Sun; Yuanyuan Yuan; Pingchuan Ma 004; Shuai Wang 011 (CoRR, 2024)

LLMs Can Defend Themselves Against Jailbreaking in a Practical Manner: A Vision Paper. - Daoyuan Wu; Shuai Wang 011; Yang Liu 003; Ning Liu (CoRR, 2024)

How do LLMs Support Deep Learning Testing? A Comprehensive Study Through the Lens of Image Mutation. - Liwen Wang; Yuanyuan Yuan; Ao Sun; Zongjie Li; Pingchuan Ma 004; Daoyuan Wu; Shuai Wang 011 (CoRR, 2024)

Testing and Understanding Erroneous Planning in LLM Agents through Synthesized User Inputs. - Zhenlan Ji; Daoyuan Wu; Pingchuan Ma 004; Zongjie Li; Shuai Wang 011 (CoRR, 2024)

Exploring Multi-Lingual Bias of Large Code Models in Code Generation. - Chaozheng Wang; Zongjie Li; Cuiyun Gao 001; Wenxuan Wang 001; Ting Peng; Hailiang Huang; Yuetang Deng; Shuai Wang 011; Michael R. Lyu (CoRR, 2024)

SelfDefend: LLMs Can Defend Themselves against Jailbreaking in a Practical Manner. - Xunguang Wang; Daoyuan Wu; Zhenlan Ji; Zongjie Li; Pingchuan Ma 004; Shuai Wang 011; Yingjiu Li; Yang Liu 003; Ning Liu; Juergen Rahmel (CoRR, 2024)

Scalable Differentiable Causal Discovery in the Presence of Latent Confounders with Skeleton Posterior (Extended Version). - Pingchuan Ma 004; Rui Ding 001; Qiang Fu 015; Jiaru Zhang; Shuai Wang 011; Shi Han; Dongmei Zhang 001 (CoRR, 2024)

USCD: Improving Code Generation of LLMs by Uncertainty-Aware Selective Contrastive Decoding. - Shuai Wang 011; Liang Ding 006; Li Shen 008; Yong Luo 002; Zheng He; Wei Yu 004; Dacheng Tao (CoRR, 2024)

Chain-of-Jailbreak Attack for Image Generation Models via Editing Step by Step. - Wenxuan Wang 001; Kuiyi Gao; Zihan Jia; Youliang Yuan; Jen-tse Huang 001; Qiuzhi Liu; Shuai Wang 011; Wenxiang Jiao; Zhaopeng Tu (CoRR, 2024)

PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis. - Zhaoyu Wang; Pingchuan Ma 004; Huaijin Wang 001; Shuai Wang 011 (Proc. ACM Program. Lang., 2024)

Metamorphic Testing of Secure Multi-party Computation (MPC) Compilers. - Yichen Li 004; Dongwei Xiao; Zhibo Liu; Qi Pang; Shuai Wang 011 (Proc. ACM Softw. Eng., 2024)

DTD: Comprehensive and Scalable Testing for Debuggers. - Hongyi Lu; Zhibo Liu; Shuai Wang 011; Fengwei Zhang (Proc. ACM Softw. Eng., 2024)

Evaluating C/C++ Vulnerability Detectability of Query-Based Static Application Security Testing Tools. - Zongjie Li; Zhibo Liu; Wai Kin Wong; Pingchuan Ma 004; Shuai Wang 011 (IEEE Trans. Dependable Secur. Comput., 2024)

Provably Valid and Diverse Mutations of Real-World Media Data for DNN Testing. - Yuanyuan Yuan; Qi Pang; Shuai Wang 011 (IEEE Trans. Software Eng., 2024)

Can't See the Forest for the Trees: Benchmarking Multimodal Safety Awareness for Multimodal LLMs. - Wenxuan Wang 001; Xiaoyuan Liu; Kuiyi Gao; Jen-tse Huang 001; Youliang Yuan; Pinjia He; Shuai Wang 011; Zhaopeng Tu (ACL (1), 2025)

Testing and Understanding Deviation Behaviors in FHE-Hardened Machine Learning Models. - Yiteng Peng; Daoyuan Wu; Zhibo Liu; Dongwei Xiao; Zhenlan Ji; Juergen Rahmel; Shuai Wang 011 (ICSE, 2025)

Preserving Privacy in Software Composition Analysis: A Study of Technical Solutions and Enhancements. - Huaijin Wang 001; Zhibo Liu; Yanbo Dai; Shuai Wang 011; Qiyi Tang 003; Sen Nie; Shi Wu (ICSE, 2025)

Compiled Models, Built-In Exploits: Uncovering Pervasive Bit-Flip Attack Surfaces in DNN Executables. - Yanzuo Chen; Zhibo Liu; Yuanyuan Yuan; Sihang Hu; Tianxiang Li; Shuai Wang 011 (NDSS, 2025)

BitShield: Defending Against Bit-Flip Attacks on DNN Executables. - Yanzuo Chen; Yuanyuan Yuan; Zhibo Liu; Sihang Hu; Tianxiang Li; Shuai Wang 011 (NDSS, 2025)

MTZK: Testing and Exploring Bugs in Zero-Knowledge (ZK) Compilers. - Dongwei Xiao; Zhibo Liu; Yiteng Peng; Shuai Wang 011 (NDSS, 2025)

CipherSteal: Stealing Input Data from TEE-Shielded Neural Networks with Ciphertext Side Channels. - Yuanyuan Yuan; Zhibo Liu; Sen Deng; Yanzuo Chen; Shuai Wang 011; Yinqian Zhang; Zhendong Su 001 (SP, 2025)

Zinnia: An Expressive and Efficient Tensor-Oriented Zero-Knowledge Programming Framework. - Zhantong Xue; Pingchuan Ma 004; Zhaoyu Wang; Shuai Wang 011 (IACR Cryptol. ePrint Arch., 2025)

Recursively summarizing enables long-term dialogue memory in large language models. - Qingyue Wang; Yanhe Fu; Yanan Cao 001; Shuai Wang 011; Zhiliang Tian; Liang Ding 006 (Neurocomputing, 2025)

Binary Cryptographic Function Identification via Similarity Analysis with Path-Insensitive Emulation. - Yikun Hu; Yituo He; Wenyu He; Haoran Li; Yubo Zhao; Shuai Wang 011; Dawu Gu (Proc. ACM Program. Lang., 2025)

API-Guided Dataset Synthesis to Finetune Large Code Models. - Zongjie Li; Daoyuan Wu; Shuai Wang 011; Zhendong Su 001 (Proc. ACM Program. Lang., 2025)

Divergence-Aware Testing of Graphics Shader Compiler Back-Ends. - Dongwei Xiao; Shuai Wang 011; Zhibo Liu; Yiteng Peng; Daoyuan Wu; Zhendong Su 001 (Proc. ACM Program. Lang., 2025)

Causality-Aided Evaluation and Explanation of Large Language Model-Based Code Generation. - Zhenlan Ji; Pingchuan Ma 004; Zongjie Li; Zhaoyu Wang; Shuai Wang 011 (Proc. ACM Softw. Eng., 2025)

DecLLM: LLM-Augmented Recompilable Decompilation for Enabling Programmatic Use of Decompiled Code. - Wai Kin Wong; Daoyuan Wu; Huaijin Wang 001; Zongjie Li; Zhibo Liu; Shuai Wang 011; Qiyi Tang 003; Sen Nie; Shi Wu (Proc. ACM Softw. Eng., 2025)

Leveraging Metamemory Mechanisms for Enhanced Data-Free Code Generation in LLMs. - Shuai Wang 011; Liang Ding 006; Yibing Zhan; Yong Luo 002; Zheng He; Dapeng Tao (CoRR, 2025)

How Should I Build A Benchmark? Revisiting Code-Related Benchmarks For LLMs. - Jialun Cao; Yuk-Kit Chan; Zixuan Ling; Wenxuan Wang 001; Shuqing Li 001; Mingwei Liu 002; Ruixi Qiao; Yuting Han; Chaozheng Wang; Boxi Yu; Pinjia He; Shuai Wang 011; et al. (CoRR, 2025)

Low-Cost and Comprehensive Non-textual Input Fuzzing with LLM-Synthesized Input Generators. - Kunpeng Zhang; Zongjie Li; Daoyuan Wu; Shuai Wang 011; Xin Xia (CoRR, 2025)

CipherGuard: Compiler-aided Mitigation against Ciphertext Side-channel Attacks. - Ke Jiang; Sen Deng; Yinshuai Li; Shuai Wang 011; Tianwei Zhang 004; Yinqian Zhang (CoRR, 2025)

GuidedBench: Equipping Jailbreak Evaluation with Guidelines. - Ruixuan Huang; Xunguang Wang; Zongjie Li; Daoyuan Wu; Shuai Wang 011 (CoRR, 2025)

STShield: Single-Token Sentinel for Real-Time Jailbreak Detection in Large Language Models. - Xunguang Wang; Wenxuan Wang 001; Zhenlan Ji; Zongjie Li; Pingchuan Ma 004; Daoyuan Wu; Shuai Wang 011 (CoRR, 2025)

BadMoE: Backdooring Mixture-of-Experts LLMs via Optimizing Routing Triggers and Infecting Dormant Experts. - Qingyue Wang; Qi Pang; Xixun Lin; Shuai Wang 011; Daoyuan Wu (CoRR, 2025)

A Survey on the Safety and Security Threats of Computer-Using Agents: JARVIS or Ultron? - Ada Chen; Yongjiang Wu; Junyuan Zhang; Jingyu Xiao; Shu Yang 010; Jen-tse Huang 001; Kun Wang 056; Wenxuan Wang 001; Shuai Wang 011 (CoRR, 2025)

NAMET: Robust Massive Model Editing via Noise-Aware Memory Optimization. - Yanbo Dai; Zhenlan Ji; Zongjie Li; Shuai Wang 011 (CoRR, 2025)

IP Leakage Attacks Targeting LLM-Based Multi-Agent Systems. - Liwen Wang; Wenxuan Wang 001; Shuai Wang 011; Zongjie Li; Zhenlan Ji; Zongyi Lyu; Daoyuan Wu; Shing-Chi Cheung (CoRR, 2025)

Reasoning as a Resource: Optimizing Fast and Slow Thinking in Code Generation Models. - Zongjie Li; Shuai Wang 011 (CoRR, 2025)

SoK: Evaluating Jailbreak Guardrails for Large Language Models. - Xunguang Wang; Zhenlan Ji; Wenxuan Wang 001; Zongjie Li; Daoyuan Wu; Shuai Wang 011 (CoRR, 2025)

Differentiation-Based Extraction of Proprietary Data from Fine-Tuned LLMs. - Zongjie Li; Daoyuan Wu; Shuai Wang 011; Zhendong Su 001 (CoRR, 2025)

Measuring and Augmenting Large Language Models for Solving Capture-the-Flag Challenges. - Zimo Ji; Daoyuan Wu; Wenyuan Jiang; Pingchuan Ma 004; Zongjie Li; Shuai Wang 011 (CoRR, 2025)

LLM for Mobile: An Initial Roadmap. - Daihang Chen; Yonghui Liu; Mingyi Zhou; Yanjie Zhao 001; Haoyu Wang 001; Shuai Wang 011; Xiao Chen 002; Tegawendé F. Bissyandé; Jacques Klein; Li Li 029 (ACM Trans. Softw. Eng. Methodol., 2025)

Rethinking and Exploring String-Based Malware Family Classification in the Era of LLMs and RAG. - Yufan Chen; Daoyuan Wu; Juantao Zhong; Zicheng Zhang; Debin Gao; Shuai Wang 011; Yingjiu Li; Ning Liu (CoRR, 2025)

Evaluating LLMs on Sequential API Call Through Automated Test Generation. - Yuheng Huang 004; Da Song; Zhenlan Ji; Shuai Wang 011; Lei Ma 003 (CoRR, 2025)

JSidentify-V2: Leveraging Dynamic Memory Fingerprinting for Mini-Game Plagiarism Detection. - Zhihao Li; Chaozheng Wang; Zongjie Li; Xinyong Peng; Qun Xia; Haochuan Lu; Ting Xiong; Shuzheng Gao; Cuiyun Gao 001; Shuai Wang 011; Yuetang Deng; Huafeng Ma (CoRR, 2025)

Fuzzy-Assisted Contrastive Decoding Improving Code Generation of Large Language Models. - Shuai Wang 011; Liang Ding 006; Yibing Zhan; Yong Luo 002; Shuai Liu 002; Weiping Ding 001 (IEEE Trans. Fuzzy Syst., 2025)