美味的

TASTY:用于自动进行安全的双方计算的工具。安全的两方计算允许两个不可信的方在各自的私有输入上联合计算任意函数,同时不显示结果之外的任何信息。现有的密码编译器可以从高级规范中自动生成安全计算协议,但由于它们仅基于乱码电路或(加上)同态加密,它们的使用和生成的协议的效率往往受到限制。在本文中,我们提出了一个新的自动化工具,即描述、生成、执行、基准测试和比较高效的安全双方计算协议。TASTY是一个新的编译器,它可以生成基于同态加密和有效的乱码电路以及两者的组合的协议,这通常产生当今最有效的协议。用户以特定于域的语言提供对加密数据执行的计算的高级描述。这会自动转换为协议。TASTY提供了最新的技术和优化实用的安全双方计算低在线延迟。此外,它允许有效地评估由著名的Fairplay编译器生成的电路。我们使用TASTY比较了基于同态加密的安全乘法协议与基于乱码电路和高效Karatsuba乘法的协议。此外,我们还展示了与以前的软件实现相比,TASTY如何将安全评估AES功能的在线延迟提高一个数量级。TASTY允许为许多隐私保护应用程序自动生成有效的安全协议,在这些应用程序中,我们考虑私有集交集和人脸识别协议的用例。

这个软件也是同行评审按日记帐汤姆斯.


zbMATH参考文献(17篇文章引用)

显示第1到17个结果,共17个。
按年份排序(引用)

  1. 吉拉德,阿沙罗夫;林德尔,耶胡达;施耐德,托马斯;佐纳,迈克尔:更有效的不经意的转移延长(2017年)
  2. Büscher,Niklas;Franz,Martin;Holzer,Andreas;Veith,Helmut;Katzenbeisser,Stefan:关于编译为安全多方计算优化的布尔电路(2017)
  3. 阿普勒巴姆,本尼:在标准模型中“免费”篡改异或盖茨(2016)
  4. Couteau,Geoffroy;Peters,Thomas;Pointcheval,David:加密交换协议(2016)
  5. Dagdelen,Özgür;Mohassel,Payman;Venturi,Daniele:速率受限安全功能评估(2016)
  6. Jäschke,Angela;Armnecht,Frederik:加速有理数同态计算(2016)
  7. Frederiksen,Tore Kasper;Jakobsen,Thomas P.;Nielsen,Jesper Buus:使用GPU实现更快的恶意安全双方计算(2014)
  8. Kamara,Seny;Mohassel,Payman;Raykova,Mariana;Sadeghian,Saeed:将私有集合交集扩展到十亿个元素集(2014)ioport公司
  9. 科施鲍姆,弗洛里安;施耐德,托马斯;施罗德,阿克塞尔:安全双方计算中的自动协议选择(2014)
  10. Frederiksen,Tore Kasper;Jakobsen,Thomas Pelle;Nielsen,Jesper Buus;Nordholt,Peter Sebastian;Orlandi,Claudio:MiniLEGO:基于一般假设的有效安全的双方计算(2013)
  11. Huang,Yan;Katz,Jonathan;Evans,David:使用对称切割和选择的高效安全双方计算(2013)
  12. Choi,Seung Geol;Hwang,Kyung-Wook;Katz,Jonathan;Malkin,Tal;Rubenstein,Dan:布尔电路的安全多方计算及其在在线市场中的隐私应用(2012)
  13. Damgård,Ivan;Keller,Marcel;Larraia,Enrique;Miles,Christian;Smart,Nigel P.:通过主动/秘密安全的不诚实多数MPC协议实现AES(2012)
  14. Mohassel,Payman;Niksefat,Salman;Sadeghian,Saeed;Sadeghiyan,Babak:一个用于无意识DFA评估和应用的有效协议(2012年)
  15. Nielsen,Jesper Buus;Nordholt,Peter Sebastian;Orlandi,Claudio;Burra,Sai Sheshank:实用主动安全双方计算的新方法(2012)
  16. Ateniese,Giuseppe;De Cristofaro,Emiliano;Tsudik,Gene:(如果)大小重要:隐藏私有集合交叉点的大小(2011)
  17. Katz,Jonathan;Malka,Lior:具有线性复杂度的常数轮私有函数求值(2011)