Mu Zhang

According to our database, Mu Zhang authored at least 31 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Towards Cross-Physical-Domain Threat Inference for Industrial Control System Defense Adaptation.

Jainta Paul, Lawrence Ponce, Mu Zhang, Luis Garcia

Proceedings of the 2024 Workshop on Re-design Industrial Control Systems with Security, 2024

Context-Aware Intrusion Detection in Industrial Control Systems.

Md. Raihan Ahmed, Mu Zhang

Proceedings of the 2024 Workshop on Re-design Industrial Control Systems with Security, 2024

VETEOS: Statically Vetting EOSIO Contracts for the "Groundhog Day" Vulnerabilities.

Levi Taiji Li, Ningyu He, Haoyu Wang, Mu Zhang

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

WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation.

Shangtong Cao, Ningyu He, Xinyu She, Yixuan Zhang, Mu Zhang, Haoyu Wang

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

RICSS'24: 2nd International Workshop on Re-design Industrial Control Systems with Security.

Ruimin Sun, Mu Zhang

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

2023

WRTester: Differential Testing of WebAssembly Runtimes via Semantic-aware Binary Generation.

Shangtong Cao, Ningyu He, Xinyu She, Yixuan Zhang, Mu Zhang, Haoyu Wang

CoRR, 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, Shireen Y. Elhabian, Aditya Bhaskara, Harvey Dam, Artem Yadrov, Tushar Kataria, Amir Mohammad Tavakkoli, Sameeran Joshi, Mokshagna Sai Teja Karanam

Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, 2023

Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode.

Yu Pan, Zhichao Xu, Levi Taiji Li, Yunhe Yang, Mu Zhang

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

From Tactics to Techniques: A Systematic Attack Modeling for Advanced Persistent Threats in Industrial Control Systems.

Yunhe Yang, Mu Zhang

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

Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis.

Sirus Shahini, Mu Zhang, Mathias Payer, Robert Ricci

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

2022

Automated Runtime Mitigation for Misconfiguration Vulnerabilities in Industrial Control Systems.

Qingzhao Zhang, Xiao Zhu, Mu Zhang, Z. Morley Mao

Proceedings of the 25th International Symposium on Research in Attacks, 2022

Poster: EOSDFA: Data Flow Analysis of EOSIO Smart Contracts.

Levi Taiji Li, Mu Zhang

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

Towards Automated Safety Vetting of Smart Contracts in Decentralized Applications.

Yue Duan, Xin Zhao, Yu Pan, Shucheng Li, Minghao Li, Fengyuan Xu, Mu Zhang

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

2020

Correctness-preserving Compression of Datasets and Neural Network Models.

Vinu Joseph, Nithin Chalapathi, Aditya Bhaskara, Ganesh Gopalakrishnan, Pavel Panchekha, Mu Zhang

Proceedings of the 4th IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2020

APTrace: A Responsive System for Agile Enterprise Level Causality Analysis.

Jiaping Gui, Ding Li, Zhengzhang Chen, Junghwan Rhee, Xusheng Xiao, Mu Zhang, Kangkook Jee, Zhichun Li, Haifeng Chen

Proceedings of the 36th IEEE International Conference on Data Engineering, 2020

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, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, Dawn Song

Proc. ACM Program. Lang., 2019

Towards Automated Safety Vetting of PLC Code in Real-World Plants.

Mu Zhang, Chien-Ying Chen, Bin-Chou Kao, Yassine Qamsane, Yuru Shao, Yikai Lin, Elaine Shi, Sibin Mohan, Kira Barton, James R. Moyne, Z. Morley Mao

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

2018

Towards a Timely Causality Analysis for Enterprise Security.

Yushan Liu, Mu Zhang, Ding Li, Kangkook Jee, Zhichun Li, Zhenyu Wu, Junghwan Rhee, Prateek Mittal

Proceedings of the 25th Annual Network and Distributed System Security Symposium, 2018

Things You May Not Know About Android (Un)Packers: A Systematic Study based on Whole-System Emulation.

Yue Duan, Mu Zhang, Abhishek Vasisht Bhaskar, Heng Yin, Xiaorui Pan, Tongxin Li, Xueqiang Wang, XiaoFeng Wang

Proceedings of the 25th Annual Network and Distributed System Security Symposium, 2018

NodeMerge: Template Based Efficient Data Reduction For Big-Data Causality Analysis.

Yutao Tang, Ding Li, Zhichun Li, Mu Zhang, Kangkook Jee, Xusheng Xiao, Zhenyu Wu, Junghwan Rhee, Fengyuan Xu, Qun Li

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

2017

Extracting Conditional Formulas for Cross-Platform Bug Search.

Qian Feng, Minghua Wang, Mu Zhang, Rundong Zhou, Andrew Henderson, Heng Yin

Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security, 2017

2016

Android Application Security - A Semantics and Context-Aware Approach

Mu Zhang, Heng Yin

Springer Briefs in Computer Science, Springer, ISBN: 978-3-319-47812-8, 2016

Extract Me If You Can: Abusing PDF Parsers in Malware Detectors.

Curtis Carmony, Xunchao Hu, Heng Yin, Abhishek Vasisht Bhaskar, Mu Zhang

Proceedings of the 23rd Annual Network and Distributed System Security Symposium, 2016

2015

Privacy-Preserving Offloading of Mobile App to the Public Cloud.

Yue Duan, Mu Zhang, Heng Yin, Yuzhe Tang

Proceedings of the 7th USENIX Workshop on Hot Topics in Cloud Computing, 2015

Towards Automatic Generation of Security-Centric Descriptions for Android Apps.

Mu Zhang, Yue Duan, Qian Feng, Heng Yin

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2014

AppSealer: Automatic Generation of Vulnerability-Specific Patches for Preventing Component Hijacking Attacks in Android Applications.

Mu Zhang, Heng Yin

Proceedings of the 21st Annual Network and Distributed System Security Symposium, 2014

Efficient, context-aware privacy leakage confinement for android applications without firmware modding.

Mu Zhang, Heng Yin

Proceedings of the 9th ACM Symposium on Information, Computer and Communications Security, 2014

Semantics-Aware Android Malware Classification Using Weighted Contextual API Dependency Graphs.

Mu Zhang, Yue Duan, Heng Yin, Zhiruo Zhao

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

2013

TransBlocker: Transforming and Taming Privacy-Breaching Android Applications.

Mu Zhang, Heng Yin

Proceedings of the 20th Annual Network and Distributed System Security Symposium, 2013

2012

V2E: combining hardware virtualization and softwareemulation for transparent and extensible malware analysis.

Lok-Kwong Yan, Manjukumar Jayachandra, Mu Zhang, Heng Yin

Proceedings of the 8th International Conference on Virtual Execution Environments, 2012

Hubble: Transparent and Extensible Malware Analysis by Combining Hardware Virtualization and Software Emulation.

Lok-Kwong Yan, Manjukumar Jayachandra, Mu Zhang, Heng Yin

Proceedings of the 19th Annual Network and Distributed System Security Symposium, 2012