Mu Zhang portrait
  • Assistant Professor, School Of Computing
315-460-0968

Publications

  • Levi Taiji Li , Ningyu He, Haoyu Wang & Mu Zhang (2024). VetEOS: Statically Vetting EOSIO Contracts for the “Groundhog Day” Vulnerabilities. The Network and Distributed System Security Symposium (NDSS’24). Published, 02/26/2024.
  • Yu Pan, Zhichao Xu, Levi Taiji Li , Yunhe Yang & Mu Zhang (2023). Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA’23). Published, 07/17/2023.
  • Sirus Shahini, Mu Zhang, Mathias Payer & Robert Ricci (2023). Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis. ACM ASIA Confer- ence on Computer and Communications Security (AsiaCCS’23). Published, 07/10/2023.
  • Yunhe Yang & Mu Zhang (2023). From Tactics to Techniques: A Systematic Attack Modeling for Advanced Persistent Threats in Industrial Control Systems. IEEE European Symposium on Security and Privacy. Published, 07/03/2023.
  • Yue Duan, Xin Zhao, Yu Pan, Shucheng Li, Minghao Li, Fengyuan Xu & Mu Zhang (2022). Towards Automated Safety Vetting of Smart Contracts in Decentralized Applications. ACM Conference on Computer and Communications Security 2022 (CCS’22). Published, 11/07/2022.
  • Levi Taiji Li & Mu Zhang (2022). Poster: EOSDFA: Data Flow Analysis of EOSIO Smart Contracts. ACM Conference on Computer and Communications Security 2022 (CCS’22). Published, 11/07/2022.
  • Qingzhao Zhang, Xiao Zhu, Mu Zhang & Z. Morley Mao (2022). Automated Runtime Mitigation for Misconfiguration Vulnerabilities in Industrial Control Systems. the 25th International Symposium on Research in Attacks, Intrusions and Defenses (RAID’22). Published, 10/26/2022.
  • Jiaping Gui (2020). APTrace: A Responsive System for Agile Enterprise Level Causality Analysis. IEEE International Conference on Data Engineering. Published, 04/20/2020.
  • Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan & Dawn Song (2019). Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy. 2019 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. Published, 10/23/2019.
  • Mu Zhang, Chien-Ying Chen, Bin-Chou Kao, Yassine Qamsane, Yuru Shao, Yikai Lin, Elaine Shi, Sibin Mohan, Kira Barton, James Moyne & Z. Morley Mao (2019). Towards Automated Safety Vetting of PLC Code in Real-World Plants. the 40th IEEE Symposium on Security and Privacy. Published, 05/20/2019.
  • Yutao Tang, Ding Li, Zhichun Li, Mu Zhang, Kangkook Jee, Xusheng Xiao, Zhenyu Wu, Junghwan Rhee, Fengyuan Xu & Qun Li (2018). NodeMerge: Template Based Efficient Data Reduction For Big-Data Causality Analysis. The 25th ACM Conference on Computer and Communications Security. Published, 10/15/2018.

Presentations

  • Backtracking Intrusions in Modern Industrial Internet of Things. Idaho National Laboratory. Invited Talk/Keynote, Presented, 01/11/2024.
  • Backtracking Intrusions in Modern Industrial Internet of Things, the Center for Education and Research in Information Assurance and Security (CERIAS), Purdue University. Invited Talk/Keynote, Presented, 12/06/2023.
    https://www.cerias.purdue.edu/news_and_events/even...
  • Automated Detection of Configuration-based Vulnerabilities in HPC Workload Managers, NIST 3rd High-Performance Computing Security Workshop. Invited Talk/Keynote, Presented, 03/15/2023.
    https://www.nist.gov/news-events/events/2023/03/3r...
  • Towards Automated Safety Vetting of Smart Contracts in Decentralized Applications. Cisco Research, September 2022. Invited Talk/Keynote, Presented, 09/22/2022.
  • Neural Network-based Recovery of VM-protected Android Apps for Semantics-Aware Malware Detection. Illinois Institute of Technology, April 2022. Invited Talk/Keynote, Presented, 04/15/2022.
  • Neural Network-based Recovery of VM-protected Android Apps for Semantics-Aware Malware Detection. Fudan University, Mar 2022. Invited Talk/Keynote, Presented, 03/17/2022.
  • Automated Safety Vetting of Industrial Controller Code in Real-World Environments: State of the Arts and Future Work. Nanjing University, Sep 2020. Invited Talk/Keynote, Presented, 09/01/2020.
  • Towards Automated Safety Vetting of PLC Code in Real-World Plants. IEEE Symposium on Security and Privacy, 2019. Conference Paper, Refereed, Presented, 05/20/2019.

Research Groups

  • Shubham Mazumder, Graduate Student. 08/01/2022 - 05/31/2023.
  • Yunhe Yang, Graduate Student. 08/01/2022 - present.
  • Yu Pan, Graduate Student. 08/01/2021 - present.
  • Md Raihan Ahmed, Graduate Student. 08/01/2021 - present.
  • Levi Taiji Li, Graduate Student. 08/01/2021 - present.