-
Assistant Professor, School Of Computing
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.