About Me

I am Yu Hao, a Security Researcher at Huawei’s HarmonyOS System Security Team. My research focuses on operating system security and program analysis (for C/C++). I improve multiple program analysis and testing techniques (e.g., Fuzzing, LLMs for Security, Static Analysis based on LLVM/Clang, Symbolic Execution), thereby combining their advantages to systematically and automatically improve the security of real-world software systems (e.g., Linux kernel, Hongmeng kernel, concurrent programs). My research has led to multiple papers published in prestigious conferences (e.g., S&P, USENIX Security, CCS, NDSS, ICSE, FSE) and journals (e.g., TSE). The open-source tools I develop attract interest from academia, the community, and industry. Besides open-source tools, I also report bugs and CVEs for the Linux kernel and contribute patches.

I am looking forward to cooperation with researchers and industry partners in the field of operating system security. I am also offering internship and full-time positions for talented individuals.

News

• [2025] Received Distinguished Paper Award at CCS 2025 for “SyzSpec: Specification Generation for Linux Kernel Fuzzing via Under-Constrained Symbolic Execution”.
• [2024] Received Laxmi Bhuyan Fellowship Award from University of California, Riverside.