VIP20
本课程属于：025-量子通信与QKD系统工程 量子科技与量子信息工程 · 共 20 门相关课程，组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

隐私放大算法开发与验证

共计 30 章节
可可资料掘金营 · 点击在线试看
01
课程导入与隐私放大定位
隐私放大在密钥协商与量子密钥分发中的… · 课程目标 · 学习路径与验证驱动的开发流程
课程导入隐私放大定位
02
隐私放大核心概念与安全模型
最小熵 · 安全参数 · 剩余哈希引理
隐私放大核心概念安全模型
03
通用哈希函数族构造与选择
多项式哈希 · Toeplitz哈希 · 乘法哈希的构造
通用哈希函数族构…选择
04
隐私放大算法设计基础
输入提取 · 压缩比计算 · 哈希函数参数确定
隐私放大算法设计…输入提取
05
Toeplitz哈希矩阵的高效实现
矩阵生成 · 快速乘法（FFT/数论变换） · 内存优化与并行化策略
Toeplitz哈希矩阵的高效实…
06
多项式哈希的有限域运算优化
素域选择 · 模运算加速 · 查表法与蒙哥马利乘法的实现技巧
多项式哈希的有限…素域选择
07
基于LFSR的通用哈希实现
线性反馈移位寄存器结构 · 快速跳转 · 硬件友好设计与资源评估
LFSR基于
08
隐私放大中的熵估计与输入处理
最小熵估计方法 · 原始密钥预处理（去偏 · 纠错后处理）对放大的影响
隐私放大熵估计
09
压缩比与输出长度确定实战
根据安全参数与熵估计计算压缩比 · 设计输出长度决策流程与案例演练
压缩比输出长度确定实战
10
隐私放大算法正确性验证
输出均匀性统计测试（NIST · Diehard） · 碰撞测试
隐私放大算法正确…NIST
11
侧信道安全与实现防护
时序攻击 · 功耗分析 · 故障注入的威胁建模与恒定时间实现
侧信道安全实现防护
12
基于哈希函数的隐私放大方案对比
SHA-3 · BLAKE2 · AES-MMO等作为通用哈希的适用性…
基于哈希函数的隐…SHA-3
13
量子安全场景下的隐私放大
QKD后处理中的隐私放大要求 · 与纠错码的协同设计 · 实时性约束
量子安全场景下的…QKD
14
隐私放大与纠错码的联合优化
纠错泄露信息量计算 · 联合设计流程 · 迭代协商中的放大参数调整
隐私放大纠错码的联合优化
15
软件实现框架搭建
模块划分（熵估计 · 哈希核心 · 参数管理）
软件实现框架搭建模块划分
16
硬件加速方案设计
FPGA/ASIC实现Toeplit… · 资源估算与吞吐量优化
硬件加速方案设计FPGA/ASIC
17
并行与分布式隐私放大
多核CPU/GPU并行策略 · 数据分块与哈希树结构 · 负载均衡与通信开销分析
并行分布式隐私放大
18
隐私放大协议集成实战
将算法嵌入TLS/QUIC或QKD后… · 消息格式设计 · 状态机实现与互操作性测试
隐私放大协议集成…TLS/QUIC
19
形式化验证方法入门
使用ProVerif/Tamarin… · 安全属性形式化 · 自动化验证流程
形式化验证方法入…ProVerif/Tam…
20
可证明安全的代码验证
基于F*或Cryptol的哈希实现功… · 常数时间性质验证
可证明安全的代码…Cryptol
21
测试向量生成与标准化符合性
依据NIST SP 800-90B/… · 符合性测试套件开发
测试向量生成标准化符合性
22
性能基准测试与优化迭代
吞吐量 · 延迟 · 内存占用的测量方法
性能基准测试优化迭代
23
侧信道测评实战
使用芯片功耗分析平台进行DPA/CP… · 评估防护措施有效性并迭代改进
侧信道测评实战DPA/CP
24
故障注入攻击与防御验证
电压/时钟毛刺注入实验 · 错误检测机制设计 · 容错隐私放大方案
故障注入攻击防御验证
25
隐私放大在多方计算中的应用
安全多方计算中的密钥扩展 · 与秘密共享的结合 · 实际协议案例
隐私放大多方计算
26
隐私放大与差分隐私的交叉
本地差分隐私中的隐私放大效应 · 参数选择与效用分析 · 实现案例
隐私放大差分隐私的交叉
27
面向物联网的轻量级隐私放大
资源受限设备上的算法裁剪 · 低功耗设计 · 实时性验证与案例部署
面向物联网的轻量…资源受限设备上的…
28
隐私放大算法的安全审计与认证
Common Criteria/IS… · 审计要点 · 认证案例剖析
隐私放大算法的安…认证
29
真实系统部署与运维
密钥管理系统集成 · 密钥生命周期管理 · 监控与故障恢复
真实系统部署运维
30
课程综合项目
设计并实现一个完整的隐私放大模块 · 完成功能测试 · 性能优化
课程综合项目设计并实现一个完…