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.
Latest Highlights
CCS 2025
SyzSpec: Specification Generation for Linux Kernel Fuzzing via Under-Constrained Symbolic Execution
ACM SIGSAC Conference on Computer and Communications Security (CCS 25)
Distinguished Paper Award