1

抗量子密码协议设计与安全性证明

研究抗量子密码算法组件中广泛应用的FO、FS、Hash-and-Sign等范式在量子RO模型下的安全性证明，针对NIST-PQC算法和我国的NGCC竞赛算法，分析实际参数下的具体抗量子安全性归约界，探索满足更紧致归约或性能更优的算法优化设计；研究TLS握手协议的抗量子迁移技术，研究PQTLS-1.3和KEMTLS的抗量子安全性，尝试给出更紧致的安全性证明，探索性能和带宽更优的TLS握手协议新设计。

贺婧楠

2

SVP实际复杂度探究与优化

研究SVP算法效率提升方法，通过优化算法逻辑提升短向量配对率与可计算维度，同时改进算法并行化架构以适应分布式计算需求，提升GPU利用效率，依托优化后的算法挑战更高维度的SVP challenge目标；形成更准确的SVP问题难度预测模型，基于优化算法获取更精准的SVP实际复杂度数据，进而构造功能完善的SVP评估工具，为抗量子密码安全参数的科学评估提供有力支撑，助力抗量子密码标准化工作的推进。

毕蕾

3

抗量子密码侧信道攻击与防护

研究标准化算法（如ML-KEM、ML-DSA、Falcon、HQC等）的侧信道安全性。剖析后量子密码算法中不同算子（如NTT变换、采样等）的侧信道泄漏对密钥安全性的影响，综合运用置信传播、格基规约、整数线性规划等工具，探索在多种泄漏噪声条件下的新型攻击方法，拓展后量子密码算法在实际环境中所能抵御的侧信道安全边界；研究后量子密码算法中关键算子的防护机制，围绕掩码可证明安全框架，利用随机数重用等技术，优化不同参数下布尔掩码与算术掩码的转换算法，在保证可证明安全性的前提下，提升后量子密码算法侧信道防护措施的效率。

刘颖

4

秩距离下基于编码的密码

研究秩距离译码问题复杂度评估方法，优化现有译码问题求解方法和复杂度、分析现有译码问题变体的精确计算复杂度，提供稳定、精确、通用的复杂度评估方法。设计适合密码算法的纠错码技术。优化现有纠错码的设计方法和纠错性能、设计适合构造密码算法的纠错码，开发代数结构弱、纠错性能强的纠错码。设计适合密码算法的秩距离错误。分析现有错误结构的优缺点、设计适合构造密码算法的错误生成方法，利用错误的特殊结构缓解现有攻击手段。

王丽萍

5

高效后量子隐私签名协议设计

研究匿名数字签名系统，在模型构建方面，研究具有访问控制以及支持撤销的匿名签名系统；在协议构造方面，基于具体的后量子密码学假设，设计满足条件的匿名签名协议。提出分叉匿名签名系统、多模态匿名签名系统、双院可审计匿名签名系统的可撤销模型，可以支持用户撤销；基于杂凑函数或者其他后量子密码学假设，设计可撤销的匿名签名系统，签名尺寸优于已有方案至少1个数量级。

贾仃仃

6

SVP问题求解技术

研究BKZ算法框架的深度优化、筛法在实用化条件下的性能边界、d4f扩展技术、pnj-BKZ与筛法的高度融合，力争在核心算法理论上取得创新性进展； 针对GPU、多核、AVX指令集等高性能计算环境，设计并实现一套高效、可扩展的SVP / LWE求解算法库，重点针对当前筛法中的内存瓶颈问题进行底层计算优化，显著提升求解高维格问题的实际效率，减少其消耗的存储空间，形成核心代码库与性能基准测试报告；根据提出的新算法构造格基质量模拟器并对其计算开销模型进行分析。 运用研发的最新SVP / LWE求解技术，评估其实际计算代价，量化其安全强度，为格密码方案的安全性评估提供关键支撑，构建经典/量子搜索SVP算法的计算开销模型。

孙瑶

7

环上zk-SNARK设计

面向后量子安全与通用可验证计算需求，构建与现代计算体系高度兼容的环上高效、可公开验证的简洁零知识证明体系，系统研究环上多项式交互预言证明与承诺方案中的基础理论与关键算法。面向环上zk-SNARK的构造，建立适配环结构的约束表示与证明生成算法；研究基于伽罗瓦环的多项式交互预言证明框架，通过减少交互轮次与通信复杂度提升整体效率；构造高效的环上多项式承诺方案，探索纠错码的局部可检测性与编码能力，突破多项式承诺在环结构下的性能瓶颈；研究环上密码协议与算术库的工程化优化，提升环上算术运算及多项式运算效率，为环上zk-SNARK的高效实现提供理论与技术支撑。

邓燚

8

基于编码的后量子密码

研究基于编码的后量子密码体系，对比分析两类主流方案在安全性与效率上的根本权衡，即以QC-MDPC码为基础的BIKE方案，和以Classic McEliece为代表的Goppa码方案。探索Classic McEliece公钥尺寸改进技术，深入评估BIKE方案的安全性。通过理论分析与实验模拟，评估这两种技术路线在实际部署中的可行性，为不同应用场景下的算法选择提供依据，探索后量子时代安全与效率的最佳平衡点。

王嘉博

9

无人机通信链路信息安全检测技术

针对无人机通信链路在开放环境下易受到恶意攻击的问题，研究资源受限、数据不均衡等条件下的无人机通信链路安全检测技术，提出开集条件下的无人机通信链路安全检测框架，实现高效的无人机通信链路攻击检测。

陈恺

10

可信执行环境下机密集群构建方法与系统

研究机密计算集群中机密容器的资源调度技术，实现对敏感工作负载的精准调度，确保机密容器被安全分配；增强调度过程的透明度和可信度，并实现机密容器之间的强隔离

孟国柱

11

基于隐私计算的隐私信息延伸控制机制研究

针对泛在互联环境下用户隐私保护需求多样、隐私信息频繁跨域交换、全生命周期保护等特征和应用需求，研究跨域延伸控制模型，抽象隐私操作控制原语及其组合规则，突破延伸控制策略的自动生成、动态调整与跨域执行验证等关键技术，支撑隐私信息跨系统受控共享。

牛犇

12

多模态大模型幻觉形成机理与缓解

多模态大模型可处理文本、图像等不同模态数据，具备更好的现实应用场景。但跨模态信息融合和多层次模型网络架构，导致模型幻觉问题严重、幻觉形成机理不清。因此，亟需厘清多模态大模型的幻觉成因，通过知识检索增强、模态对齐等方式研究可有效缓解多模态幻觉的技术方案，并在体系结构层面进行有效支持，推动多模态大模型的落地应用。

张玉会

13

联邦学习防御机制研究

以提升联邦学习的安全性为目标，围绕联邦学习防御的关键问题，重点探索恶意客户端、不可信服务器和多方共谋安全威胁的应对措施，建立面向上述三类安全威胁的联邦学习防御机制。具体包括：面向恶意客户端威胁下的防御机制；面向不诚实服务器威胁下的轻量级可验证联邦学习方案和抗多方共谋的可验证联邦学习方案。

陈驰