迈克尔·本·奥尔
人员信息
附属: 以色列耶路撒冷希伯来大学
优化列表
2020年–今天
2022 [公元15年] 多里特·阿哈罗诺夫 , 迈克尔·本·奥尔 , 费尔南多·G·S·L·布兰登 , 或萨塔斯 :
追求唯一性:将Valiant-Vazirani定理扩展到概率和量子设置。 量子 6 : 668 ( 2022 ) 2021 [i6] Kfir Sulimany公司 , 罗姆·杜德基维茨 , 辛查·科伦布利特 , 哈盖·艾森伯格 , 亚伦·布隆伯格 , 迈克尔·本·奥尔 :
快速简单的单向高维量子密钥分配。 CoRR公司 abs/2105.04733 ( 2021 )
2010 – 2019
2019 [第2页] 迈克尔·本·奥尔 , 沙菲·戈德瓦塞尔 , 阿维·威格德森 :
非密码容错分布式计算的完备性定理。 为密码学提供坚实的基础 2019 : 351-371 [第1页] 迈克尔·本·奥尔 , 沙菲·戈德瓦塞尔 , 乔·基利安 , 阿维·威格德森 :
多元互动证明:如何消除棘手的假设。 为密码学提供坚实的基础 2019 : 373-410 2018 [公元41年] 迈克尔·本·奥尔 , 利奥·埃尔达尔 :
矩阵谱分析的准随机方法。 国际贸易中心 2018 : 6:1-6:22 2015 [i5] 迈克尔·本·奥尔 , 利奥·埃尔达尔 :
矩阵谱分析的准随机观点及其应用。 CoRR公司 abs/1505.08126 ( 2015 ) 2014 [公元14年] 迈克尔·本·奥尔 , 阿维纳坦·哈西迪姆 , 哈兰·皮尔佩尔 :
量子多漫游者交互校对与通信证明。 SIAM J.计算。 43 ( 三 ) : 987-1011 ( 2014 ) 2010 [c40] 多里特·阿哈罗诺夫 , 迈克尔·本·奥尔 , 伊拉德·伊班 :
量子计算的交互式证明。 内部控制系统 2010 : 453-469 [公元39年] 埃兹拉·N.霍赫 , 迈克尔·本·奥尔 , 丹尼·多列夫 :
抗故障异步时钟功能。 SSS系统 2010 : 19-34 [公元38年] 迈克尔·本·奥尔 , 丹尼·多列夫 , 埃兹拉·N.霍赫 :
简要公告:基于简单分级广播的算法。 磁盘 2010 : 194-197 [i4] 迈克尔·本·奥尔 , 丹尼·多列夫 , 埃兹拉·N.霍赫 :
基于简单分级广播的算法。 CoRR公司 abs/1007.1049 ( 2010 ) [i3] 埃兹拉·N.霍赫 , 迈克尔·本·奥尔 , 丹尼·多列夫 :
抗故障异步时钟功能。 CoRR公司 abs/1007.1709 ( 2010 )
2000 – 2009
2008 [j13] 迈克尔·本·奥尔 , 唐·科珀史密斯 , 迈克尔·卢比 , 罗尼特·鲁宾菲尔德 :
非贝拉同态检验,以及接近其自我进化的分布。 随机结构。 算法 32 ( 1 ) : 49-70 ( 2008 ) [j12] 多里特·阿哈罗诺夫 , 迈克尔·本·奥尔 :
具有恒定错误率的容错量子计算。 SIAM J.计算。 38 ( 4 ) : 1207-1282 ( 2008 ) [公元37年] 迈克尔·本·奥尔 , 阿维纳坦·哈西迪姆 :
贝叶斯学习器最适合于有噪声的二进制搜索(对于Quantum也很好)。 光纤通信系统 2008 : 221-230 [公元36年] 迈克尔·本·奥尔 , 阿维纳坦·哈西迪姆 , 哈兰·皮尔佩尔 :
量子多验证程序与通信验证程序的交互式验证。 光纤通信系统 2008 : 467-476 [公元35年] 迈克尔·本·奥尔 , 丹尼·多列夫 , 埃兹拉·N.霍赫 :
快速自稳定拜占庭容错数字时钟同步。 PODC公司 2008 : 385-394 [i2] 多里特·阿哈罗诺夫 , 迈克尔·本·奥尔 , 费尔南多·G·S·L·布兰登 , 或萨塔斯 :
追求唯一性:将Valiant-Vazirani定理扩展到概率和量子设置。 CoRR公司 绝对值/0814.4840 ( 2008 ) 2006 [公元34年] 迈克尔·本·奥尔 , 克劳德·克雷佩 , 丹尼尔·戈特斯曼 , 阿维纳坦·哈西迪姆 , 亚当·D·史密斯 :
安全多方量子计算(仅)具有严格的诚实多数。 光纤通信系统 2006 : 249-260 [c33] 迈克尔·本·奥尔 , 伊兰·巴甫洛夫 , 维诺德·瓦昆塔坦 :
拜占庭在O(log n)轮全信息模型中达成协议。 STOC公司 2006 : 179-186 2005 [公元32年] 迈克尔·本·奥尔 , 阿维纳坦·哈西迪姆 :
快速量子拜占庭协议。 STOC公司 2005 : 481-485 [公元31年] 迈克尔·本·奥尔 , 米查尔·霍洛德奇奇 , 黛比·W·梁 , 多米尼克·迈尔斯 , 乔纳森·奥本海姆 :
量子密钥分发的通用可组合安全性。 TCC(变矩器离合器) 2005 : 386-406 2004 [公元30年] 迈克尔·本·奥尔 , 唐·科珀史密斯 , 迈克尔·卢比 , 罗尼特·鲁宾菲尔德 :
非阿贝尔同态测试,以及接近其自卷积的分布。 近似距离 2004 : 273-285 [i1] 迈克尔·本·奥尔 , 唐·科珀史密斯 , 迈克尔·卢比 , 罗尼特·鲁宾菲尔德 :
非贝拉同态检验,以及接近其自卷积的分布。 电子。 计算机学术讨论会。 复杂。 TR04型 ( 2004 ) 2003 [公元11年] 迈克尔·本·奥尔 , 兰·埃勒亚尼夫 :
恒定时间内的弹性最佳交互一致性。 分布式计算。 16 ( 4 ) : 249-262 ( 2003 ) [公元10年] 迈克尔·本·奥尔 , 丹尼·古特弗伦德 :
统计零知识证明中的交互交易帮助。 J.加密。 16 ( 2 ) : 95-116 ( 2003 ) 2000 [公元29年] 丹尼·古特弗伦德 , 迈克尔·本·奥尔 :
提高经销商在非交互式零知识证明系统中的能力。 亚洲型 2000 : 429-442
1990 – 1999
1998 [公元9年] 加迪·沙米尔 , 迈克尔·本·奥尔 , 丹尼·多列夫 :
用于电子内容贸易的安全且可扩展的支付基础设施。 国际合作社信息系统。 7 ( 4 ) : 331-354 ( 1998 ) [公元28年] 加迪·沙米尔 , 迈克尔·本·奥尔 , 丹尼·多列夫 :
巴特:电子内容贸易的主干架构。 电子商务分布式系统的发展趋势 1998 : 65-79 [公元27年] 齐夫·巴尔·约瑟夫 , 迈克尔·本·奥尔 :
随机同步共识的严格下限。 PODC公司 1998 : 193-199 1997 [公元26年] 多里特·阿哈罗诺夫 , 迈克尔·本·奥尔 :
具有恒定误差的容错量子计算。 STOC公司 1997 : 176-188 1996 [j8] 迈克尔·本·奥尔 , 达娜·罗恩 :
在有缺陷的情况下,在有界度网络上达成一致。 信息处理。 莱特。 57 ( 6 ) : 329-334 ( 1996 ) [c25] 多里特·阿哈罗诺夫 , 迈克尔·本·奥尔 :
解码量子计算机的多项式模拟。 光纤通信系统 1996 : 46-55 1994 [公元24年] 迈克尔·本·奥尔 :
特征p>0的代数计算树(扩展抽象)。 光纤通信系统 1994 : 534-539 【c23】 迈克尔·本·奥尔 , 博阿兹·凯尔默 , 塔尔·拉宾 :
具有最佳弹性的异步安全计算(扩展抽象)。 PODC公司 1994 : 183-192 1993 [公元22年] 迈克尔·本·奥尔 , 兰·卡内蒂 , 密码学基础 :
异步安全计算。 STOC公司 1993 : 52-61 1992 [j7] 迈克尔·本·奥尔 , 理查德·克利夫 :
使用常量寄存器计算代数公式。 SIAM J.计算。 21 ( 1 ) : 54-58 ( 1992 ) 【c21】 约纳坦·奥曼 , 迈克尔·本·奥尔 :
使用故障阵列进行计算。 STOC公司 1992 : 162-169 1991 [公元20年] 约纳坦·奥曼 , 迈克尔·本·奥尔 :
故障超立方体上的渐近最优PRAM仿真(扩展抽象)。 光纤通信系统 1991 : 440-446 1990 [j6] 迈克尔·本·奥尔 , 普拉松·蒂瓦里 :
用实根逼近多项式所有根的简单算法。 J.复杂。 6 ( 4 ) : 417-442 ( 1990 ) [j5] 迈克尔·本·奥尔 , 密码学基础 , 西尔维奥·米卡利 , 罗纳德·里维斯 :
签订合同的公平协议。 IEEE传输。 Inf.理论 36 ( 1 ) : 40-46 ( 1990 )
1980 – 1989
1989 【j4】 迈克尔·本·奥尔 , 内森·利尼尔 :
集体硬币翻转。 高级计算。 物件。 5 : 91-115 ( 1989 ) [j3] 阿莫茨·巴诺伊 , 迈克尔·本·奥尔 , 丹尼·多列夫 :
有限失败的选择协调。 分布式计算。 三 ( 2 ) : 61-72 ( 1989 ) [第19条] 迈克尔·本·奥尔 , 沙菲·戈德瓦塞尔 , 乔·基利安 , 阿维·威格德森 :
使用两个证明人交互证明的高效识别方案。 密码 1989 : 498-506 [第18条] 塔尔·拉宾 , 迈克尔·本·奥尔 :
可验证秘密共享和诚实多数多方协议(扩展抽象)。 STOC公司 1989 : 73-85 1988 [注2] 迈克尔·本·奥尔 , 以法莲·菲格 , 德克斯特·科赞 , 普拉松·蒂瓦里 :
用实根确定多项式所有根的快速并行算法。 SIAM J.计算。 17 ( 6 ) : 1081-1092 ( 1988 ) [第17条] 迈克尔·本·奥尔 , 密码学基础 , 沙菲·戈德瓦塞尔 , 约翰·霍斯塔德 , 乔·基利安 , 西尔维奥·米卡利 , 菲利普·罗加韦 :
一切可证明的都是零知识可证明的。 密码 1988 : 37-56 [第16条] 迈克尔·本·奥尔 , 沙菲·戈德瓦塞尔 , 阿维·威格德森 :
非加密容错分布式计算的完备性定理(扩展抽象)。 STOC公司 1988 : 1-10 [第15条] 迈克尔·本·奥尔 , 沙菲·戈德瓦塞尔 , 乔·基利安 , 阿维·威格德森 :
多探测车交互式证明:如何删除无法解决的假设。 STOC公司 1988 : 113-131 [第14条] 迈克尔·本·奥尔 , 理查德·克利夫 :
使用常量寄存器计算代数公式。 STOC公司 1988 : 254-257 [第13条] 迈克尔·本·奥尔 , 普拉松·蒂瓦里 :
稀疏多元多项式插值的一种确定性算法(扩展摘要)。 STOC公司 1988 : 301-309 1986 [j1] 迈克尔·本·奥尔 , 德克斯特·科赞 , 约翰·雷夫 :
初等代数和几何的复杂性。 J.计算。 系统。 科学。 32 ( 2 ) : 251-264 ( 1986 ) [第12条] 迈克尔·本·奥尔 :
随机协议协议。 容错分布式计算 1986 : 72-83 [第11条] 迈克尔·本·奥尔 , 以法莲·菲格 , 德克斯特·科赞 , 普拉松·蒂瓦里 :
用实根确定多项式所有根的快速并行算法。 STOC公司 1986 : 340-349 1985 [第10条] 迈克尔·本·奥尔 , 内森·利尼尔 :
集体硬币翻转、稳健投票方案和Banzhaf值的极小值。 光纤通信系统 1985 : 408-416 【c9】 迈克尔·本·奥尔 , 密码学基础 , 西尔维奥·米卡利 , 罗纳德·里维斯 :
签订合同的公平协议(扩展摘要)。 ICALP公司 1985 : 43-52 【c8】 迈克尔·本·奥尔 :
快速异步拜占庭协议(扩展摘要)。 PODC公司 1985 : 149-151 【c7】 阿莫茨·巴诺伊 , 迈克尔·本·奥尔 , 丹尼·多列夫 :
有界失效的选择协调(初步版本)。 PODC公司 1985 : 309-316 1984 【c6】 迈克尔·本·奥尔 , 德克斯特·科赞 , 约翰·雷夫 :
初等代数和几何的复杂性(初步摘要)。 STOC公司 1984 : 457-464 【c5】 米克洛斯·阿杰泰 , 迈克尔·本·奥尔 :
概率常数深度计算的一个定理。 STOC公司 1984 : 471-474 1983 [c4] 迈克尔·本·奥尔 :
自由选择的另一个优势:完全异步协议(扩展抽象)。 PODC公司 1983 : 27-30 【c3】 迈克尔·本·奥尔 :
代数计算树的下限(初步报告)。 STOC公司 1983 : 80-86 【c2】 迈克尔·本·奥尔 , 本尼·乔尔 , 阿迪·沙米尔 :
关于单个RSA位的密码安全性。 STOC公司 1983 : 421-430 1981 【b1】 迈克尔·本·奥尔 :
1501;1501;1501;(有限域中的概率算法)。 以色列耶路撒冷希伯来大学, 1981 【c1】 迈克尔·本·奥尔 :
有限域中的概率算法。 光纤通信系统 1981 : 394-398