1

全同态加密自举算法设计与硬件实现

面向数据安全共享与隐私保护计算需求，针对全同态加密自举过程中计算开销大、存储与访存负担重等问题，研究高效自举算法及其硬件实现方法，提升密文计算效率与能效。具体包括：研究自举过程中的计算与噪声特征，设计满足安全性和计算正确性要求的低开销自举算法及参数优化方法；研究关键算子的并行化与硬件映射方法，设计面向自举计算的硬件加速架构；研究计算调度、存储组织与数据传输的协同优化机制，开展硬件原型实现与验证，评估自举时延、吞吐率、资源开销及能耗，为全同态加密在数据安全计算中的应用提供技术支撑。

王睿达

2

量子攻击场景下对称密码安全性分析与线路优化研究

研究量子分析理论优化扩展模型，通过建立周期等量子特征与传统差分分析技术的联系，并利用自动化搜索工具，构造更高效的量子攻击算法，同时尝试将经典算法转化为对应的量子方案，进一步优化并扩展现有量子算法的攻击范围；研究量子线路优化实现方案，利用自动化工具设计剪枝策略，尝试在量子比特优先与量子深度优先模型下，给出更高效的量子线路实现方案。上述研究成果不但能为改进量子环境下对称密码的安全性提供有力支撑，而且能为新式对称密码算法的设计提供借鉴与参考。

史丹萍

3

密码智能分析与自主修复方法设计与案例验证

面向密码算法与协议形式化分析中建模复杂、攻击结果难理解、漏洞修复依赖人工等问题，研究基于大模型的密码形式化自动建模方法，利用验证工具反馈实现形式化描述的生成与优化；研究基于攻击轨迹的漏洞仿真验证技术，结合多智能体协作实现形式化分析结果到可执行攻击过程的自动转化；研究语义保持约束下的密码自主修复技术，构建漏洞知识库与修复策略库，实现满足原安全属性的修复方案智能生成。面向抗量子、区块链共识等典型场景开展密码算法与协议案例验证，提升密码安全分析的智能化、自动化与工程应用能力。

李兆轩

4

基于秘密共享的多方安全计算：信息论安全表征与符号计算

面向秘密共享与多方安全计算中的安全性分析和效率优化需求，研究符号计算支撑的信息论方法及其密码应用。研究内容包括：（1）在明确的计算功能与攻击模型下，将秘密恢复、隐私保护及协议变量关系表述为条件熵、条件互信息和函数依赖约束，研究符号消元、约束化简与信息不等式证明方法，揭示安全条件的等价、蕴含和冗余关系，分析局部隐私约束与整体协议隐私的联系，建立安全条件精简与可检查的验证方法。（2）运用信息论方法研究份额大小、随机性消耗和通信量的下界及其权衡关系；针对具有线性或代数结构的协议，将适用的恢复与隐私条件转化为有限域矩阵秩和多项式约束，结合特征列与符号求解，研究安全参数可行域的代数表征，探索满足安全要求的低开销协议构造。

吴保峰

5

面向密态数据共享的隐私计算友好型对称密码设计与分析

面向关键信息数据密态共享与计算需求，研究适用于FHE等隐私计算环境的新型对称密码设计与分析方法。研究素数域上乘法深度为1的非线性组件构造及其差分、线性和代数性质；研究低乘法复杂度线性扩散层与对称密码结构设计，开展算法安全性分析；研究所设计算法在混合同态加密中的高效转加密方法，降低终端侧计算与通信开销；研究隐私计算友好对称密码算法在数据密态共享中的应用；为重要数据保护与安全密态共享提供密码技术支撑。

李永强

6

基于抗量子密码芯片的应用协议设计

聚焦电力表计终端中抗量子密码迁移场景，围绕关键信息基础设施中抗量子密码芯片的应用融合开展研究。针对抗量子密码算法运算量大的难题，研究基于通用硬件算子的软硬件协同加速方法；针对终端侧密钥安全存储难、运算环境复杂等问题，基于国产抗量子密码芯片，构建抗量子密码体系迁移框架，设计云边端一体化的抗量子密码签名及密钥封装协议，确保关键信息基础设施中的密码体系迁移平稳、安全实施。

张琼露

7

面向可信数据空间接口违规代理防御与可信调用机制研究

面向合法API使用方将API访问能力隐式代理给未授权第三方的安全风险，研究软硬件协同的可信API调用机制。研究API调用程序的数据来源约束、数据流传播路径及关键调用行为分析方法，识别可能导致API能力违规转移的重代理风险；研究基于可信执行环境的程序及关键配置完整性度量与远程证明机制，将程序分析和安全审计结果与实际运行程序实例建立可信绑定，实现对API调用程序身份、关键配置完整性和程序动态运行状态的远程验证；研究访问凭证与可信程序实例绑定、凭证更新及快速认证机制，满足高并发场景下的可信API访问需求。构建典型攻击与异常场景，对代码篡改、未授权主机访问及API违规代理等风险进行验证，并从认证时延、接口性能、并发处理能力及服务吞吐率等方面开展系统评估。

张玉会

8

RISC-V服务器芯片安全架构关键技术研究

面向RISC-V服务器在关键行业进行敏感数据处理的应用场景，针对当前可信执行环境不足、现有防护手段性能代价大的现实挑战，开展基于RISC-V服务器的安全架构关键技术研究并进行实现与评估。围绕上述挑战，系统分析对可信执行环境与潜在威胁检测能力的需求，结合多核RISC-V处理器体系结构特点，基于RISC-V多核处理器构建以独立安全核为信任根的安全架构，通过芯片级安全机制设计，实现对敏感数据处理过程的安全防护，为RISC-V服务器在关键行业的规模化部署与推广应用提供坚实的安全技术支撑。

白云开

9

面向RISC-V服务器的机密虚拟化IO技术研究

面向RISC-V服务器机密计算环境下的I/O安全隔离与可信交互需求，针对现有机密虚拟化I/O安全机制缺乏统一框架的问题，开展RISC-V架构机密虚拟化I/O隔离关键技术研究。分析机密计算环境下的I/O架构及安全威胁，建立涵盖安全域划分、I/O通道及隔离组件的参考模型；围绕I/O隔离对象、隔离规格、隔离配置、隔离检查及安全接口等方面，研究统一的安全技术要求与测试方法，产出相关论文或报告，为RISC-V服务器机密计算的安全部署与应用提供技术支撑。

李沛南

10

面向边缘隐私保护的软PUF关键技术研究

针对大规模物联网场景中边缘节点资源受限导致安全能力薄弱的问题，利用边缘设备现有资源，提取硬件偏差构建轻量级PUF，用于隐私数据安全防护。主要包括提出多熵源高效提取策略，设计响应稳定性提升方法；引入非线性变换与轻量级密码算法，增强抗机器学习建模攻击能力；设计“认证-传输-监测”多维融合的安全协议，实现“云-端-边”一体的隐私数据安全防护；构建边缘节点测试平台，评估系统在实际部署中的可行性，为边缘应用场景下的防护策略提供理论与技术支撑。

赵世军

11

星载主动防御技术发展态势及技术体系研究

面向在轨卫星面临的多样化空间威胁，围绕星载主动防御技术开展系统性调研。梳理国内外星载主动防御领域发展态势，厘清威胁感知、态势评估、自主决策、在轨处置等技术方向的演进脉络，归纳现有技术路线、工程实践案例与现存短板。调研分析不同场景下各类防御手段的适用边界，对比各类方案在星上资源约束、响应时效、实施代价等方面的差异。基于调研结论，研判技术发展趋势，识别体系建设中的关键难点与风险，提出星载主动防御技术体系构建的发展思路与对策建议，为后续相关规划、项目论证与能力建设提供参考支撑。

罗武

12

面向音频大模型的音频验证码攻防研究

面向音频大模型带来的音频验证码自动破解安全挑战，开展现有方案评估、模型缺陷分析与新型防御设计。首先，构建覆盖语音转写、听觉推理和复杂声景感知的测试体系，对比传统语音识别与主流音频大模型的破解能力，分析不同攻击策略下的失效模式及影响因素。其次，研究音频大模型与人类在心理声学效应、选择性听觉注意和声源分离等方面的响应差异，揭示模型在人类听觉感知建模中的能力边界与可利用缺陷。在此基础上，探索设计利用人机听觉差异的新型音频验证码，并结合模型攻击成功率、人类通过率、完成时间和满意度，系统验证其安全性、可用性与鲁棒性，为大模型时代的身份认证与自动化滥用防护提供支撑。

孟国柱

13

复杂场景下图像内容安全智能感知与溯源

针对社交媒体传播、司法数字取证与AIGC滥用治理等场景中篡改图像视觉隐蔽性强、伪造手段持续演化、传统检测方法对未知篡改范式适应能力不足的突出问题，研究图像在成像、编码、编辑与传播全链路中形成的多粒度物理痕迹与语义线索的耦合机理；揭示篡改操作对光照、透视、噪声、压缩历史等图像物理一致性与语义结构共识的破坏规律；提出面向开放环境的图像异常检测与内容溯源理论框架，融合开放集识别、域自适应、少样本学习与自监督因果推理，实现已知篡改精准分类与未知篡改可靠检测的统一；突破复杂后处理条件下篡改区域精准定位、生成图像与真实图像鉴别、篡改操作链逆向推理及内容可信度量化评估等关键技术；构建从像素级感知到语义级理解、从单帧判定到过程溯源的分层递进分析体系，实现层间不确定性传递与置信度融合；最终实现图像内容安全风险的快速发现、精准定位与可解释预警，为社交媒体内容审核、司法证据采信与AIGC治理提供关键技术支撑。

芦翔

14

链上链下协同的数据服务可信验证机制研究

针对数据交易中服务结果难以验证、交易责任难以追溯、合约履行难以保障的问题，研究数据产品及处理算法的链上数字身份全生命周期追踪技术，提出数字合约条款到智能合约代码的自动转换方法，构建链下可信证明生成、链上合约自动核验的协同验证机制，支撑数据交易全流程的数据服务可信验证。

陈驰

15

私有数据安全交易与隐私增强关键技术

面向私有数据交易中的需求匹配、交易实施与数据流转等关键环节，研究贯穿交易全过程的隐私增强与可靠性保障技术，突破交易需求隐私匹配、交易主体可靠性保障、数据来源可信验证等关键技术，构建私有数据全流程安全交易与隐私保护技术体系。

朱晓杰

16

扩散模型记忆行为与安全生成研究

研究扩散模型对训练数据的记忆现象，分析记忆样本与非记忆样本在去噪、反演及生成过程中的差异特征，揭示模型记忆行为与生成过程之间的关联，研究基于扩散反演的记忆检测与量化方法，提升扩散模型训练数据隐私风险的检测与评估能力，保障其数据安全。进一步研究记忆行为对模型生成的影响及其调控方法，研究面向安全生成的记忆抑制和记忆消除方法，在保持模型生成能力的同时降低训练数据泄露及不安全内容生成风险，提升其安全性与可控性。

周江

17

多智能体记忆投毒机理与安全防护研究

研究记忆投毒对智能体推理决策的影响，揭示污染记忆在多智能体交互中的传播及累积机制；研究基于记忆来源和调用轨迹的投毒检测与溯源方法，进一步构建污染记忆隔离净化及协同传播阻断机制，在保持任务完成能力的同时，降低记忆投毒引发的持续性决策偏移风险，提升多智能体系统的安全性与可控性。

李洪成

18

面向大模型检索增强生成的密态RAG搜索方法研究

针对现有检索增强生成（RAG）系统在明文域执行语义检索、用户查询与知识库文本及嵌入向量在云端暴露，易遭受嵌入反演、成员推断和访问模式分析攻击，导致敏感知识保密性难以保障的问题，研究面向密文知识库的密态向量检索方法；研究兼顾查询隐私、检索精度与系统开销的密态检索协议；研究密态检索与大模型生成的联合优化及安全评测技术。面向医疗问答等敏感场景开展跨模型、跨数据集和真实云端环境验证，提升密态RAG系统的查询保密性、知识库安全性与实际可部署性。

陈驰

19

面向自主无人飞行器的智能体攻防技术

以大模型为基座的智能体赋予无人飞行器自主决策能力，但其开放接口与工具调度特性使攻击面显著扩大，面临提示注入、记忆污染、工具操纵等新型威胁，且漏洞隐蔽，传统方法难以有效检测。项目拟研究“语义—物理”跨层校验的多源攻击检测与鲁棒决策方法，实现威胁识别与风险控制；研究受污染上下文隔离、协同状态重构与降级控制方法，构建多阶段防御与恢复体系。

梁瑞刚

20

面向可信智能系统的安全防护与隐私增强方法研究

面向联邦学习、边缘智能等典型智能系统，研究模型训练与部署过程中的安全与隐私保护方法。针对训练阶段存在的数据泄露、恶意参与方、模型投毒和聚合结果篡改等问题，研究融合安全多方计算、差分隐私、可验证聚合及异常更新检测的协同防护机制；针对部署阶段的模型窃取、模型反演、成员推理和对抗样本攻击，研究恶意查询识别、诱捕防御、数据增强与对抗训练方法。通过威胁建模、算法设计、安全分析和实验验证，构建兼顾安全性、鲁棒性、效率与模型效用的智能系统全生命周期防护体系。

赵月