安全证明与高效计算
课程编码：0839X1M07002H
英文名称：Secure proof system and efficient computations
课时：20
学分：1.00
课程属性：高级强化课
主讲教师：黄桂芳
教学目的要求
通过本课程的学习，掌握安全证明的基础概念、安全模型的建立直觉，并能够对一些构造进行安全性分析和归约证明；掌握安全计算的基本模型，能够设计简单的安全计算协议框架，能够对一些构造进行安全性分析和归约证明；
预修课程
密码协议
大纲内容
第一章 多方计算安全性 2学时 黄桂芳
第1节 半诚实模型安全性
第2节 恶意模型安全性
第二章 不经意传输协议 2学时 黄桂芳
第1节 不经意传输协议安全性
第2节 不经意传输协议构造
第三章 Garble电路 1学时 黄桂芳
第1节 Garble电路构造
第四章 半诚实模型下多方计算 8学时 黄桂芳
第1节 Yao协议
第2节 Goldreich-Micali-Widgerson协议
第3节 BenOr-Goldwasser-Widgerson协议
第4节 Chaum-Crepeau-Damgard协议
第5节 Beaver-Micali-Rogaway协议
第五章 恶意模型下多方计算 4学时 黄桂芳
第1节 input-commitment协议
第2节 augumented coin-tossing协议
第3节 authenticated computation协议
第4节 编译器
第六章 基于QSP的ZKSNARK 3学时 黄桂芳
第1节 QSP介绍
第2节 方案构造及证明
参考书
课程教师信息
黄桂芳,女,副研究员,硕士生导师。2009年毕业于中科院软件所信息安全国家重点实验室,研究方向为密码协议的设计和分析。先后主持国家自然科学基金项目、国家重点研发计划子课题、中科院信工所密码基金、中国博士后基金项目等科研项目10项左右,参与国家和省部级科研项目多项。在国内外重要学术期刊和国际学术会议上发表论文多篇。从2017年起,承担国科大研究生教学工作,讲授《计算复杂性基础》、《密码协议》等课程。