Zhenxiao Qi

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 4

Top Topics

Logical Inference

Statistical Analysis

Top Venues

USENIX Security Symposium

Publications

Zhenxiao Qi, Jie Hu, Zhaoqi Xiao, Heng Yin
SymFit: Making the Common (Concrete) Case Fast for Binary-Code Concolic Execution. USENIX Security Symposium (2024)
Zhenxiao Qi, Yu Qu, Heng Yin
LogicMEM: Automatic Profile Generation for Binary-Only Memory Forensics via Logic Inference. NDSS (2022)
Zhenxiao Qi, Qian Feng, Yueqiang Cheng, Mengjia Yan, Peng Li, Heng Yin, Tao Wei
SpecTaint: Speculative Taint Analysis for Discovering Spectre Gadgets. NDSS (2021)
Ali Davanian, Zhenxiao Qi, Yu Qu, Heng Yin
DECAF++: Elastic Whole-System Dynamic Taint Analysis. RAID (2019)