信息學院宋富課題組提出安全多方計算程序的安全策略自動綜合方法
安全多方計算(MPC)是實現隱私保護的重要技術手段。它是指允許一組相互獨立的數據所有方在互不信任且不信任任何公開第三方的條件下,以各自的秘密為輸入聯合完成某個函數的計算。開發MPC程序需要實現MPC協議, 涉及到諸多密碼原理, 為了降低開發MPC程序的負擔, 幫助非密碼專業人員快速開發和部署MPC應用程序, 出現了許多封裝了MPC協議的MPC開發框架。為了提高性能,近年來的MPC開發框架允許開發者利用秘密類型來指定需要保護的變量。然而在實踐中,指定秘密變量對非專家來說既困難又十分重要,聲明太多秘密變量會降低性能,聲明太少秘密變量則可能有泄露隱私的風險。如何幫助非密碼專家的開發人員開發既安全又高性能的MPC程序? 如何在不損害隱私保護能力的前提下,盡可能地聲明盡量少的秘密變量? 信息學院宋富課題組就這一問題展開了長期深入的研究,并取得了重要成果?,F有的秘密類型系統過于保守, 聲明秘密變量受到秘密類型系統的約束, 卻無視秘密類型系統的警...
2022-06-15