Hubble: Transparent and Extensible Malware Analysis by Combining Hardware Virtualization and Software Emulation. - Lok-Kwong Yan; Manjukumar Jayachandra; Mu Zhang 001; Heng Yin 001 (NDSS, 2012)

V2E: combining hardware virtualization and softwareemulation for transparent and extensible malware analysis. - Lok-Kwong Yan; Manjukumar Jayachandra; Mu Zhang 001; Heng Yin 001 (VEE, 2012)

TransBlocker: Transforming and Taming Privacy-Breaching Android Applications. - Mu Zhang 001; Heng Yin 001 (NDSS, 2013)

Semantics-Aware Android Malware Classification Using Weighted Contextual API Dependency Graphs. - Mu Zhang 001; Yue Duan; Heng Yin 001; Zhiruo Zhao (CCS, 2014)

Efficient, context-aware privacy leakage confinement for android applications without firmware modding. - Mu Zhang 001; Heng Yin 001 (AsiaCCS, 2014)

AppSealer: Automatic Generation of Vulnerability-Specific Patches for Preventing Component Hijacking Attacks in Android Applications. - Mu Zhang 001; Heng Yin 001 (NDSS, 2014)

Towards Automatic Generation of Security-Centric Descriptions for Android Apps. - Mu Zhang 001; Yue Duan; Qian Feng; Heng Yin 001 (CCS, 2015)

Privacy-Preserving Offloading of Mobile App to the Public Cloud. - Yue Duan; Mu Zhang 001; Heng Yin 001; Yuzhe Tang (HotCloud, 2015)

Extract Me If You Can: Abusing PDF Parsers in Malware Detectors. - Curtis Carmony; Xunchao Hu; Heng Yin 001; Abhishek Vasisht Bhaskar; Mu Zhang 001 (NDSS, 2016)

Android Application Security - A Semantics and Context-Aware Approach - Mu Zhang 001; Heng Yin 001 (Springer, 2016)

Extracting Conditional Formulas for Cross-Platform Bug Search. - Qian Feng; Minghua Wang; Mu Zhang 001; Rundong Zhou; Andrew Henderson; Heng Yin 001 (AsiaCCS, 2017)

NodeMerge: Template Based Efficient Data Reduction For Big-Data Causality Analysis. - Yutao Tang; Ding Li 001; Zhichun Li; Mu Zhang 001; Kangkook Jee; Xusheng Xiao; Zhenyu Wu 003; Junghwan Rhee; Fengyuan Xu; Qun Li 001 (CCS, 2018)

Things You May Not Know About Android (Un)Packers: A Systematic Study based on Whole-System Emulation. - Yue Duan; Mu Zhang 001; Abhishek Vasisht Bhaskar; Heng Yin 001; Xiaorui Pan; Tongxin Li; Xueqiang Wang; XiaoFeng Wang 001 (NDSS, 2018)

Towards a Timely Causality Analysis for Enterprise Security. - Yushan Liu 004; Mu Zhang 001; Ding Li 001; Kangkook Jee; Zhichun Li; Zhenyu Wu 003; Junghwan Rhee; Prateek Mittal (NDSS, 2018)

Towards Automated Safety Vetting of PLC Code in Real-World Plants. - Mu Zhang 001; Chien-Ying Chen; Bin-Chou Kao; Yassine Qamsane; Yuru Shao; Yikai Lin; Elaine Shi; Sibin Mohan; Kira Barton; James R. Moyne; Z. Morley Mao (IEEE Symposium on Security and Privacy, 2019)

Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy. - Joseph P. Near; David Darais; Chike Abuah; Tim Stevens; Pranav Gaddamadugu; Lun Wang 001; Neel Somani; Mu Zhang 001; Nikhil Sharma; Alex Shan; Dawn Song (Proc. ACM Program. Lang., 2019)

APTrace: A Responsive System for Agile Enterprise Level Causality Analysis. - Jiaping Gui; Ding Li 001; Zhengzhang Chen; Junghwan Rhee; Xusheng Xiao; Mu Zhang 001; Kangkook Jee; Zhichun Li; Haifeng Chen (ICDE, 2020)

Correctness-preserving Compression of Datasets and Neural Network Models. - Vinu Joseph; Nithin Chalapathi; Aditya Bhaskara; Ganesh Gopalakrishnan; Pavel Panchekha; Mu Zhang 001 (CORRECTNESS@SC, 2020)

Towards Automated Safety Vetting of Smart Contracts in Decentralized Applications. - Yue Duan; Xin Zhao; Yu Pan; Shucheng Li; Minghao Li 003; Fengyuan Xu; Mu Zhang 001 (CCS, 2022)

Poster: EOSDFA: Data Flow Analysis of EOSIO Smart Contracts. - Levi Taiji Li; Mu Zhang 001 (CCS, 2022)

Automated Runtime Mitigation for Misconfiguration Vulnerabilities in Industrial Control Systems. - Qingzhao Zhang; Xiao Zhu 001; Mu Zhang 001; Z. Morley Mao (RAID, 2022)

Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis. - Sirus Shahini; Mu Zhang 001; Mathias Payer; Robert Ricci (AsiaCCS, 2023)

From Tactics to Techniques: A Systematic Attack Modeling for Advanced Persistent Threats in Industrial Control Systems. - Yunhe Yang; Mu Zhang 001 (EuroS&P Workshops, 2023)

Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode. - Yu Pan; Zhichao Xu 001; Levi Taiji Li; Yunhe Yang; Mu Zhang 001 (ISSTA, 2023)

An NSF REU Site Based on Trust and Reproducibility of Intelligent Computation: Experience Report. - Mary W. Hall; Ganesh Gopalakrishnan; Eric Eide; Johanna Cohoon; Jeff M. Phillips; Mu Zhang 001; Shireen Y. Elhabian; Aditya Bhaskara; Harvey Dam; Artem Yadrov; Tushar Kataria; Amir Mohammad Tavakkoli; et al. (SC Workshops, 2023)

WRTester: Differential Testing of WebAssembly Runtimes via Semantic-aware Binary Generation. - Shangtong Cao; Ningyu He; Xinyu She; Yixuan Zhang; Mu Zhang 001; Haoyu Wang 001 (CoRR, 2023)

RICSS'24: 2nd International Workshop on Re-design Industrial Control Systems with Security. - Ruimin Sun; Mu Zhang 001 (CCS, 2024)

WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation. - Shangtong Cao; Ningyu He; Xinyu She; Yixuan Zhang; Mu Zhang 001; Haoyu Wang 001 (ISSTA, 2024)

VETEOS: Statically Vetting EOSIO Contracts for the "Groundhog Day" Vulnerabilities. - Levi Taiji Li; Ningyu He; Haoyu Wang 001; Mu Zhang 001 (NDSS, 2024)

Context-Aware Intrusion Detection in Industrial Control Systems. - Md. Raihan Ahmed; Mu Zhang 001 (RICSS@CCS, 2024)

Towards Cross-Physical-Domain Threat Inference for Industrial Control System Defense Adaptation. - Jainta Paul; Lawrence Ponce; Mu Zhang 001; Luis Garcia 001 (RICSS@CCS, 2024)

ICSTracker: Backtracking Intrusions in Modern Industrial Control Systems. - Md. Raihan Ahmed; Jainta Paul; Levi Taiji Li; Luis Garcia 001; Mu Zhang 001 (DSN, 2025)

A Systematic Threat Modeling of LLM Applications. - Guanhong Tao 001; Siyuan Cheng 005; Zhuo Zhang 002; Junmin Zhu; Guangyu Shen; Wanjing Han; Mu Zhang 001; Xiangyu Zhang 001 (SIGSOFT FSE Companion, 2025)

Security Analysis and Formal Verification on Blockchain and its Applications. - Kang Li; Ronghui Gu; Jun Xu 019; Zhaofeng Chen; Siwei Wu; Yajin Zhou; Mu Zhang 001; Xiapu Luo; Yuzhe Tang; Yi Li; Xiaokuan Zhang; Yibo Wang 006 (Found. Trends Priv. Secur., 2025)

DeepVMUnProtect: Neural Network-Based Recovery of VM-Protected Android Apps for Semantics-Aware Malware Detection. - Xin Zhao; Mu Zhang 001; Xiaopeng Ke; Yu Pan; Yue Duan; Sheng Zhong 002; Fengyuan Xu (IEEE Trans. Inf. Forensics Secur., 2025)