信息学院宋富课题组提出安全多方计算程序的安全策略自动综合方法
安全多方计算(MPC)是实现隐私保护的重要技术手段。它是指允许一组相互独立的数据所有方在互不信任且不信任任何公开第三方的条件下,以各自的秘密为输入联合完成某个函数的计算。开发MPC程序需要实现MPC协议, 涉及到诸多密码原理, 为了降低开发MPC程序的负担, 帮助非密码专业人员快速开发和部署MPC应用程序, 出现了许多封装了MPC协议的MPC开发框架。为了提高性能,近年来的MPC开发框架允许开发者利用秘密类型来指定需要保护的变量。然而在实践中,指定秘密变量对非专家来说既困难又十分重要,声明太多秘密变量会降低性能,声明太少秘密变量则可能有泄露隐私的风险。如何帮助非密码专家的开发人员开发既安全又高性能的MPC程序? 如何在不损害隐私保护能力的前提下,尽可能地声明尽量少的秘密变量? 信息学院宋富课题组就这一问题展开了长期深入的研究,并取得了重要成果。现有的秘密类型系统过于保守, 声明秘密变量受到秘密类型系统的约束, 却无视秘密类型系统的警...
2022-06-15