信息學院宋富課題組提出安全多方計算程序的安全策略自動綜合方法
安全多方計算(MPC)是實現隱私保護的重要技術手段。它是指允許一組相互獨立的數據所有方在互不信任且不信任任何公開第三方的條件下,以各自的秘密為輸入聯合完成某個函數的計算。開發MPC程序需要實現MPC協議, 涉及到諸多密碼原理, 為了降低開發MPC程序的負擔, 幫助非密碼專業人員快速開發和部署MPC應用程序, 出現了許多封裝了MPC協議的MPC開發框架。為了提高性能,近年來的MPC開發框架允許開發者利用秘密類型來指定需要保護的變量。...
2022-06-15