Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Zhenxiao Qi

dblp:249/4946 · DBLP profile ↗
← Back
4ranked-venue papers
3as first author
3since 2021 · last 2024
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 4 · 3 first-author · 3 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Network and information security
2 papers
Hardware security and side channels · 64% Digital forensics and information hiding · 36%
Software engineering, system software, and programming languages
2 papers
Program analysis · 100%

Topics — the 6 heaviest of 6, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Program analysis › symbolic execution
dynamic symbolic execution
0.812024
SymFit: Making the Common (Concrete) Case Fast for Binary-Code Concolic Execution · USENIX Security Symposium 2024
Digital forensics and information hiding › digital forensics
memory forensics
0.612022
LogicMEM: Automatic Profile Generation for Binary-Only Memory Forensics via Logic Inference · NDSS 2022
Hardware security and side channels › microarchitectural attacks › transient execution attack › speculative execution attack
spectre
0.512021
SpecTaint: Speculative Taint Analysis for Discovering Spectre Gadgets · NDSS 2021
Hardware security and side channels › microarchitectural attacks › transient execution attack
speculative execution attack
0.512021
SpecTaint: Speculative Taint Analysis for Discovering Spectre Gadgets · NDSS 2021
Program analysis › static analysis
taint analysis
0.512021
SpecTaint: Speculative Taint Analysis for Discovering Spectre Gadgets · NDSS 2021
Program analysis
symbolic execution
0.212024
SymFit: Making the Common (Concrete) Case Fast for Binary-Code Concolic Execution · USENIX Security Symposium 2024

Methods — techniques the papers use, named apart from their topics

taint analysis · 1.0static analysis · 1.0logic inference · 0.6
YearPublicationVenuePosition
2024 SymFit: Making the Common (Concrete) Case Fast for Binary-Code Concolic Execution
Zhenxiao Qi, Jie Hu 0031, Zhaoqi Xiao, Heng Yin 0001
USENIX Security Symposium1
2022 LogicMEM: Automatic Profile Generation for Binary-Only Memory Forensics via Logic Inference
Zhenxiao Qi, Yu Qu, Heng Yin 0001
NDSS1
2021 SpecTaint: Speculative Taint Analysis for Discovering Spectre Gadgets
Zhenxiao Qi, Yueqiang Cheng, Mengjia Yan 0001, Heng Yin 0001, Tao Wei 0002
NDSS1
2019 DECAF++: Elastic Whole-System Dynamic Taint Analysis
Ali Davanian, Zhenxiao Qi, Yu Qu, Heng Yin 0001
RAID2