系统软件与安全实验室

探究AI生成代码的现状及前景

实验室出席国际软件工程领域会议ASE 2025并带来5场论文报告

实验室受邀在AI欺骗专家圆桌会议上分享AI Deception领域的最新研究成果

复旦大学系统软件与安全实验室凭借在漏洞安全研究方面的突出贡献，荣获“华为安全奖励计划特别贡献奖”。

MCPZoo 官网正式上线啦！

MCPZoo 官网正式上线啦！

白泽智能团队发布了《Jade有害图像分类指引》(Jade-HTG) 及配套评测 Benchmark，涵盖六大文生图内容安全类别（即淫秽色情、令人不适、血腥暴力、敏感涉政、不良诱导和仇恨歧视）和两个评测维度（全面性和对抗鲁棒性）。

MCPZoo —— 一个涵盖大量 MCP 服务器的运行样本库，通过自动化收集、部署与测量的方式，对不同来源的 MCP 实例进行统一化整理与运行验证。

复旦白泽智能团队发布JADE系列新成员：JadeLRMGuard——首个面向大型推理模型的推理链安全防护工具。

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