刘健中

山东大学

课题组主页

刘健中

预聘制副教授, 山东大学计算机科学与技术学院

现为山东大学预聘制副教授。研究方向包括操作系统安全、系统软件测试、内核模糊测试、嵌入式系统安全与软件分析。研究致力于提升内核模糊测试的执行效率、跨平台适配能力和漏洞发现效果,并在 Linux、嵌入式操作系统、Android 设备驱动和文件系统等真实系统中发现了多类缺陷。

刘健中

内核模糊测试

通过改进覆盖反馈、执行机制和状态探索方法,提升操作系统内核模糊测试的效率与漏洞发现能力。

内核模糊测试覆盖反馈漏洞发现

嵌入式与移动系统安全

面向嵌入式操作系统、Android 固件驱动与硬件相关系统组件,开展跨平台、跨架构的安全测试研究。

嵌入式系统Android 驱动FreeRTOSOpenHarmony

文件系统与系统一致性测试

通过系统化探索文件系统持久化状态和系统行为,发现崩溃一致性与正确性缺陷。

文件系统崩溃一致性状态探索

软件分析与安全保障

面向系统软件、云原生基础设施与安全关键软件栈,构建实用的软件测试与分析技术。

软件测试程序分析安全保障

近期论文

会议论文 · 2025

DroidFuzz: Proprietary Driver Fuzzing for Embedded Android Devices

Jianzhong Liu, Yuheng Shen, Yifei Chu, Qiang Zhang, Heyuan Shi, Wanli Chang, Yu Jiang

Proceedings of the 62nd ACM/EDAC/IEEE Design Automation Conference (DAC)

论文链接

期刊论文 · 2025

SnapCC: Effective File System Consistency Testing Using Systematic State Exploration

Jianzhong Liu, Yuheng Shen, Yiru Xu, Hao Sun, Yu Jiang

ACM Transactions on Software Engineering and Methodology (TOSEM)

论文链接

会议论文 · 2024

Leveraging Binary Coverage for Effective Generation Guidance in Kernel Fuzzing

Jianzhong Liu, Yuheng Shen, Yiru Xu, Yu Jiang

ACM SIGSAC Conference on Computer and Communications Security (CCS)

论文链接

最新动态

2025-07-11

加入山东大学担任预聘制副教授

正在组建面向操作系统安全、系统软件测试与软件分析方向的课题组。

2026-07-01

开始招收研究生

欢迎对系统、安全与软件测试感兴趣的同学与我联系。

代表性科研项目

项目负责人 · 2026.07–2029.06

山东省自然科学基金青年基金(C类)

自主可控服务器操作系统内核模糊测试的多环节协同优化方法研究。经费:13万元。

技术骨干 · 2025-2026

华为技术合作项目

与华为合作开展系统软件安全相关研究。