Login / Signup
Haochen Zeng
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Decision Making
Learning Algorithm
Space Efficient
Data Points
Top Venues
USENIX Security Symposium
</>
Publications
</>
Ju Chen
,
Wookhyun Han
,
Mingjun Yin
,
Haochen Zeng
,
Chengyu Song
,
Byoungyoung Lee
,
Heng Yin
,
Insik Shin
SYMSAN: Time and Space Efficient Concolic Execution via Dynamic Data-flow Analysis.
USENIX Security Symposium
(2022)