美味的

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

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


zbMATH中的参考文献(参考文献18条)

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

  1. 伯拉,塞舍申克;拉瑞亚,恩里克;尼尔森,杰斯珀·布乌斯;诺德霍尔特,彼得·塞巴斯蒂安;奥兰迪,克劳迪奥;奥西尼,伊曼纽拉;斯科尔,彼得;Smart,Nigel P.:基于不经意传输的二进制电路的高性能多方计算(2021)
  2. 亚沙罗夫,吉拉德;林德尔,耶胡达;施耐德,托马斯;Zohner,Michael:更有效的不经意的转移扩展(2017)
  3. Büscher,尼格拉斯;弗兰兹,马丁;霍尔泽,安德烈亚斯;赫尔姆维;Katzenbeisser,Stefan:关于编译为安全多方计算而优化的布尔电路(2017)
  4. 阿普勒巴姆,本尼:在标准模型中“免费”篡改异或盖茨(2016)
  5. 库托,杰弗里;彼得斯,托马斯;David Pointcheval:加密交换协议(2016)
  6. 达格德伦;莫哈塞尔,佩曼;Daniele文丘里:速率受限安全功能评估(2016)
  7. Jäschke,安吉拉;Armnecht,Frederik:加速有理数同态计算(2016)
  8. 弗雷德里克森,托尔·卡斯帕;雅各布森,托马斯P。;Nielsen,Jesper Buus:使用GPU更快地恶意保护双方计算(2014)
  9. 卡马拉,Seny;莫哈塞尔,佩曼;雷科娃,玛丽安娜;Sadeghian,Saeed:将私有集交集扩展到十亿个元素集(2014)ioport公司
  10. 科施鲍姆,弗洛里安;施耐德,托马斯;Schröpfer,Axel:安全双方计算中的自动协议选择(2014)
  11. 弗雷德里克森,托尔·卡斯帕;雅各布森,托马斯·佩尔;尼尔森,杰斯珀·布乌斯;诺德霍尔特,彼得·塞巴斯蒂安;Orlandi,Claudio:MiniLEGO:基于一般假设的有效安全双方计算(2013)
  12. 黄、燕;卡茨,乔纳森;Evans,David:使用对称切割和选择的高效安全双方计算(2013)
  13. 崔承基;黄敬郁;卡茨,乔纳森;马尔金,塔尔;Rubenstein,Dan:布尔电路的安全多方计算与在线市场隐私应用(2012)
  14. 伊万,达格å路;凯勒,马塞尔;拉瑞亚,恩里克;迈尔斯,克里斯蒂安;Smart,Nigel P.:通过主动/隐蔽安全的不诚实多数MPC协议实现AES(2012)
  15. 莫哈塞尔,佩曼;尼克塞法特,萨尔曼;萨德吉安,赛义德;Sadeghiyan,Babak:一个用于无意识DFA评估和应用的有效协议(2012)
  16. 尼尔森,杰斯珀·布乌斯;诺德霍尔特,彼得·塞巴斯蒂安;奥兰迪,克劳迪奥;Burra,Sai Sheshank:实用主动安全双方计算的新方法(2012)
  17. 阿提尼塞,朱塞佩;德克里斯托法罗,埃米利亚诺;Tsudik,Gene:(如果)大小很重要:隐藏私有集合交集的大小(2011)
  18. 卡茨,乔纳森;Malka,Lior:具有线性复杂度的常数轮私有函数评估(2011)