系统软件与安全实验室

复旦大学系统软件与安全实验室的研究团队提出了LIAN，一个面向多语言的全新静态分析基础设施，它通过抽象解释精确地“重建”程序的内存语义，重新定义了静态分析动态语言的可能性。

复旦白泽智能团队发布了 JADE 7.0，包含两大核心成果：由白泽智能团队原创性总结的首个针对恶意MCP Server的系统性分类（JADE-MCP-CLS），以及一个与之配套的恶意Server实例集合。

复旦大学白泽智能团队负责人张谧教授接受南都大数据研究院记者专访，围绕“生成式引擎优化”(GEO)影响AI搜索引擎的生成结果以夹带商业推广内容的运作机制进行了剖析，指出其潜在风险，并进一步提出了构建可信AI搜索引擎的前沿思考与可行路径。

白泽·鉴微小程序安全检测平台作为复旦大学产学研深度融合的重要成果，凭借其先进的技术能力和卓越的安全检测服务，对网络与数据安全保障工作提供了有力支撑，有效助力了复旦大学获得最终评选。

9月11日下午，实验室组织了25级新生迎新大会，欢迎新同学们的加入。活动不仅向大家介绍了实验室的基本情况，更传达了老师们的期许与祝福，帮助新同学们更快地融入白泽这个大家庭。

复旦白泽团队近日联合腾讯安全团队及多所国内顶尖高校，构建了业内首个聚焦AI生成代码安全性的项目级评测框架，系统化评估大模型在真实2025年8月10日至13日，第十八届全国大学生信息安全竞赛作品赛于西安交通大学举行。我实验室四支本科生参赛队伍斩获佳绩，获全国二等奖两项、三等奖两项。

复旦白泽团队近日联合腾讯安全团队及多所国内顶尖高校，构建了业内首个聚焦AI生成代码安全性的项目级评测框架，系统化评估大模型在真实工程场景中的安全代码生成能力。

7月26日下午，作为2025世界人工智能大会（WAIC）的重要组成部分，由大会组委会指导的“智能体元年，安全准备好了吗？”青年思辨会在上海世博中心成功举办。

复旦大学白泽智能团队的负责人张谧教授接受了南都大数据研究院记者的采访，分享对AI大模型“毒性人格”的深度思考与前沿观点。

复旦大学系统软件与安全实验室小程序安全研究团队推出小程序安全检测平台——白泽·鉴微，用先进的程序分析和代码语义理解技术，为小程序进行检查