Ju Chen

JIGSAW: Efficient and Scalable Path Constraints Fuzzing

Chengyu Song, Ju Chen, Jinghan Wang, 2022, 2022 IEEE Symposium on Security and Privacy (SP).

SYMSAN: Time and Space Efficient Concolic Execution via Dynamic Data-flow Analysis

I. Shin, Heng Yin, Chengyu Song, 2022, USENIX Security Symposium.