Mu Zhang

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 16

Top Topics

Android Application

Dependency Graphs

Differential Privacy

Top Venues

IEEE Symposium on Security and Privacy

Publications

Yu Pan, Zhichao Xu, Levi Taiji Li, Yunhe Yang, Mu Zhang
Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode. ISSTA (2023)
Yunhe Yang, Mu Zhang
From Tactics to Techniques: A Systematic Attack Modeling for Advanced Persistent Threats in Industrial Control Systems. EuroS&P Workshops (2023)
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
An NSF REU Site Based on Trust and Reproducibility of Intelligent Computation: Experience Report. SC Workshops (2023)
Sirus Shahini, Mu Zhang, Mathias Payer, Robert Ricci
Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis. AsiaCCS (2023)
Yue Duan, Xin Zhao, Yu Pan, Shucheng Li, Minghao Li, Fengyuan Xu, Mu Zhang
Towards Automated Safety Vetting of Smart Contracts in Decentralized Applications. CCS (2022)
Qingzhao Zhang, Xiao Zhu, Mu Zhang, Z. Morley Mao
Automated Runtime Mitigation for Misconfiguration Vulnerabilities in Industrial Control Systems. RAID (2022)
Jiaping Gui, Ding Li, Zhengzhang Chen, Junghwan Rhee, Xusheng Xiao, Mu Zhang, Kangkook Jee, Zhichun Li, Haifeng Chen
APTrace: A Responsive System for Agile Enterprise Level Causality Analysis. ICDE (2020)
Vinu Joseph, Nithin Chalapathi, Aditya Bhaskara, Ganesh Gopalakrishnan, Pavel Panchekha, Mu Zhang
Correctness-preserving Compression of Datasets and Neural Network Models. CORRECTNESS@SC (2020)
Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, Dawn Song
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy. CoRR (2019)
Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, Dawn Song
Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
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
Towards Automated Safety Vetting of PLC Code in Real-World Plants. IEEE Symposium on Security and Privacy (2019)
Yushan Liu, Mu Zhang, Ding Li, Kangkook Jee, Zhichun Li, Zhenyu Wu, Junghwan Rhee, Prateek Mittal
Towards a Timely Causality Analysis for Enterprise Security. NDSS (2018)
Yue Duan, Mu Zhang, Abhishek Vasisht Bhaskar, Heng Yin, Xiaorui Pan, Tongxin Li, Xueqiang Wang, XiaoFeng Wang
Things You May Not Know About Android (Un)Packers: A Systematic Study based on Whole-System Emulation. NDSS (2018)
Yutao Tang, Ding Li, Zhichun Li, Mu Zhang, Kangkook Jee, Xusheng Xiao, Zhenyu Wu, Junghwan Rhee, Fengyuan Xu, Qun Li
NodeMerge: Template Based Efficient Data Reduction For Big-Data Causality Analysis. CCS (2018)
Qian Feng, Minghua Wang, Mu Zhang, Rundong Zhou, Andrew Henderson, Heng Yin
Extracting Conditional Formulas for Cross-Platform Bug Search. AsiaCCS (2017)
Curtis Carmony, Xunchao Hu, Heng Yin, Abhishek Vasisht Bhaskar, Mu Zhang
Extract Me If You Can: Abusing PDF Parsers in Malware Detectors. NDSS (2016)
Yue Duan, Mu Zhang, Heng Yin, Yuzhe Tang
Privacy-Preserving Offloading of Mobile App to the Public Cloud. HotCloud (2015)
Mu Zhang, Yue Duan, Qian Feng, Heng Yin
Towards Automatic Generation of Security-Centric Descriptions for Android Apps. CCS (2015)
Mu Zhang, Heng Yin
Efficient, context-aware privacy leakage confinement for android applications without firmware modding. AsiaCCS (2014)
Mu Zhang, Heng Yin
AppSealer: Automatic Generation of Vulnerability-Specific Patches for Preventing Component Hijacking Attacks in Android Applications. NDSS (2014)
Mu Zhang, Yue Duan, Heng Yin, Zhiruo Zhao
Semantics-Aware Android Malware Classification Using Weighted Contextual API Dependency Graphs. CCS (2014)
Mu Zhang, Heng Yin
TransBlocker: Transforming and Taming Privacy-Breaching Android Applications. NDSS (2013)
Lok-Kwong Yan, Manjukumar Jayachandra, Mu Zhang, Heng Yin
V2E: combining hardware virtualization and softwareemulation for transparent and extensible malware analysis. VEE (2012)
Lok-Kwong Yan, Manjukumar Jayachandra, Mu Zhang, Heng Yin
Hubble: Transparent and Extensible Malware Analysis by Combining Hardware Virtualization and Software Emulation. NDSS (2012)