Mu Zhang - RankMe

41 papers A* 19A 7B 1Journal 5Unranked 7

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	A Systematic Threat Modeling of LLM Applications. SIGSOFT FSE Companion Guanhong Tao, Siyuan Cheng, Zhuo Zhang, Junmin Zhu, Guangyu Shen, Wanjing Han, Mu Zhang, Xiangyu Zhang
2025	A*	`conf`	CollisionRepair: First-Aid and Automated Patching for Storage Collision Vulnerabilities in Smart Contracts. USENIX Security Symposium Yu Pan, Wanjing Han, Yue Duan, Mu Zhang
2025	J	`jnl`	DeepVMUnProtect: Neural Network-Based Recovery of VM-Protected Android Apps for Semantics-Aware Malware Detection. IEEE Trans. Inf. Forensics Secur. Xin Zhao, Mu Zhang, Xiaopeng Ke, Yu Pan, Yue Duan, Sheng Zhong, Fengyuan Xu
2025	A*	`conf`	Error Messages to Fuzzing: Detecting XPS Parsing Vulnerabilities in Windows Printing Components. CCS Yunpeng Tian, Feng Dong, Junhai Wang, Mu Zhang, Zhiniang Peng, Zesen Ye, Xiapu Luo, Haoyu Wang
2025	A	`conf`	ICSTracker: Backtracking Intrusions in Modern Industrial Control Systems. DSN Md. Raihan Ahmed, Jainta Paul, Levi Taiji Li, Luis Garcia, Mu Zhang
2025	A*	`conf`	Needle in a Haystack: Automated and Scalable Vulnerability Hunting in the Windows ALPC Sea. CCS Haoyi Liu, Feng Dong, Yunpeng Tian, Mu Zhang, Xuefeng Li, Fangming Gu, Zhiniang Peng, Haoyu Wang
2025	A*	`conf`	RICSS'25: 3rd International Workshop on Re-design Industrial Control Systems with Security. CCS Ruimin Sun, Mu Zhang
2025	J	`jnl`	Security Analysis and Formal Verification on Blockchain and its Applications. Found. Trends Priv. Secur. Kang Li, Ronghui Gu, Jun Xu, Zhaofeng Chen, Siwei Wu, Yajin Zhou, Mu Zhang, Xiapu Luo, Yuzhe Tang, Yi Li, Xiaokuan Zhang, Yibo Wang
2024	—	`conf`	Context-Aware Intrusion Detection in Industrial Control Systems. RICSS@CCS Md. Raihan Ahmed, Mu Zhang
2024	A*	`conf`	RICSS'24: 2nd International Workshop on Re-design Industrial Control Systems with Security. CCS Ruimin Sun, Mu Zhang
2024	—	`conf`	Towards Cross-Physical-Domain Threat Inference for Industrial Control System Defense Adaptation. RICSS@CCS Jainta Paul, Lawrence Ponce, Mu Zhang, Luis Garcia
2024	A*	`conf`	VETEOS: Statically Vetting EOSIO Contracts for the "Groundhog Day" Vulnerabilities. NDSS Levi Taiji Li, Ningyu He, Haoyu Wang, Mu Zhang
2024	A	`conf`	WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation. ISSTA Shangtong Cao, Ningyu He, Xinyu She, Yixuan Zhang, Mu Zhang, Haoyu Wang
2023	—	`conf`	An NSF REU Site Based on Trust and Reproducibility of Intelligent Computation: Experience Report. SC Workshops 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
2023	A	`conf`	Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis. AsiaCCS Sirus Shahini, Mu Zhang, Mathias Payer, Robert Ricci
2023	A	`conf`	Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode. ISSTA Yu Pan, Zhichao Xu, Levi Taiji Li, Yunhe Yang, Mu Zhang
2023	—	`conf`	From Tactics to Techniques: A Systematic Attack Modeling for Advanced Persistent Threats in Industrial Control Systems. EuroS&P Workshops Yunhe Yang, Mu Zhang
2023	—	`ed.`	Proceedings of the 2024 Workshop on Re-design Industrial Control Systems with Security, RICSS 2024, Salt Lake City, UT, USA, October 14-18, 2024 RICSS@CSS Ruimin Sun, Mu Zhang
2023	J	`jnl`	WRTester: Differential Testing of WebAssembly Runtimes via Semantic-aware Binary Generation. CoRR Shangtong Cao, Ningyu He, Xinyu She, Yixuan Zhang, Mu Zhang, Haoyu Wang
2022	A	`conf`	Automated Runtime Mitigation for Misconfiguration Vulnerabilities in Industrial Control Systems. RAID Qingzhao Zhang, Xiao Zhu, Mu Zhang, Z. Morley Mao
2022	A*	`conf`	Poster: EOSDFA: Data Flow Analysis of EOSIO Smart Contracts. CCS Levi Taiji Li, Mu Zhang
2022	A*	`conf`	Towards Automated Safety Vetting of Smart Contracts in Decentralized Applications. CCS Yue Duan, Xin Zhao, Yu Pan, Shucheng Li, Minghao Li, Fengyuan Xu, Mu Zhang
2020	A*	`conf`	APTrace: A Responsive System for Agile Enterprise Level Causality Analysis. ICDE Jiaping Gui, Ding Li, Zhengzhang Chen, Junghwan Rhee, Xusheng Xiao, Mu Zhang, Kangkook Jee, Zhichun Li, Haifeng Chen
2020	—	`conf`	Correctness-preserving Compression of Datasets and Neural Network Models. CORRECTNESS@SC Vinu Joseph, Nithin Chalapathi, Aditya Bhaskara, Ganesh Gopalakrishnan, Pavel Panchekha, Mu Zhang
2019	J	`jnl`	Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy. CoRR Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, Dawn Song
2019	J	`jnl`	Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy. Proc. ACM Program. Lang. Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, Dawn Song
2019	A*	`conf`	Towards Automated Safety Vetting of PLC Code in Real-World Plants. IEEE Symposium on Security and Privacy 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
2018	A*	`conf`	NodeMerge: Template Based Efficient Data Reduction For Big-Data Causality Analysis. CCS Yutao Tang, Ding Li, Zhichun Li, Mu Zhang, Kangkook Jee, Xusheng Xiao, Zhenyu Wu, Junghwan Rhee, Fengyuan Xu, Qun Li
2018	A*	`conf`	Things You May Not Know About Android (Un)Packers: A Systematic Study based on Whole-System Emulation. NDSS Yue Duan, Mu Zhang, Abhishek Vasisht Bhaskar, Heng Yin, Xiaorui Pan, Tongxin Li, Xueqiang Wang, Xiaofeng Wang
2018	A*	`conf`	Towards a Timely Causality Analysis for Enterprise Security. NDSS Yushan Liu, Mu Zhang, Ding Li, Kangkook Jee, Zhichun Li, Zhenyu Wu, Junghwan Rhee, Prateek Mittal
2017	A	`conf`	Extracting Conditional Formulas for Cross-Platform Bug Search. AsiaCCS Qian Feng, Minghua Wang, Mu Zhang, Rundong Zhou, Andrew Henderson, Heng Yin
2016	—	`book`	Android Application Security - A Semantics and Context-Aware Approach Mu Zhang, Heng Yin
2016	A*	`conf`	Extract Me If You Can: Abusing PDF Parsers in Malware Detectors. NDSS Curtis Carmony, Xunchao Hu, Heng Yin, Abhishek Vasisht Bhaskar, Mu Zhang
2015	—	`conf`	Privacy-Preserving Offloading of Mobile App to the Public Cloud. HotCloud Yue Duan, Mu Zhang, Heng Yin, Yuzhe Tang
2015	A*	`conf`	Towards Automatic Generation of Security-Centric Descriptions for Android Apps. CCS Mu Zhang, Yue Duan, Qian Feng, Heng Yin
2014	A*	`conf`	AppSealer: Automatic Generation of Vulnerability-Specific Patches for Preventing Component Hijacking Attacks in Android Applications. NDSS Mu Zhang, Heng Yin
2014	A	`conf`	Efficient, context-aware privacy leakage confinement for android applications without firmware modding. AsiaCCS Mu Zhang, Heng Yin
2014	A*	`conf`	Semantics-Aware Android Malware Classification Using Weighted Contextual API Dependency Graphs. CCS Mu Zhang, Yue Duan, Heng Yin, Zhiruo Zhao
2013	A*	`conf`	TransBlocker: Transforming and Taming Privacy-Breaching Android Applications. NDSS Mu Zhang, Heng Yin
2012	A*	`conf`	Hubble: Transparent and Extensible Malware Analysis by Combining Hardware Virtualization and Software Emulation. NDSS Lok-Kwong Yan, Manjukumar Jayachandra, Mu Zhang, Heng Yin
2012	B	`conf`	V2E: combining hardware virtualization and softwareemulation for transparent and extensible malware analysis. VEE Lok-Kwong Yan, Manjukumar Jayachandra, Mu Zhang, Heng Yin