安全多方计算——可证明安全视角

依据张秉晟、殷泽原、任奎《安全多方计算——可证明安全视角》(MPC_book,v1.4.7)整理的课堂课件:正文已切成「一屏一框」,绝大部分在课堂展示中翻页(←→ / 空格);协议与插图保留。

封面

源书: Teaching/书/教材/MPC_book-main(LaTeX)

使用: 打开 chapters/c01.html → 点「开始课堂展示」,或访问 c01.html?present=1;插图在 figures/。

目录

  1. 第 1 章 引言
  2. 第 2 章 基础知识
  3. 第 3 章 一个安全多方计算协议的例子
  4. 第 4 章 安全模型
  5. 第 5 章 茫然传输和茫然传输扩展
  6. 第 6 章 基于线性秘密分享的协议
  7. 第 7 章 通过 Beaver 三元组实现 MPC
  8. 第 8 章 基于混淆电路的协议
  9. 第 9 章 恶意安全性

教学用整理 · 细节以原书 LaTeX / PDF 为准。