Object Mapping for Layered Cooperative Systems. - Chengkai Li 001; Bing Mao 001; Daoxu Chen; Li Xie 001 (TOOLS (31), 1999)

The design and implementation of a runtime system for graph-oriented parallel and distributed programming. - Jiannong Cao 001; Ying Liu 007; Li Xie 001; Bing Mao 001; Kang Zhang 001 (J. Syst. Softw., 2004)

A policy flexible architecture for secure operating system. - Zhiqiang Lin 001; Chao Wang 113; Bing Mao 001; Li Xie 001 (ACM SIGOPS Oper. Syst. Rev., 2005)

A Practical Framework for Dynamically Immunizing Software Security Vulnerabilities. - Zhiqiang Lin 001; Bing Mao 001; Li Xie 001 (ARES, 2006)

Efficient and Practical Control Flow Monitoring for Program Security. - Nai Xia; Bing Mao 001; Qingkai Zeng 002; Li Xie 001 (ASIAN, 2006)

Transparent Run-Time Prevention of Format-String Attacks Via Dynamic Taint and Flexible Validation. - Zhiqiang Lin 001; Nai Xia; Guole Li; Bing Mao 001; Li Xie 001 (ISC, 2006)

BRICK: A Binary Tool for Run-Time Detecting and Locating Integer-Based Vulnerability. - Ping Chen 003; Yi Wang; Zhi Xin; Bing Mao 001; Li Xie 001 (ARES, 2009)

Traffic Controller: A Practical Approach to Block Network Covert Timing Channel. - Yi Wang; Ping Chen 003; Yi Ge; Bing Mao 001; Li Xie 001 (ARES, 2009)

IntFinder: Automatically Detecting Integer Bugs in x86 Binary Program. - Ping Chen 003; Hao Han; Yi Wang; Xiaobin Shen 001; Xinchun Yin; Bing Mao 001; Li Xie 001 (ICICS, 2009)

DROP: Detecting Return-Oriented Programming Malicious Code. - Ping Chen 003; Hai Xiao; Xiaobin Shen 001; Xinchun Yin; Bing Mao 001; Li Xie 001 (ICISS, 2009)

Return-Oriented Rootkit without Returns (on the x86). - Ping Chen 003; Xiao Xing; Bing Mao 001; Li Xie 001 (ICICS, 2010)

Efficient Detection of the Return-Oriented Programming Malicious Code. - Ping Chen 003; Xiao Xing; Hao Han; Bing Mao 001; Li Xie 001 (ICISS, 2010)

Misleading Malware Similarities Analysis by Automatic Data Structure Obfuscation. - Zhi Xin; Huiyu Chen; Hao Han; Bing Mao 001; Li Xie 001 (ISC, 2010)

Automatic construction of jump-oriented programming shellcode (on the x86). - Ping Chen 003; Xiao Xing; Bing Mao 001; Li Xie 001; Xiaobin Shen 001; Xinchun Yin (AsiaCCS, 2011)

Replacement Attacks on Behavior Based Software Birthmark. - Zhi Xin; Huiyu Chen; Xinche Wang; Peng Liu 005; Sencun Zhu; Bing Mao 001; Li Xie 001 (ISC, 2011)

JITDefender: A Defense against JIT Spraying Attacks. - Ping Chen 003; Yi Fang; Bing Mao 001; Li Xie 001 (SEC, 2011)

RIM: A Method to Defend from JIT Spraying Attack. - Rui Wu; Ping Chen 003; Bing Mao 001; Li Xie 001 (ARES, 2012)

CloudER: a framework for automatic software vulnerability location and patching in the cloud. - Ping Chen 003; Dongyan Xu; Bing Mao 001 (AsiaCCS, 2012)

RandHyp: Preventing Attacks via Xen Hypercall Interface. - Feifei Wang; Ping Chen 003; Bing Mao 001; Li Xie 001 (SEC, 2012)

Replacement attacks: automatically evading behavior-based software birthmark. - Zhi Xin; Huiyu Chen; Xinche Wang; Peng Liu 005; Sencun Zhu; Bing Mao 001; Li Xie 001 (Int. J. Inf. Sec., 2012)

DroidAlarm: an all-sided static analysis tool for Android privilege-escalation malware. - Yibing Zhongyang; Zhi Xin; Bing Mao 001; Li Xie 001 (AsiaCCS, 2013)

JITSafe: a framework against Just-in-time spraying attacks. - Ping Chen 003; Rui Wu; Bing Mao 001 (IET Inf. Secur., 2013)

System Call Redirection: A Practical Approach to Meeting Real-World Virtual Machine Introspection Needs. - Rui Wu; Ping Chen 003; Peng Liu 005; Bing Mao 001 (DSN, 2014)

Automatic construction of printable return-oriented programming payload. - Wenbiao Ding; Xiao Xing; Ping Chen 003; Zhi Xin; Bing Mao 001 (MALWARE, 2014)

Detecting Code Reuse in Android Applications Using Component-Based Control Flow Graph. - Xin Sun; Yibing Zhongyang; Zhi Xin; Bing Mao 001; Li Xie 001 (SEC, 2014)

Defensor: Lightweight and Efficient Security-Enhanced Framework for Android. - Xuerui Pan; Yibing Zhongyang; Zhi Xin; Bing Mao 001; Hao Huang (TrustCom, 2014)

Detect Android Malware Variants Using Component Based Topology Graph. - Tong Shen; Yibing Zhongyang; Zhi Xin; Bing Mao 001; Hao Huang (TrustCom, 2014)

Replacement Attacks: Automatically Impeding Behavior-Based Malware Specifications. - Jiang Ming 002; Zhi Xin; Pengwei Lan; Dinghao Wu; Peng Liu 005; Bing Mao 001 (ACNS, 2015)

A Practical Approach for Adaptive Data Structure Layout Randomization. - Ping Chen 003; Jun Xu 024; Zhiqiang Lin 001; Dongyan Xu; Bing Mao 001; Peng Liu 005 (ESORICS (1), 2015)

Detection, Classification and Characterization of Android Malware Using API Data Dependency. - Yongfeng Li; Tong Shen; Xin Sun; Xuerui Pan; Bing Mao 001 (SecureComm, 2015)

TextLogger: inferring longer inputs on touch screen using motion sensors. - Dan Ping; Xin Sun; Bing Mao 001 (WISEC, 2015)

Data Flow Analysis on Android Platform with Fragment Lifecycle Modeling. - Yongfeng Li; Jinbin Ouyang; Shanqing Guo; Bing Mao 001 (SecureComm, 2016)

What You See is Not What You Get! Thwarting Just-in-Time ROP with Chameleon. - Ping Chen 003; Jun Xu 024; Zhisheng Hu; Xinyu Xing 001; Minghui Zhu; Bing Mao 001; Peng Liu 005 (DSN, 2017)

NIVAnalyzer: A Tool for Automatically Detecting and Verifying Next-Intent Vulnerabilities in Android Apps. - Junjie Tang; Xingmin Cui; Ziming Zhao 001; Shanqing Guo; Xin-Shun Xu; Chengyu Hu; Tao Ban; Bing Mao 001 (ICST, 2017)

ROPOB: Obfuscating Binary Code via Return Oriented Programming. - Dongliang Mu; Jia Guo; Wenbiao Ding; Zhilong Wang; Bing Mao 001; Lei Shi 001 (SecureComm, 2017)

DiffGuard: Obscuring Sensitive Information in Canary Based Protections. - Jun Zhu; Weiping Zhou; Zhilong Wang; Dongliang Mu; Bing Mao 001 (SecureComm, 2017)

Postmortem Program Analysis with Hardware-Enhanced Post-Crash Artifacts. - Jun Xu 024; Dongliang Mu; Xinyu Xing 001; Peng Liu 005; Ping Chen 003; Bing Mao 001 (USENIX Security Symposium, 2017)

Data Flow Analysis on Android Platform with Fragment Lifecycle Modeling and Callbacks. - Yongfeng Li; Jinbin Ouyang; Bing Mao 001; Kai Ma; Shanqing Guo (EAI Endorsed Trans. Security Safety, 2017)

Impeding behavior-based malware analysis via replacement attacks to malware specifications. - Jiang Ming 002; Zhi Xin; Pengwei Lan; Dinghao Wu; Peng Liu 005; Bing Mao 001 (J. Comput. Virol. Hacking Tech., 2017)

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)

DCQCN+: Taming Large-Scale Incast Congestion in RDMA over Ethernet Networks. - Yixiao Gao; Yuchen Yang; Chen Tian 001; Jiaqi Zheng 001; Bing Mao 001; Guihai Chen (ICNP, 2018)

Detecting missing checks for identifying insufficient attack protections. - Lingyun Situ; Liang Zou; Linzhang Wang; Yang Liu 003; Bing Mao 001; Xuandong Li (ICSE (Companion Volume), 2018)

Vanguard: Detecting Missing Checks for Prognosing Potential Vulnerabilities. - Lingyun Situ; Linzhang Wang; Yang Liu 003; Bing Mao 001; Xuandong Li (Internetware, 2018)

Understanding the Reproducibility of Crowd-reported Security Vulnerabilities. - Dongliang Mu; Alejandro Cuevas; Limin Yang; Hang Hu 002; Xinyu Xing 001; Bing Mao 001; Gang Wang 011 (USENIX Security Symposium, 2018)

PTrix: Efficient Hardware-Assisted Fuzzing for COTS Binary. - Yaohui Chen 001; Dongliang Mu; Jun Xu 024; Zhichuang Sun; Wenbo Shen; Xinyu Xing 001; Long Lu; Bing Mao 001 (AsiaCCS, 2019)

RENN: Efficient Reverse Execution with Neural-Network-Assisted Alias Analysis. - Dongliang Mu; Wenbo Guo 002; Alejandro Cuevas; Yueqi Chen 001; Jinxuan Gai; Xinyu Xing 001; Bing Mao 001; Chengyu Song (ASE, 2019)

Automatic Detection and Repair Recommendation for Missing Checks. - Lingyun Situ; Linzhang Wang; Yang Liu 003; Bing Mao 001; Xuandong Li (J. Comput. Sci. Technol., 2019)

CATI: Context-Assisted Type Inference from Stripped Binaries. - Ligeng Chen; Zhongling He; Bing Mao 001 (DSN, 2020)

HART: Hardware-Assisted Kernel Module Tracing on Arm. - Yunlan Du; Zhenyu Ning; Jun Xu 024; Zhilong Wang; Yueh-Hsun Lin; Fengwei Zhang; Xinyu Xing 001; Bing Mao 001 (ESORICS (1), 2020)

An Empirical Study on Benchmarks of Artificial Software Vulnerabilities. - Sijia Geng; Yuekang Li; Yunlan Du; Jun Xu 024; Yang Liu 003; Bing Mao 001 (CoRR, 2020)

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)

RoBin: Facilitating the Reproduction of Configuration-Related Vulnerability. - Ligeng Chen; Jian Guo; Zhongling He; Dongliang Mu; Bing Mao 001 (TrustCom, 2021)

POMP++: Facilitating Postmortem Program Diagnosis with Value-Set Analysis. - Dongliang Mu; Yunlan Du; Jianhao Xu; Jun Xu 024; Xinyu Xing 001; Bing Mao 001; Peng Liu 005 (IEEE Trans. Software Eng., 2021)

Windranger: A Directed Greybox Fuzzer driven by Deviation Basic Blocks. - Zhengjie Du; Yuekang Li; Yang Liu 003; Bing Mao 001 (ICSE, 2022)

Nimbus: Toward Speed Up Function Signature Recovery via Input Resizing and Multi-Task Learning. - Yi Qian; Ligeng Chen; Yuyang Wang; Bing Mao 001 (QRS, 2022)

AVMiner: Expansible and Semantic-Preserving Anti-Virus Labels Mining Method. - Ligeng Chen; Zhongling He; Hao Wu 067; Yuhang Gong; Bing Mao 001 (TrustCom, 2022)

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

DIComP: Lightweight Data-Driven Inference of Binary Compiler Provenance with High Accuracy. - Ligeng Chen; Zhongling He; Hao Wu 067; Fengyuan Xu; Yi Qian; Bing Mao 001 (SANER, 2022)

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

WarpAttack: Bypassing CFI through Compiler-Introduced Double-Fetches. - Jianhao Xu; Luca Di Bartolomeo; Flavio Toffalini; Bing Mao 001; Mathias Payer (SP, 2023)

Silent Bugs Matter: A Study of Compiler-Introduced Security Bugs. - Jianhao Xu; Kangjie Lu; Zhengjie Du; Zhu Ding; Linke Li; Qiushi Wu; Mathias Payer; Bing Mao 001 (USENIX Security Symposium, 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)

Nimbus++: Revisiting Efficient Function Signature Recovery with Depth Data Analysis. - Ligeng Chen; Yi Qian; Yuyang Wang; Bing Mao 001 (Int. J. Softw. Eng. Knowl. Eng., 2023)

EVaDe: Efficient and Lightweight Mirai Variants Detection via Approximate Largest Submatrix Search. - Xuguo Wang; Ligeng Chen; Yuyang Wang; Hao Huang; Bing Mao 001 (Int. J. Softw. Eng. Knowl. Eng., 2023)

Medusa: Unveil Memory Exhaustion DoS Vulnerabilities in Protocol Implementations. - Zhengjie Du; Yuekang Li; Yaowen Zheng; Xiaohan Zhang; Cen Zhang; Yi Liu 069; Sheikh Mahbub Habib; Xinghua Li 001; Linzhang Wang; Yang Liu 003; Bing Mao 001 (WWW, 2024)

A Survey of Protocol Fuzzing. - Xiaohan Zhang; Cen Zhang; Xinghua Li 001; Zhengjie Du; Yuekang Li; Yaowen Zheng; Yeting Li; Bing Mao 001; Yang Liu 003; Robert H. Deng (CoRR, 2024)

Inferring State Machine from the Protocol Implementation via Large Langeuage Model. - Haiyang Wei; Zhengjie Du; Haohui Huang; Yue Liu; Guang Cheng; Linzhang Wang; Bing Mao 001 (CoRR, 2024)

CATI++: empirical study and evaluation for adjacent instruction enhanced type inference. - Ligeng Chen; Zhongling He; Yi Qian; Bing Mao 001 (Comput. J., 2025)

A Survey of Protocol Fuzzing. - Xiaohan Zhang; Cen Zhang; Xinghua Li 001; Zhengjie Du; Bing Mao 001; Yuekang Li; Yaowen Zheng; Yeting Li; Li Pan 002; Yang Liu 003; Robert H. Deng (ACM Comput. Surv., 2025)