Shuai Wang

CoRR, June, 2025

IP Leakage Attacks Targeting LLM-Based Multi-Agent Systems.

[BibT_eX]

[DOI]

CoRR, May, 2025

NAMET: Robust Massive Model Editing via Noise-Aware Memory Optimization.

[BibT_eX]

[DOI]

CoRR, May, 2025

A Survey on the Safety and Security Threats of Computer-Using Agents: JARVIS or Ultron?

[BibT_eX]

[DOI]

CoRR, May, 2025

BadMoE: Backdooring Mixture-of-Experts LLMs via Optimizing Routing Triggers and Infecting Dormant Experts.

[BibT_eX]

[DOI]

CoRR, April, 2025

STShield: Single-Token Sentinel for Real-Time Jailbreak Detection in Large Language Models.

[BibT_eX]

[DOI]

CoRR, March, 2025

GuidedBench: Equipping Jailbreak Evaluation with Guidelines.

[BibT_eX]

[DOI]

CoRR, February, 2025

CipherGuard: Compiler-aided Mitigation against Ciphertext Side-channel Attacks.

[BibT_eX]

[DOI]

CoRR, February, 2025

Low-Cost and Comprehensive Non-textual Input Fuzzing with LLM-Synthesized Input Generators.

[BibT_eX]

[DOI]

CoRR, January, 2025

How Should I Build A Benchmark? Revisiting Code-Related Benchmarks For LLMs.

[BibT_eX]

[DOI]

CoRR, January, 2025

Leveraging Metamemory Mechanisms for Enhanced Data-Free Code Generation in LLMs.

[BibT_eX]

[DOI]

CoRR, January, 2025

DecLLM: LLM-Augmented Recompilable Decompilation for Enabling Programmatic Use of Decompiled Code.

[BibT_eX]

[DOI]

Proc. ACM Softw. Eng., 2025

Causality-Aided Evaluation and Explanation of Large Language Model-Based Code Generation.

[BibT_eX]

[DOI]

Proc. ACM Softw. Eng., 2025

Divergence-Aware Testing of Graphics Shader Compiler Back-Ends.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2025

API-Guided Dataset Synthesis to Finetune Large Code Models.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2025

Binary Cryptographic Function Identification via Similarity Analysis with Path-Insensitive Emulation.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2025

Recursively summarizing enables long-term dialogue memory in large language models.

[BibT_eX]

[DOI]

Neurocomputing, 2025

Zinnia: An Expressive and Efficient Tensor-Oriented Zero-Knowledge Programming Framework.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2025

CipherSteal: Stealing Input Data from TEE-Shielded Neural Networks with Ciphertext Side Channels.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Security and Privacy, 2025

MTZK: Testing and Exploring Bugs in Zero-Knowledge (ZK) Compilers.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual Network and Distributed System Security Symposium, 2025

BitShield: Defending Against Bit-Flip Attacks on DNN Executables.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual Network and Distributed System Security Symposium, 2025

Compiled Models, Built-In Exploits: Uncovering Pervasive Bit-Flip Attack Surfaces in DNN Executables.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual Network and Distributed System Security Symposium, 2025

Preserving Privacy in Software Composition Analysis: A Study of Technical Solutions and Enhancements.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

Testing and Understanding Deviation Behaviors in FHE-Hardened Machine Learning Models.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

Can't See the Forest for the Trees: Benchmarking Multimodal Safety Awareness for Multimodal LLMs.

[BibT_eX]

[DOI]

Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2025

2024

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

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., May, 2024

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

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2024

DTD: Comprehensive and Scalable Testing for Debuggers.

[BibT_eX]

[DOI]

Proc. ACM Softw. Eng., 2024

Metamorphic Testing of Secure Multi-party Computation (MPC) Compilers.

[BibT_eX]

[DOI]

Proc. ACM Softw. Eng., 2024

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

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2024

Chain-of-Jailbreak Attack for Image Generation Models via Editing Step by Step.

[BibT_eX]

[DOI]

CoRR, 2024

USCD: Improving Code Generation of LLMs by Uncertainty-Aware Selective Contrastive Decoding.

[BibT_eX]

[DOI]

CoRR, 2024

Scalable Differentiable Causal Discovery in the Presence of Latent Confounders with Skeleton Posterior (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2024

SelfDefend: LLMs Can Defend Themselves against Jailbreaking in a Practical Manner.

[BibT_eX]

[DOI]

CoRR, 2024

Exploring Multi-Lingual Bias of Large Code Models in Code Generation.

[BibT_eX]

[DOI]

CoRR, 2024

Testing and Understanding Erroneous Planning in LLM Agents through Synthesized User Inputs.

[BibT_eX]

[DOI]

CoRR, 2024

How do LLMs Support Deep Learning Testing? A Comprehensive Study Through the Lens of Image Mutation.

[BibT_eX]

[DOI]

CoRR, 2024

LLMs Can Defend Themselves Against Jailbreaking in a Practical Manner: A Vision Paper.

[BibT_eX]

[DOI]

CoRR, 2024

Eliminating Information Leakage in Hard Concept Bottleneck Models with Supervised, Hierarchical Concept Learning.

[BibT_eX]

[DOI]

CoRR, 2024

An Empirical Study on Large Language Models in Accuracy and Robustness under Chinese Industrial Scenarios.

[BibT_eX]

[DOI]

CoRR, 2024

MOAT: Towards Safe BPF Kernel Extension.

[BibT_eX]

[DOI]

Proceedings of the 33rd USENIX Security Symposium, 2024

MPCDiff: Testing and Repairing MPC-Hardened Deep Learning Models.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual Network and Distributed System Security Symposium, 2024

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

[BibT_eX]

[DOI]

Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2024

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

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

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

[BibT_eX]

[DOI]

Proceedings of the 23rd ACM/IEEE International Conference on Information Processing in Sensor Networks, 2024

Joint Input and Output Coordination for Class-Incremental Learning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

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

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Strengthening Supply Chain Security with Fine-grained Safe Patch Identification.

[BibT_eX]

[DOI]

Changhua Luo

Wei Meng

Victor Hugo C. de Albuquerque

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

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

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

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

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Are We There Yet? Filling the Gap Between Binary Similarity Analysis and Binary Software Composition Analysis.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE European Symposium on Security and Privacy, 2024

Split and Merge: Aligning Position Biases in LLM-based Evaluators.

[BibT_eX]

[DOI]

Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, 2024

HyperTheft: Thieving Model Weights from TEE-Shielded Neural Networks via Ciphertext Side Channels.

[BibT_eX]

[DOI]

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

DeepCache: Revisiting Cache Side-Channel Attacks in Deep Neural Networks Executables.

[BibT_eX]

[DOI]

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

OOP: Object-Oriented Programming Evaluation Benchmark for Large Language Models.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics, 2024

2023

Testing Graph Database Systems via Graph-Aware Metamorphic Relations.

[BibT_eX]

[DOI]

Proc. VLDB Endow., December, 2023

Not just select samples, but exploration: Genetic programming aided remote sensing target detection under deep learning.

[BibT_eX]

[DOI]

Appl. Soft Comput., September, 2023

Visual tracking in complex scenes: A location fusion mechanism based on the combination of multiple visual cognition flows.

[BibT_eX]

[DOI]

Inf. Fusion, August, 2023

sem2vec: Semantics-aware Assembly Tracelet Embedding.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., July, 2023

Human Inertial Thinking Strategy: A Novel Fuzzy Reasoning Mechanism for IoT-Assisted Visual Monitoring.

[BibT_eX]

[DOI]

IEEE Internet Things J., March, 2023

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

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2023

XInsight: eXplainable Data Analysis Through The Lens of Causality.

[BibT_eX]

[DOI]

Proc. ACM Manag. Data, 2023

VRPTEST: Evaluating Visual Referring Prompting in Large Multimodal Models.

[BibT_eX]

[DOI]

CoRR, 2023

InstructTA: Instruction-Tuned Targeted Attack for Large Vision-Language Models.

[BibT_eX]

[DOI]

CoRR, 2023

Benchmarking and Explaining Large Language Model-based Code Generation: A Causality-Centric Approach.

[BibT_eX]

[DOI]

CoRR, 2023

Refining Decompiled C Code with Large Language Models.

[BibT_eX]

[DOI]

CoRR, 2023

Split and Merge: Aligning Position Biases in Large Language Model based Evaluators.

[BibT_eX]

[DOI]

CoRR, 2023

Unveiling Single-Bit-Flip Attacks on DNN Executables.

[BibT_eX]

[DOI]

CoRR, 2023

Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2023

"Oops, Did I Just Say That?" Testing and Repairing Unethical Suggestions of Large Language Models with Suggest-Critique-Reflect Process.

[BibT_eX]

[DOI]

CoRR, 2023

Demonstration of InsightPilot: An LLM-Empowered Automated Data Exploration System.

[BibT_eX]

[DOI]

CoRR, 2023

On the Feasibility of Specialized Ability Extracting for Large Language Code Models.

[BibT_eX]

[DOI]

CoRR, 2023

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

[BibT_eX]

[DOI]

Proceedings of the 32nd USENIX Security Symposium, 2023

Precise and Generalized Robustness Certification for Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 32nd USENIX Security Symposium, 2023

Decompiling x86 Deep Neural Network Executables.

[BibT_eX]

[DOI]

Proceedings of the 32nd USENIX Security Symposium, 2023

CipherH: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic Implementations.

[BibT_eX]

[DOI]

Proceedings of the 32nd USENIX Security Symposium, 2023

RingGuard: Guard io_uring with eBPF.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on eBPF and Kernel Extensions, 2023

Towards Practical Federated Causal Structure Learning.

[BibT_eX]

[DOI]

Zhaoyu Wang

Proceedings of the Machine Learning and Knowledge Discovery in Databases: Research Track, 2023

Explain Any Concept: Segment Anything Meets Concept-Based Explanation.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

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

[BibT_eX]

[DOI]

Yanzuo Chen

Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023

PhyFu: Fuzzing Modern Physics Simulation Engines.

[BibT_eX]

[DOI]

Dongwei Xiao

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

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

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Causality-Aided Trade-Off Analysis for Machine Learning Fairness.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

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

[BibT_eX]

[DOI]

Zhenlan Ji

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

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

[BibT_eX]

[DOI]

Proceedings of the Information Security - 26th International Conference, 2023

Exploring Missed Optimizations in WebAssembly Optimizers.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

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

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

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

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Metamorphic Shader Fusion for Testing Graphics Shader Compilers.

[BibT_eX]

[DOI]

Dongwei Xiao

Victor Hugo C. de Albuquerque

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

CCTEST: Testing and Repairing Code Completion Systems.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

CC: Causality-Aware Coverage Criterion for Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Secure Federated Correlation Test and Entropy Estimation.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Machine Learning, 2023

InsightPilot: An LLM-Empowered Automated Data Exploration System.

[BibT_eX]

[DOI]

Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

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

[BibT_eX]

[DOI]

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Network, 2023

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

[BibT_eX]

[DOI]

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

Byzantine-Robust Federated Learning with Optimal Statistical Rates.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Artificial Intelligence and Statistics, 2023

Detecting and Repairing Deviated Outputs of Compressed Models.

[BibT_eX]

[DOI]

Proceedings of the Asian Conference on Machine Learning, 2023

2022

NeuralD: Detecting Indistinguishability Violations of Oblivious RAM With Neural Distinguishers.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2022

NoLeaks: Differentially Private Causal Discovery Under Functional Causal Model.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2022

Adversarial Prototype Learning for Hyperspectral Image Classification.

[BibT_eX]

[DOI]

IEEE Trans. Geosci. Remote. Sens., 2022

Generating Effective Software Obfuscation Sequences With Reinforcement Learning.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2022

Metamorphic Testing of Deep Learning Compilers.

[BibT_eX]

[DOI]

Proc. ACM Meas. Anal. Comput. Syst., 2022

Human Short Long-Term Cognitive Memory Mechanism for Visual Monitoring in IoT-Assisted Smart Cities.

[BibT_eX]

[DOI]

IEEE Internet Things J., 2022

On the effectiveness of testing sentiment analysis systems with metamorphic testing.

[BibT_eX]

[DOI]

Mingyue Jiang

Tsong Yueh Chen

Inf. Softw. Technol., 2022

CCTEST: Testing and Repairing Code Completion Systems.

[BibT_eX]

[DOI]

CoRR, 2022

Byzantine-Robust Federated Learning with Optimal Statistical Rates and Privacy Guarantees.

[BibT_eX]

[DOI]

CoRR, 2022

ADI: Adversarial Dominating Inputs in Vertical Federated Learning Systems.

[BibT_eX]

[DOI]

CoRR, 2022

Automated Side Channel Analysis of Media Software with Manifold Learning.

[BibT_eX]

[DOI]

Proceedings of the 31st USENIX Security Symposium, 2022

SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

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

[BibT_eX]

[DOI]

Zhenlan Ji

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

ML4S: Learning Causal Skeleton from Vicinal Graphs.

[BibT_eX]

[DOI]

Proceedings of the KDD '22: The 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 14, 2022

Unveiling Hidden DNN Defects with Decision-Based Metamorphic Testing.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

MDPFuzz: testing models solving Markov decision processes.

[BibT_eX]

[DOI]

Victor Hugo C. de Albuquerque

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

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

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

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

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Torpedo: A Fuzzing Framework for Discovering Adversarial Container Workloads.

[BibT_eX]

[DOI]

Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022

Cache Refinement Type for Side-Channel Detection of Cryptographic Software.

[BibT_eX]

[DOI]

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

Human Memory Update Strategy: A Multi-Layer Template Update Mechanism for Remote Visual Monitoring.

[BibT_eX]

[DOI]

IEEE Trans. Multim., 2021

Fuzzy Detection Aided Real-Time and Robust Visual Tracking Under Complex Environments.

[BibT_eX]

[DOI]

IEEE Trans. Fuzzy Syst., 2021

Prediction Potential of Remote Sensing-Related Variables in the Topsoil Organic Carbon Density of Liaohekou Coastal Wetlands, Northeast China.

[BibT_eX]

[DOI]

Remote. Sens., 2021

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

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2021

Fuzzy-aided solution for out-of-view challenge in visual tracking under IoT-assisted complex environment.

[BibT_eX]

[DOI]

Neural Comput. Appl., 2021

MDPFuzzer: Finding Crash-Triggering State Sequences in Models Solving the Markov Decision Process.

[BibT_eX]

[DOI]

CoRR, 2021

Enhancing Deep Neural Networks Testing by Traversing Data Manifold.

[BibT_eX]

[DOI]

CoRR, 2021

You Can't See the Forest for Its Trees: Assessing Deep Neural Network Testing via NeuraL Coverage.

[BibT_eX]

[DOI]

CoRR, 2021

FED-χ<sub>2</sub>: Privacy Preserving Federated Correlation Test.

[BibT_eX]

[DOI]

CoRR, 2021

SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs.

[BibT_eX]

[DOI]

Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021

Private Image Reconstruction from System Side Channels Using Generative Models.

[BibT_eX]

[DOI]

Junping Zhang

Proceedings of the 9th International Conference on Learning Representations, 2021

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

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2021

2020

Large-Scale Third-Party Library Detection in Android Markets.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2020

MT-Teql: Evaluating and Augmenting Consistency of Text-to-SQL Models with Metamorphic Testing.

[BibT_eX]

[DOI]

CoRR, 2020

F2ED-Learning: Good Fences Make Good Neighbors.

[BibT_eX]

[DOI]

CoRR, 2020

Metamorphic Object Insertion for Testing Object Detection Systems.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

How far we have come: testing decompilation correctness of C decompilers.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Metamorphic Testing and Certified Mitigation of Fairness Violations in NLP Models.

[BibT_eX]

[DOI]

Jin Liu

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Quantitative Assessment on the Limitations of Code Randomization for Legacy Binaries.

[BibT_eX]

[DOI]

Proceedings of the IEEE European Symposium on Security and Privacy, 2020

2019

Detecting nondeterministic payment bugs in Ethereum smart contracts.

[BibT_eX]

[DOI]

Chengyu Zhang

Proc. ACM Program. Lang., 2019

Metamorphic Testing for Object Detection Systems.

[BibT_eX]

[DOI]

CoRR, 2019

Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation.

[BibT_eX]

[DOI]

Proceedings of the 28th USENIX Security Symposium, 2019

Automatic grading of programming assignments: an approach based on formal semantics.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training, 2019

2018

RedDroid: Android Application Redundancy Customization Based on Static Analysis.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

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

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

CacheD: Identifying Cache-Based Timing Channels in Production Software.

[BibT_eX]

[DOI]

Proceedings of the 26th USENIX Security Symposium, 2017

Turing Obfuscation.

[BibT_eX]

[DOI]

Proceedings of the Security and Privacy in Communication Networks, 2017

Lambda Obfuscation.

[BibT_eX]

[DOI]

Proceedings of the Security and Privacy in Communication Networks, 2017

In-memory fuzzing for binary code similarity analysis.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Semantics-Aware Machine Learning for Function Recognition in Binary Code.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

Composite Software Diversification.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

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

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

Binary Code Retrofitting and Hardening Using SGX.

[BibT_eX]

[DOI]

Proceedings of the 2017 Workshop on Forming an Ecosystem Around Software Transformation, 2017

2016

Exploiting Insurance Telematics for Fun and Profit.

[BibT_eX]

[DOI]

CoRR, 2016

UROBOROS: Instrumenting Stripped Binaries with Static Reassembling.

[BibT_eX]

[DOI]

Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

From Physical to Cyber: Escalating Protection for Personalized Auto Insurance.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM Conference on Embedded Network Sensor Systems, SenSys 2016, 2016

Translingual Obfuscation.

[BibT_eX]

[DOI]

Proceedings of the IEEE European Symposium on Security and Privacy, 2016

2015

Reassembleable Disassembling.

[BibT_eX]

[DOI]