安全证明与高效计算
课程编码：180203083900P0001H
英文名称：Secure Proofs and Efficient Computation
课时：20
学分：1.00
课程属性：高级强化课
主讲教师：黄桂芳
教学目的要求
学习安全计算和高效证明的基础知识，包括定义、构造模块、经典方案等，使学生掌握密码协议的安全性定义形式化语言、归约证明技巧，能够了解和掌握经典的安全计算构造方案，为以后以安全计算和高效证明为工具设计高层隐私保护协议打下减少基础。
预修课程
无
大纲内容
第一章 多方计算安全性 3.0学时 黄桂芳
第1节 半诚实模型下安全性
第2节 恶意模型下安全性
第二章 不经意传输协议 2.0学时 黄桂芳
第1节 不经意传输协议安全性
第2节 不经意传输协议构造
第三章 Garble电路 1.0学时 黄桂芳
第1节 Garble电路介绍及其构造
第四章 半诚实模型下多方计算 10.0学时 黄桂芳
第1节 Yao协议
第2节 Goldreich-Micali-Widgerson协议
第3节 BenOr-Goldwasser-Widgerson协议
第4节 Chaum-Crepeau-Damgard协议
第5节 Beaver-Micali-Rogaway协议
第五章 恶意模型下多方计算 4.0学时 黄桂芳
第1节 input-commitment协议
第2节 augumented coin-tossing协议
第3节 authenticated computation协议
第4节 编译器
参考书
1、
A pragmatic introduction to secure multi-party computation
David Evans,
Vladimir Kolesnikov and Mike Rosulek
2018年12月
Now Foundations and Trends
课程教师信息
黄桂芳：女,副研究员,硕导。2009年毕业于中科院软件所信息安全国家重点实验室,研究方向为密码协议的设计和分析。先后主持国家自然科学基金项目、国家重点研发计划课题等科研项目多项。在国内外重要学术期刊和国际学术会议上发表论文20篇左右,培养指导硕士研究生5名。从2017年起,承担国科大研究生教学工作,先后担任《计算复杂性基础》、《密码协议》的授课教师。