山东大学网络空间安全学院在系统安全研究领域取得重要进展。由学院师生完成的两篇高水平学术论文，被系统安全领域的国际顶级会议USENIX Security 2023正式录用。这一成果标志着学院在网络与信息安全，特别是软件开发安全方向的研究达到了国际前沿水平，展现了学院扎实的科研实力和人才培养成效。

USENIX Security Symposium（USENIX安全研讨会）是信息安全领域历史悠久、享有盛誉的顶级学术会议之一，与IEEE S&P、ACM CCS并称为系统安全领域的三大旗舰会议。其录用标准极为严格，每年录用率通常较低，论文的录用代表了研究成果在创新性、技术深度和实际影响力方面获得了国际同行专家的高度认可。

据悉，本次被录用的两篇论文均聚焦于网络与信息安全的核心领域——软件开发安全。一篇论文深入探究了在复杂软件供应链环境下，新型代码漏洞的自动化挖掘与防御机制。研究团队提出了一种创新的静态与动态相结合的混合分析方法，能够更高效、更精准地识别开源组件及自研代码中的潜在安全风险，对于提升大型软件项目的内生安全性具有重要价值。

另一篇论文则关注于软件开发实践中的安全属性验证问题。针对当前广泛采用的开发框架和编程范式，研究团队设计并实现了一套轻量级的形式化验证工具链。该工作能够帮助开发者在软件构建的早期阶段即发现设计逻辑上的安全缺陷，将安全问题“左移”，从而显著降低后期修复成本并提升软件产品的整体安全质量。这两项研究工作均体现了从理论创新到实践应用的紧密结合。

山东大学网络空间安全学院自成立以来，始终面向国家网络空间安全的重大战略需求，坚持基础研究与工程应用并重，在密码学、软件安全、系统安全、网络安全等多个方向布局深耕。学院依托山东大学青岛校区（蓝谷）的区位与创新优势，积极营造一流的科研环境，鼓励师生挑战前沿科学问题，并致力于将科研成果转化为维护网络空间安全的有力工具。

此次两篇论文同时被USENIX Security录用，是学院长期积累、潜心钻研的必然结果。它不仅是对相关师生科研能力的肯定，也进一步提升了山东大学在网络空间安全领域的国际学术声誉和影响力。学院将继续聚焦核心关键技术，深化产学研合作，为培养更多卓越网络安全人才、产出更多原创性引领成果、服务国家网络安全建设而不懈努力。