Yu Hao (郝宇)

Security Researcher @ Huawei HarmonyOS

My research focuses on operating system security and program analysis. I specialize in fuzzing, LLMs for security, static analysis (LLVM/Clang), and symbolic execution. My work systematically improves the security of real-world software systems like the Linux and Hongmeng kernels.

Yu Hao

Latest Highlights

CCS 2025

SyzSpec: Specification Generation for Linux Kernel Fuzzing via Under-Constrained Symbolic Execution

Yu Hao, Juefei Pu, Xingyu Li, Zhiyun Qian, Ardalan Amiri Sani

ACM SIGSAC Conference on Computer and Communications Security (CCS 25)

Distinguished Paper Award

View Full Publications