课程大纲

课程大纲

安全多方计算

课程编码:1802290812Z1P3005H 英文名称:Secure Multi-party Computation 课时:60 学分:3.00 课程属性:专业课 主讲教师:杨糠

教学目的要求
本课程是密码学院信息安全专业课。通过本课程的学习,要求学生系统地学习和了解安全多方计算的协议与应用。通过本课程的学习,希望学生了解安全多方计算的理论并获得一定的动手实践能力,为学生未来解决数据安全流转与隐私保护的实际问题打下坚实的基础。

预修课程

大纲内容
第一章 安全多方计算概述 杨糠
第1节 背景与应用举例 1.0学时
第2节 不同维度的安全性与分类 1.0学时
第3节 安全多方计算的通用转化 1.0学时
第二章 基础密码组件 杨糠
第1节 秘密分享方案 3.0学时
第2节 承诺方案与掷币协议 1.0学时
第3节 同态加密方案 2.0学时
第三章 基于模拟的可证明安全理论 杨糠
第1节 理想/现实安全模型 3.0学时
第2节 证明方法示例 2.0学时
第3节 广播通信协议 1.0学时
第四章 不经意传输 杨糠
第1节 基本概念与转换关系 2.0学时
第2节 基础协议 2.0学时
第3节 IKNP类扩展协议 3.0学时
第4节 PCG类扩展协议 3.0学时
第五章 不经意线性计算 杨糠
第1节 同态加密方法 1.0学时
第2节 PCG方法 3.0学时
第六章 GMW类被动安全多方计算协议 杨糠
第1节 GMW协议及其优化 2.0学时
第2节 Beaver三元组技术 2.0学时
第3节 离线/在线优化协议 2.0学时
第七章 SPDZ类主动安全多方计算协议 杨糠
第1节 认证分享生成协议 2.0学时
第2节 认证三元组生成协议 2.0学时
第3节 SPDZ协议及其优化 2.0学时
第八章 BGW类被动安全多方计算协议 杨糠
第1节 随机秘密分享生成协议 2.0学时
第2节 BGW协议及其优化 1.0学时
第3节 DN协议及其优化 2.0学时
第4节 安全三方计算协议 2.0学时
第九章 BGW类协议的主动安全验证方法 杨糠
第1节 对偶验证技术 2.0学时
第2节 分布式零知识证明技术 2.0学时
第十章 常数轮的安全两方计算协议 杨糠
第1节 常数轮的被动安全协议 1.0学时
第2节 混淆电路构造及其优化 3.0学时
第3节 常数轮的主动安全协议 4.0学时

参考书

课程教师信息
杨糠,密码科学技术全国重点实验室副研究员,长期从事安全多方计算、零知识证明、抗量子密码等密码协议/算法研究,已在密码学顶刊JoC、三大密码顶会、四大安全顶会等国际顶级期刊/会议上发表论文27篇,多项科研成果已在蚂蚁集团、Facebook等企业得到应用,以一作身份设计的不经意传输协议已在ISO/IEC 25330-3中完成国际标准立项;获中国密码学会密码创新奖、四大安全顶会之一ACM CCS 2021最佳论文提名奖、信息与通信安全国际会议ICICS 2022最佳论文奖、全国密码算法设计竞赛一等奖2项、中国科学院百篇优秀博士学位论文等科研奖励,先后担任了密码学与网络空间安全领域国际学术会议/期刊的程序委员会委员及审稿人40多次。