信息学院宋富课题组提出安全多方计算程序的安全策略自动综合方法
安全多方计算(MPC)是实现隐私保护的重要技术手段。它是指允许一组相互独立的数据所有方在互不信任且不信任任何公开第三方的条件下,以各自的秘密为输入联合完成某个函数的计算。开发MPC程序需要实现MPC协议, 涉及到诸多密码原理, 为了降低开发MPC程序的负担, 帮助非密码专业人员快速开发和部署MPC应用程序, 出现了许多封装了MPC协议的MPC开发框架。为了提高性能,近年来的MPC开发框架允许开发者利用秘密类型来指定需要保护的变量。...
2022-06-15