DECAF++: Elastic Whole-System Dynamic Taint Analysis. - Ali Davanian; Zhenxiao Qi; Yu Qu; Heng Yin 001 (RAID, 2019)

SpecTaint: Speculative Taint Analysis for Discovering Spectre Gadgets. - Zhenxiao Qi; Qian Feng; Yueqiang Cheng; Mengjia Yan 001; Peng Li; Heng Yin 001; Tao Wei 002 (NDSS, 2021)

LogicMEM: Automatic Profile Generation for Binary-Only Memory Forensics via Logic Inference. - Zhenxiao Qi; Yu Qu; Heng Yin 001 (NDSS, 2022)

SymFit: Making the Common (Concrete) Case Fast for Binary-Code Concolic Execution. - Zhenxiao Qi; Jie Hu; Zhaoqi Xiao; Heng Yin 001 (USENIX Security Symposium, 2024)

Elastic Dynamic Binary Analysis and Applications - Zhenxiao Qi (2024)