白家驹｜北京航空航天大学｜学者主页

2026

大语言模型驱动的网络协议逆向与安全测试方法

张东，詹一宸，白家驹，关振宇

《网络空间安全科学学报》

2026

Identifying Logical Vulnerabilities in QUIC Implementations

Kaihua Wang, Jianjun Chen, Pinji Chen, Jian-Wei Zhuge, Jiaju Bai, Hai-Xin Duan

Network and Distributed System Security Symposium

DOI

2026

NetPuzz: Testing Network Printers via Fully Black-Box and Feedback-Guided Protocol Fuzzing

Jiaju Bai, Ruinan Hu, Cheng Li, Jianjun Chen, Rui Chen, Zhenyu Guan

IEEE Transactions on Dependable and Secure Computing

DOI

2026

One DBMS, Two Modes, and a Bunch of Bugs: Catching Logic Bugs in Distributed DBMSs via Differential Testing

Zikun Fu, Jiaju Bai, Hong-Bo Feng, Kang Chen

Proc. ACM Manag. Data

DOI

2025

BESA: Extending Bugs Triggered by Runtime Testing via Static Analysis

Jiaju Bai

European Conference on Computer Systems

DOI

2025

Network-Layer Differential Fuzzing for Ethereum

Fudong Wu, Qianhong Wu, Jia-Ju Bai, Bo Qin, Zhenyu Guan, Willy Susilo

IEEE Transactions on Information Forensics and Security

DOI

2025

Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning

Yong-Hao Zou, Jia-Ju Bai, Zu-Ming Jiang, Ming Yu Zhao, Diyu Zhou

Network and Distributed System Security Symposium

DOI

2025

Detecting Lifecycle-Related Concurrency Bugs in ROS Programs via Coverage-Guided Fuzzing

Si-Miao Gao, Pengcheng Wang, Jia-Ju Bai, Jia-Wei Yu, Haizhou Wang

IEEE Transactions on Information Forensics and Security

DOI

2024

Gopher: High-Precision and Deep-Dive Detection of Cryptographic API Misuse in the Go Ecosystem

Yuexin Zhang, Bingyu Li, Jing-Qiang Lin, Ling-Hui Li, Jiaju Bai, Shijie Jia, Qian-Hong Wu

Conference on Computer and Communications Security

DOI

2024

SPATA: Effective OS Bug Detection with Summary-Based, Alias-Aware, and Path-Sensitive Typestate Analysis

Tuo Li, Jia-Ju Bai, Yulei Sui, Shi‐Min Hu

ACM Transactions on Computer Systems

DOI

2024

Multi-Dimensional and Message-Guided Fuzzing for Robotic Programs in Robot Operating System

Jia-Ju Bai, Haoxuan Song, Shi‐Min Hu

ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)

DOI

2023

Testing Error Handling Code With Software Fault Injection and Error-Coverage-Guided Fuzzing

Jia-Ju Bai, Zi-Xuan Fu, Kai-Tao Xie, Zu-Ming Jiang

IEEE Transactions on Dependable and Secure Computing

DOI

2015

一种内核模块的指针错误隔离方法

白家驹，刘虎球，王瑀屏

《小型微型计算机系统》

2015

一种面向内核接口的顺序依赖规则挖掘与违例检测方法

刘虎球，白家驹，王瑀屏

《计算机学报》

2013

面向驱动配置的自动日志插入方法研究

刘虎球，马超，白家驹

《计算机学报》

2013

一种新型内核扩展安全访问方法

刘虎球，马超，白家驹

《小型微型计算机系统》

2013

FPSFI:一种基于LLVM架构的驱动错误隔离机制

甄凯，白家驹，刘虎球，郭旭峰

《小型微型计算机系统》

白家驹

精选作品

期刊论文

大语言模型驱动的网络协议逆向与安全测试方法

Identifying Logical Vulnerabilities in QUIC Implementations

NetPuzz: Testing Network Printers via Fully Black-Box and Feedback-Guided Protocol Fuzzing

One DBMS, Two Modes, and a Bunch of Bugs: Catching Logic Bugs in Distributed DBMSs via Differential Testing

BESA: Extending Bugs Triggered by Runtime Testing via Static Analysis

Network-Layer Differential Fuzzing for Ethereum

Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning

Detecting Lifecycle-Related Concurrency Bugs in ROS Programs via Coverage-Guided Fuzzing

Gopher: High-Precision and Deep-Dive Detection of Cryptographic API Misuse in the Go Ecosystem

SPATA: Effective OS Bug Detection with Summary-Based, Alias-Aware, and Path-Sensitive Typestate Analysis

Multi-Dimensional and Message-Guided Fuzzing for Robotic Programs in Robot Operating System

Testing Error Handling Code With Software Fault Injection and Error-Coverage-Guided Fuzzing

一种内核模块的指针错误隔离方法

一种面向内核接口的顺序依赖规则挖掘与违例检测方法

面向驱动配置的自动日志插入方法研究

一种新型内核扩展安全访问方法

FPSFI:一种基于LLVM架构的驱动错误隔离机制

研究方向