Heng Yin

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 8

Top Topics

Concurrent Execution

Abductive Reasoning

Stochastic Approximation

Artificially Intelligent

Top Venues

USENIX Security Symposium

Publications

Jie Hu, Yue Duan, Heng Yin
Marco: A Stochastic Asynchronous Concolic Explorer. ICSE (2024)
Zhenxiao Qi, Jie Hu, Zhaoqi Xiao, Heng Yin
SymFit: Making the Common (Concrete) Case Fast for Binary-Code Concolic Execution. USENIX Security Symposium (2024)
Jie Hu, Qian Zhang, Heng Yin
Augmenting Greybox Fuzzing with Generative AI. CoRR (2023)
Ju Chen, Chengyu Song, Heng Yin
R-Fuzz at SBFT'2023. SBFT (2023)
Jianlei Chi, Yu Qu, Ting Liu, Qinghua Zheng, Heng Yin
SeqTrans: Automatic Vulnerability Fix Via Sequence to Sequence Learning. IEEE Trans. Software Eng. 49 (2) (2023)
Yiru Zhao, Xiaoke Wang, Lei Zhao, Yueqiang Cheng, Heng Yin
Alphuzz: Monte Carlo Search on Seed-Mutation Tree for Coverage-Guided Fuzzing. ACSAC (2022)
Emilio Coppa, Heng Yin, Camil Demetrescu
SymFusion: Hybrid Instrumentation for Concolic Execution. ASE (2022)
Zhenxiao Qi, Yu Qu, Heng Yin
LogicMEM: Automatic Profile Generation for Binary-Only Memory Forensics via Logic Inference. NDSS (2022)