恶意安全性

本章引入形式化的密码学安全模型——通用可组合性框架（UC framework），包括半诚实与恶意敌手模型、隐私性与恶意安全性的形式化定义、理想世界与现实世界的对比、UC框架的核心思想与组件等内容，是隐私计算课程的理论核心。

本文深入探讨了安全多方计算（MPC）在恶意敌手模型下的安全性增强技术，涵盖了通用的 GMW 编译器、针对混淆电路的切分选择（Cut-and-Choose）技术以及 LP11 协议的详细推导。