美味的

美味:自动化安全两党计算的工具。安全两党计算允许两个不信任方共同计算任意函数在它们各自的私有输入上,而在结果之外不显示任何信息。现有的加密编译器可以从高级规范自动生成安全的计算协议,但它们往往受限于它们的使用和产生的协议的效率,因为它们是基于混淆电路或(相加)同态加密。在本文中,我们提出美味,一个新的工具,自动化,即描述,生成,执行,基准和比较,高效的安全两党计算协议。GASTY是一种新的编译器,它可以生成基于同态加密和高效混杂电路的协议,以及两者的组合,这通常产生当今最有效的协议。用户提供在域特定语言上对加密数据执行的计算的高级描述。这被自动转换成协议。美味提供最新的技术和优化的实际安全两党计算具有较低的在线等待时间。此外,它允许有效地评估由众所周知的FalPoice编译器生成的电路。我们使用GISY比较基于同态加密的安全乘法的协议,以及基于混杂电路和高效Karatsuba乘法的安全乘法。此外,我们展示了如何美味的在线延迟提高安全评估AES功能比以前的软件实现一个数量级。GASTY允许自动生成高效的安全协议,用于许多隐私保护应用,其中我们考虑私人集合交叉和人脸识别协议的使用情况。

这个软件也是同行评审通过期刊toms.


ZBMaCT中的参考文献(17篇文章中引用)

显示结果1至17的17。
按年份排序(引文

  1. Asharov,吉拉德;Lindell,耶胡达;Schneider,托马斯;Zohner,Zohner:更有效的不经意传输扩展(2017)
  2. Niklas,弗兰兹,马丁;霍尔,安德烈亚斯;VIETH,赫尔穆特;KATZEN BEESSER,斯特凡:关于安全多方计算优化的布尔电路的编译(2017)
  3. ApabeBaM,本尼:Garbling XOR gates在标准模型中的“免费”(2016)
  4. Coutuu,Geoffroy;彼得斯,托马斯;Pointcheval,戴维:加密交换协议(2016)
  5. Dagdelen,U.ZG UR;Mohassel,Payman;文丘里,Daniele:速率受限的安全功能评估(2016)
  6. J.S.Skk,安吉拉;Aknnct,Frederik:加速有理数上的同态计算(2016)
  7. Frederiksen,Tore Kasper;雅克布森,Thomas P.;尼尔森,Jesper Buus:使用GPU(2014)更快地恶意地安全地进行两党计算
  8. 卡马拉,Sey;Maasell,Payman;Raykova,Mariana;Sadeghian,赛义德:将私有集合相交到十亿元集(2014)伊波尔特
  9. Kerschbaum,弗洛里安;Schneider,托马斯;Schr OpfFER,阿克塞尔:安全两党计算中的自动协议选择(2014)
  10. Frederiksen,Tore Kasper;雅各布森,Thomas Pelle;Nielsen,Jesper Buus;诺德霍尔特,Peter Sebastian;Orlandi,克劳迪奥:MILIGOI:从一般假设看有效的安全两党计算(2013)
  11. 黄,严;卡茨,乔纳森;伊万斯,戴维:对称切割和选择的高效安全两党计算(2013)
  12. Choi,Seung Geol;Hwang,Kyung Wook;卡茨,乔纳森;马尔金,Tal;Posile,Y:安全的多方计算和在线市场中隐私的应用(2012)
  13. 伊凡、凯勒、Marcel、Larraia、恩里克、迈尔斯、克里斯蒂安、斯马特、Nigel P.:通过主动/秘密安全不诚实多数MPC协议实现AES(2012)
  14. Mohassel,Payman;NekSfFAT,沙尔曼;Sadeghian,赛义德;Sadeghiyan,Babak:一种有效的不经意DFA评价和应用协议(2012)
  15. Nielsen,Jesper Buus;诺德霍尔特,Peter Sebastian;Orlandi,克劳迪奥;Burra,Sai Sheshank:一种实用的主动安全双方计算的新方法(2012)
  16. Ateniese,朱塞佩;De Cristofaro,埃米利亚诺;Tudik,基因:(IF)尺寸问题:大小隐藏私人集合交叉(2011)
  17. 卡茨,乔纳森;马尔卡,Lior:具有线性复杂度的常数轮私人函数评价(2011)