Zhuohao Zhang
My name is Zhuohao Zhang (张倬豪), also known as MM0n5Ter. I am an M.S. student in Security Informatics at Johns Hopkins University. I received my B.S. in Information and Software Engineering from the University of Electronic Science and Technology of China.
My research interests include program analysis, software security, and AI-assisted code synthesis and verification. I currently work on correctness in scientific software and have previously studied dynamic taint analysis, vulnerability discovery, and Android application analysis.
Publications
-
Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine [arXiv] [code]
, Junkun Liu, Rui Yang, Yinzhi Cao, Ziyang Li.
Accepted at the 49th International Conference on Software Engineering (ICSE 2027). -
Call Back Later: Studying and Detecting Reentrant Interpretation Vulnerability in Python Interpreters
Zhengyu Liu, , Jiacheng Zhong, Yu Sun, Jianjia Yu, Ziyang Li, Yinzhi Cao.
Accepted at the IEEE Symposium on Security and Privacy (S&P 2027). -
An Empirical Study on the Robustness of Android Third-Party Library Detection Tools Against Advanced Obfuscation [paper]
Dahan Pan, , Yunjia Min, Runhan Feng, Yuanyuan Zhang.
In Proceedings of the 48th International Conference on Software Engineering (ICSE 2026). -
Accurate and Efficient Code Matching Across Android Application Versions against Obfuscation [paper]
Runhan Feng, , Yetong Zhou, Ziyang Yan, Yuanyuan Zhang.
In Proceedings of the 31st International Conference on Software Analysis, Evolution and Reengineering (SANER 2024).
Preprint
-
Discovery or Memorization? A Faithful Benchmark for Real-World Business-Logic Vulnerability Discovery [arXiv]
Rui Yang, Yichao Xu, , Jiahao Ji, Chaowei Xiao, Yinzhi Cao, Ziyang Li.
Miscellaneous
I am part of Music Dynasty at Johns Hopkins. Check out our RedNote and Instagram.
I love beatboxing. I have performed with an a cappella group and enjoy making music with the RC-505.