实验室周纯杰老师申报的国家自然科学基金重点国际（地区）合作与交流项目“工业控制系统信息安全防护的形式化分析与验证”申请获得批准资助，批准号：62320106005，项目执行时间：2024.01-2028.12。
项目针对工业控制系统信息安全防护的分析与验证中的难点问题，提出一套工业控制系统信息安全防护形式化分析与验证的理论与方法，围绕 “信息安全规范生成、安全防护验证模型构建、组合式模型抽象方法、高性能联合校验，大规模工业应用验证”五个方面开展研究，为工业控制系统信息安全防护的分析与验证提供理论依据和技术支撑。
国家自然科学基金重点国际（地区）合作与交流项目是基金委设立的，聚焦于我国迫切需要发展研究领域的重点项目类型，2023年整个基金委项目数为74项，申报难度非常之大。该项目的申报成功，是实验室在2021年获得国家自然科学基金重大科研仪器项目后的一大里程碑，标志着实验室的科研工作在国际合作方面迈上新台阶。
