美味的 swMATH编号: 9865 软件作者: Henecka,W.、Kögl,S.、Sadeghi,A.-R.、Schneider,T.、Wehrenberg,I。 描述: 任务:自动化安全两部分Y计算的工具。安全的两方计算允许两个不信任方在各自的私有输入上联合计算任意函数,同时不显示结果之外的任何信息。现有的密码编译器可以从高级规范中自动生成安全计算协议,但由于它们仅基于乱码电路或(附加)同态加密,因此其使用和生成协议的效率往往受到限制。在本文中,我们介绍了一种新的自动化工具TASTY,即描述、生成、执行、基准测试和比较高效的安全两部分计算协议。TASTY是一种新的编译器,它可以基于同态加密和有效的乱码电路以及两者的组合来生成协议,这通常会产生当今最有效的协议。用户以特定于域的语言提供对加密数据执行的计算的高级描述。这将自动转换为协议。TASTY提供了最新的技术和优化,用于具有较低在线延迟的实际安全的两方计算。此外,它可以有效地评估由著名的Fairplay编译器生成的电路。我们使用TASTY比较基于同态加密的安全乘法协议与基于乱码电路和高效Karatsuba乘法的协议。此外,我们还展示了与以前的软件实现相比,TASTY如何将安全评估AES功能的在线延迟提高一个数量级。TASTY允许为许多隐私保护应用程序自动生成有效的安全协议,在这些应用程序中,我们考虑了私有集交集和人脸识别协议的用例。 主页: http://dl.acm.org/citation.cfm?id=1866358 相关软件: 澳大利亚银行;VMCrypt公司;公平竞争MP;分享者;VIFF公司;只是胡言乱语;TinyGarble公司;ObliVM公司;倾斜-C;护卫舰;HyCC公司;github;fhe公司;迷你乐高;景观;威斯特利亚;TFHE公司;瞪羚;MP-SPDZ公司;SCiFI公司 引用于: 22文件 全部的 前5名58位作者引用 4 杰斯珀·布乌斯·尼尔森 3 乔纳森·卡茨(Jonathan N.Katz)。 3 彼得·塞巴斯蒂安·诺德霍尔特 3 克劳迪奥·奥兰迪 2 赛·谢申克Burra 2 托尔·卡斯珀·弗雷德里克森 2 托马斯·佩勒·雅各布森 2 弗洛里安·克什鲍姆 2 恩里克·拉雷亚 2 佩曼·莫哈塞尔 2 托马斯·施耐德 2 聪明,奈杰尔·保罗 1 本尼·阿普尔鲍姆 1 弗雷德里克·阿姆克内赫特 1 吉拉德·阿沙罗夫 1 朱塞佩·阿特尼塞 1 埃里克·奥利弗·布拉斯 1 尼古拉斯·比舍尔 1 Choi,Seung Geol先生 1 杰弗里·库托 1 奥祖尔·达格伦 1 伊万·比杰尔·达姆加德 1 埃米利亚诺·德·克里斯托法罗 1 戴维·埃利奥特·埃文斯 1 马丁·弗兰兹 1 大卫·G·希思。 1 安德烈亚斯·霍尔泽 1 胡春强 1 黄、燕 1 黄,Kyung-Wook 1 安吉拉·贾施克 1 斯特凡·卡岑贝塞尔 1 马塞尔·凯勒 1 弗拉基米尔·科列斯尼科夫 1 李瑞年 1 耶胡达·林德尔 1 利奥尔·马尔卡 1 塔尔·马尔金。 1 克里斯蒂安·迈尔斯 1 雷恩·尼米宁 1 萨勒曼·尼克法特 1 西实德、高石 1 艾曼纽拉·奥西尼 1 斯坦尼斯拉夫·佩塞尼 1 大卫·波因契瓦尔 1 丹·鲁宾斯坦 1 赛义德·萨德基安 1 巴巴克·萨德吉扬 1 彼得·斯科尔 1 阿克塞尔·施罗普费尔 1 宋天一 1 Hikaru津田 1 Tsudik,基因 1 赫尔穆特·维思 1 丹尼尔·文丘里 1 肖银浩 1 张,程 1 迈克尔·佐纳 引用于4个系列 4 密码学杂志 1 理论计算机科学 1 系统设计中的形式化方法 1 计算的数学基础 在2个字段中引用 21 信息与通信理论、电路(94-XX) 11 计算机科学(68至XX) 按年份列出的引文