2025年7月17日，由广东省安全智能新技术重点实验室和深圳市计算机学会主办的SAILING讲坛第二十八期于哈尔滨工业大学（深圳）顺利召开。

广东省安全智能新技术重点实验室是由广东省科学技术厅于2022年批准成立的省级科研平台，依托哈尔滨工业大学（深圳）进行建设管理。实验室遵循“开放、流动、联合、竞争”的发展方针。以提高自主创新能力为目标，聚焦广东优势学科、支柱产业以及重大战略需求，科学规划、整体布局，推进实验室体系提质增效，着力加强基础研究和源头创新能力，着力推进科技研发和成果转化，着力培育创新型人才队伍，着力强化开放共享，使之成为支撑广东建设更高水平科技创新强省的战略科技力量。

本期论坛围绕主题“操作系统安全”展开。本次SAILING讲坛由哈尔滨工业大学（深圳）王强副教授主持，由特邀嘉宾北京航空航天大学白家驹副教授作主题报告。

白家驹老师以《操作系统的自动化缺陷检测》为题展开报告。他首先指出操作系统作为计算机核心基础软件，其可靠性和安全性至关重要，并系统阐述了操作系统的自动化缺陷检测目前仍面临诸如代码量庞大且内核模块多、函数调用关系复杂、变量访问情况复杂等多种困难。随后重点介绍了其在操作系统动态分析和静态分析方面提出的多项创新技术和自研安全分析工具：在静态分析方面，提出针对大规模复杂被动式系统的分析方法；在动态分析方面，提出基于多维输入和运行状态指导的分析技术。白老师还展示了相关自研安全分析工具在开源及国产操作系统中的实际应用效果。最后，他对其正在开展的研究工作进行了简要概述。报告结束后，现场师生与白家驹老师就操作系统安全相关问题展开了热烈讨论。

嘉宾简介：

白家驹，北京航空航天大学网络空间安全学院副教授、博士生导师、安全工程系副主任、北航开源系统软件安全实验室主任。2018年博士毕业于清华大学计算机系，获得清华大学优秀博士毕业论文奖。研究方向为系统软件安全、操作系统和程序分析，主导研发的程序分析框架在主流开源和国产系统软件中数千个真实缺陷和漏洞。以第一/通讯作者在系统和安全会议期刊上发表40余篇学术论文(CCF-A类18篇)，担任中国计算机学会高级会员和系统软件专委会执行委员。入选中央网信办创新人才计划，获得ACM ChinaSys新星奖、CCF-腾讯犀牛鸟基金优秀项目奖、中国Linux内核开发者大会最佳演讲者奖等。主持国家自然科学基金、北京市/浙江省自然科学基金、中国计算机学会科研基金、企业合作项目等十余个项目，研究成果应用于华为、腾讯、蚂蚁、航天502所等国内知名企业单位，已获得6项应用证明和国家互联网应急中心感谢信。

嘉宾个人主页：https://baijiaju.github.io/