About Me

I am a 5th-year Computer Science Ph.D. candidate at the University of California, Riverside (UCR). I am lucky to be advised by Prof. Heng Yin.

Research Interest

My research interests focus on binary analysis and threat detection. I developed various program analysis techniques (e.g., dynamic taint analysis, concolic execution, hybrid fuzzing, memory analysis, etc.) to solve security-related problems, including vulnerability/gadget discovery, kernel rootkit detection, memory forensics, etc.

Publications

1. [USENIX Security ‘24] Zhenxiao Qi Jie Hu, Zhaoqi Xiao, and Heng Yin, SymFit: Making the Common (Concrete) Case Fast for Binary-Code Concolic Execution, to appear in the 33rd USENIX Security Symposium, August 2024.
2. [NDSS’22] Zhenxiao Qi, Yu Qu, Heng Yin, LogicMem: Automatic Profile Generation for Binary-Only Memory Forensics via Logic Inference, to appear in the Network an Distributed system Security symposium, February 2022.
3. [NDSS’21] Zhenxiao Qi, Qian Feng, Yueqiang Cheng, Mengjia Yan, Peng Li, Heng Yin, and Tao Wei, SpecTaint: Speculative Taint Analysis for Discovering Spectre Gadgets, to appear in the Network and Distributed System Security Symposium, February 2021.
4. [RAID’19] Ali Davanian, Zhenxiao Qi, Yu Qu, and Heng Yin, DECAF++: Elastic Whole-System Dynamic Taint Analysis, in the 22nd International Symposium on Research in Attacks, Intrusions and Defenses, September 2019.

Professional Services

• Reviewer: Cybersecurity, Computers and Security, Journal of Cyber Security Technology.
• Sub-reviewer: USENIX Security’21, DIMVA’19
• Artifact Evaluation: ACSAC’19 / ‘20