Shuai Wang

Zhibo Liu

Proceedings of the 32nd USENIX Security Symposium, 2023

Precise and Generalized Robustness Certification for Neural Networks.

[BibT_eX]

[DOI]

Zhendong Su

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

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

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

Zhibo Liu

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

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

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

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

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]

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

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

[BibT_eX]

[DOI]

Proc. VLDB Endow., 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]

Zhendong Su

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]

Zhibo Liu

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

Zhendong Su

Proc. ACM Program. Lang., 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]