Zhenxiao Qi

According to our database, Zhenxiao Qi authored at least 4 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

SymFit: Making the Common (Concrete) Case Fast for Binary-Code Concolic Execution.

Zhenxiao Qi, Jie Hu, Zhaoqi Xiao, Heng Yin

Proceedings of the 33rd USENIX Security Symposium, 2024

2022

LogicMEM: Automatic Profile Generation for Binary-Only Memory Forensics via Logic Inference.

Zhenxiao Qi, Yu Qu, Heng Yin

Proceedings of the 29th Annual Network and Distributed System Security Symposium, 2022

2021

SpecTaint: Speculative Taint Analysis for Discovering Spectre Gadgets.

Zhenxiao Qi, Qian Feng, Yueqiang Cheng, Mengjia Yan, Peng Li, Heng Yin, Tao Wei

Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021

2019

DECAF++: Elastic Whole-System Dynamic Taint Analysis.

Ali Davanian, Zhenxiao Qi, Yu Qu, Heng Yin

Proceedings of the 22nd International Symposium on Research in Attacks, 2019