VIP17
本课程属于：018-后量子密码、量子随机数与量子安全 量子科技与量子信息工程 · 共 17 门相关课程，组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

ML-KEM后量子密钥封装工程

共计 30 章节
可可资料掘金营 · 点击在线试看
01
课程导入与工程全景
目标=ML-KEM的标准化背景 · 后量子迁移驱动力 · 密钥封装机制在协议中的位置
课程导入工程全景
02
ML-KEM数学基础
目标=模运算与多项式环 · NTT变换 · 中心二项分布与均匀采样
ML-KEM数学基础
03
ML-KEM算法规范精读
目标=KeyGen · Encaps · Decaps的输入输出
ML-KEM算法规范精读
04
参数集与安全级别
目标=ML-KEM-512/768/… · 模数 · 噪声参数
参数集安全级别
05
密钥与密文编码格式
目标=字节序列化 · 位打包 · 多项式系数编码
密钥密文编码格式
06
NTT工程实现
目标=正向与逆向NTT · Montgomery与Barrett… · 蝶形运算
NTT工程实现
07
采样器工程实现
目标=拒绝采样 · 中心二项分布采样 · CBD采样
采样器工程实现目标=拒绝采样
08
多项式运算与压缩
目标=多项式乘法 · 加法 · 减法
多项式运算压缩
09
哈希与XOF集成
目标=SHA3-256 · SHA3-512 · SHAKE128
XOF哈希
10
参考实现搭建
目标=从规范到可编译代码 · 目录结构 · 构建系统
参考实现搭建目标=从规范到可…
11
密钥生成实战
目标=实现KeyGen · 种子管理 · 矩阵A生成
密钥生成实战KeyGen
12
封装实战
目标=实现Encaps · 随机消息生成 · 密文计算
封装实战Encaps
13
解封装实战
目标=实现Decaps · 密文解码 · 解密计算
解封装实战Decaps
14
已知答案测试与向量验证
目标=NIST KAT使用 · 中间值比对 · 边界条件测试
已知答案测试向量验证
15
常量时间与侧信道防护
目标=分支消除 · 内存访问模式 · 秘密相关索引
常量时间侧信道防护
16
性能剖析与优化
目标=热点定位 · NTT与采样优化 · 内存布局
性能剖析优化
17
平台移植与嵌入式部署
目标=ARM Cortex-M · RISC-V · FPGA/ASIC加速
平台移植嵌入式部署
18
TLS 1.3集成
目标=混合密钥交换 · ML-KEM在TLS中的编码 · ClientHello/Server…
TLS3集成
19
SSH与IPsec集成
目标=ML-KEM在SSH密钥交换中… · IPsec/IKEv2集成 · 混合模式
SSHIPsec
20
PKI与证书体系迁移
目标=后量子证书 · 混合证书 · 签名与KEM分离
PKI证书体系迁移
21
协议设计与API工程
目标=KEM API设计 · 密钥生命周期 · 错误处理
API协议设计
22
形式化验证与安全证明
目标=ML-KEM安全模型 · IND-CCA证明思路 · 形式化工具
形式化验证安全证明
23
侧信道与故障攻击案例分析
目标=时序攻击 · 缓存攻击 · 功耗分析
侧信道故障攻击案例分析
24
实现审计与合规
目标=FIPS 203合规检查 · 常见实现缺陷 · 代码审计清单
实现审计合规
25
互操作性与跨实现测试
目标=不同语言实现对比 · 测试向量交换 · 边界用例
互操作性跨实现测试
26
性能基准与工程度量
目标=吞吐量 · 延迟 · 内存占用
性能基准工程度量
27
混合密钥交换工程
目标=X25519+ML-KEM · ECDH+ML-KEM · 组合器设计
混合密钥交换工程X25519+ML-KE…
28
密钥管理与运维
目标=密钥存储 · HSM支持 · 密钥轮换
密钥管理运维
29
迁移策略与风险管理
目标=密码敏捷性 · 库存梳理 · 优先级排序
迁移策略风险管理
30
综合项目与前沿展望
目标=完整ML-KEM库实现 · TLS集成演示 · 性能报告
综合项目前沿展望