Mapping to Bits: Efficiently Detecting Type Confusion Errors. - Chengbin Pang; Yunlan Du; Bing Mao 001; Shanqing Guo (ACSAC, 2018)

To Detect Stack Buffer Overflow with Polymorphic Canaries. - Zhilong Wang; Xuhua Ding; Chengbin Pang; Jian Guo; Jun Zhu; Bing Mao 001 (DSN, 2018)

Proving LTL Properties of Bitvector Programs and Decompiled Binaries. - Yuandong Cyrus Liu; Chengbin Pang; Daniel Dietsch; Eric Koskinen; Ton-Chanh Le; Georgios Portokalidis; Jun Xu 024 (APLAS, 2021)

Towards Optimal Use of Exception Handling Information for Function Detection. - Chengbin Pang; Ruotong Yu; Dongpeng Xu 001; Eric Koskinen; Georgios Portokalidis; Jun Xu 024 (DSN, 2021)

Facilitating Parallel Fuzzing with Mutually-Exclusive Task Distribution. - Yifan Wang; Yuchen Zhang 006; Chengbin Pang; Peng Li; Nikolaos Triandopoulos; Jun Xu 024 (SecureComm (2), 2021)

SoK: All You Ever Wanted to Know About x86/x64 Binary Disassembly But Were Afraid to Ask. - Chengbin Pang; Ruotong Yu; Yaohui Chen 001; Eric Koskinen; Georgios Portokalidis; Bing Mao 001; Jun Xu 024 (SP, 2021)

Source-Level Bitwise Branching for Temporal Verification of Lifted Binaries. - Yuandong Cyrus Liu; Chengbin Pang; Daniel Dietsch; Eric Koskinen; Ton-Chanh Le; Georgios Portokalidis; Jun Xu 024 (CoRR, 2021)

Ground Truth for Binary Disassembly is Not Easy. - Chengbin Pang; Tiantai Zhang; Ruotong Yu; Bing Mao 001; Jun Xu 024 (USENIX Security Symposium, 2022)

Debloating Address Sanitizer. - Yuchen Zhang 006; Chengbin Pang; Georgios Portokalidis; Nikos Triandopoulos; Jun Xu 024 (USENIX Security Symposium, 2022)

Profile-guided System Optimizations for Accelerated Greybox Fuzzing. - Yunhang Zhang; Chengbin Pang; Stefan Nagy; Xun Chen; Jun Xu 024 (CCS, 2023)

OCFI: Make Function Entry Identification Hard Again. - Chengbin Pang; Tiantai Zhang; Xuelan Xu; Linzhang Wang; Bing Mao 001 (ISSTA, 2023)

Generation-based fuzzing? Don't build a new generator, reuse! - Chengbin Pang; Hongbin Liu 005; Yifan Wang; Neil Zhenqiang Gong; Bing Mao 001; Jun Xu 024 (Comput. Secur., 2023)