希斯
人员信息
其他同名人员
大卫·F·加韦-海斯 (又名:David Garway-Heath) 大卫·C·希思 大卫·G·希思
优化列表
![笔记](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 【c21】 希斯 :
乱码电路中的高效算法。 欧洲密码(5) 2024 : 3-31 [公元20年] 希斯 , 弗拉基米尔·科莱斯尼科夫 , 吕西安·K·L·Ng :
密文对数个数的乱码电路查找表。 欧洲密码(5) 2024 : 185-215 [i27] 希斯 :
乱码电路中的高效算法。 IACR加密。 电子打印架构。 2024 : 139 ( 2024 ) [i26] 希斯 , 弗拉基米尔·科莱斯尼科夫 , 吕西安·K·L·Ng :
密文对数个数的乱码电路查找表。 IACR加密。 电子打印架构。 2024 : 369 ( 2024 ) [i25] 杨宜宾 , 希斯 , 卡米特·哈扎伊 , 弗拉基米尔·科莱斯尼科夫 , Muthuramakrishnan Venkitasubramaniam公司 :
ZK CPU紧张:批量ZK分支,成本与评估指令成比例。 IACR加密。 电子打印架构。 2024 : 456 ( 2024 ) 2023 [j5] 伊恩·斯威特 , 大卫·达赖 , 希斯 , 威廉·哈里斯 , 瑞安·埃斯特斯 , 迈克尔·希克斯 :
Symphony:具有协调的表达性安全多方计算。 艺术科学。 工程项目。 7 ( 三 ) ( 2023 ) [第19条] 杨宜宾 , 希斯 , 卡米特·哈扎伊 , 弗拉基米尔·科莱斯尼科夫 , Muthuramakrishnan Venkitasubramaniam公司 :
Batchman和Robin:Interactive ZK的成批和非支持分支。 CCS系统 2023 : 1452-1466 [第18条] 宜宾杨 , 斯坦尼斯拉夫·佩切尼 , 希斯 , 弗拉基米尔·科莱斯尼科夫 :
通过可变指令集体系结构(VISA)实现通用MPC编译器。 CCS系统 2023 : 2516-2530 [第17条] 希斯 , 弗拉基米尔·科莱斯尼科夫 , 拉斐尔·奥斯特罗夫斯基 :
三态电路-捕获RAM的电路模型。 密码(4) 2023 : 128-160 【i24】 伊恩·斯威特 , 大卫·达赖 , 希斯 , 威廉·哈里斯 , 瑞安·埃斯特斯 , 迈克尔·希克斯 :
Symphony:具有协调的表达性安全多方计算。 CoRR公司 abs/2302.10076 ( 2023 ) [第23条] 希斯 :
循环电路的并行RAM。 CoRR公司 abs/2309.05133 ( 2023 ) [i22] 希斯 , 弗拉基米尔·科莱斯尼科夫 , 拉斐尔·奥斯特罗夫斯基 :
三态电路:捕获RAM的电路模型。 电子。 计算机学术讨论会。 复杂。 23号机房 ( 2023 ) 【i21】 希斯 , 弗拉基米尔·科莱斯尼科夫 , 拉斐尔·奥斯特罗夫斯基 :
三态电路:一种更好的乱码计算模型。 IACR加密。 电子打印架构。 2023 : 455 ( 2023 ) [i20] 宜宾杨 , 斯坦尼斯拉夫·佩切尼 , 希斯 , 弗拉基米尔·科莱斯尼科夫 :
通过可变指令集体系结构(VISA)实现通用MPC编译器。 IACR加密。 电子打印架构。 2023 : 953 ( 2023 ) [i19] 杨宜宾 , 希斯 :
两次洗牌形成RAM:改进的恒定开销零知识RAM。 IACR加密。 电子打印架构。 2023 : 1115 ( 2023 ) [i18] 杨宜宾 , 希斯 , 卡米特·哈扎伊 , 弗拉基米尔·科莱斯尼科夫 , Muthuramakrishnan Venkitasubramaniam公司 :
Batchman和Robin:Interactive ZK的成批和非支持分支。 IACR加密。 电子打印架构。 2023 : 1257 ( 2023 ) [i17] 克鲁斯·巴纳姆 , 希斯 , 弗拉基米尔·科莱斯尼科夫 , 拉斐尔·奥斯特罗夫斯基 :
来自非可编程随机预言机的自适应乱码电路和乱码RAM。 IACR加密。 电子打印架构。 2023 : 1527 ( 2023 ) 2022 【b1】 希斯 :
杂乱电路中的新方向。 乔治亚理工学院,美国佐治亚州亚特兰大, 2022 [c16] 希斯 , 弗拉基米尔·科莱斯尼科夫 , 拉法尔·奥斯特罗夫斯基 :
EpiGRAM:实用乱码RAM。 欧洲密码(1) 2022 : 3-33 [第15条] 阿比达·哈克 , 希斯 , 弗拉基米尔·科莱斯尼科夫 , 史蒂夫·卢 , 拉斐尔·奥斯特罗夫斯基 , 阿卡什·沙阿 :
使用次线性评估器的乱码电路。 欧洲密码(1) 2022 : 37-64 [第14条] 宜宾杨 , 希斯 , 弗拉基米尔·科莱斯尼科夫 , 大卫·德韦塞里 :
EZEE:ANSI C的时代并行零知识。 欧洲标准普尔 2022 : 109-123 [i16] 希斯 , 弗拉基米尔·科莱斯尼科夫 , 陆家辉 :
KKW实用线性的高效通用算法:无可信设置商品硬件上的MPC-in-the-Head NIZK。 IACR加密。 电子打印架构。 2022 : 795 ( 2022 ) 【i15】 阿比达·哈克 , 希斯 , 弗拉基米尔·科莱斯尼科夫 , 史蒂夫·卢 , 拉斐尔·奥斯特罗夫斯基 , 阿卡什·沙阿 :
使用次线性评估器的乱码电路。 IACR加密。 电子打印架构。 2022 : 797 ( 2022 ) [i14] 希斯 , 弗拉基米尔·科莱斯尼科夫 :
一句热情洋溢的废话。 IACR加密。 电子打印架构。 2022 : 798 ( 2022 ) [i13] 希斯 , 弗拉基米尔·科莱斯尼科夫 :
带有BubbleRAM的2.1 KHz零知识处理器。 IACR加密。 电子打印架构。 2022 : 809 ( 2022 ) [i12] 希斯 , 杨宜宾 , 大卫·德韦塞里 , 弗拉基米尔·科莱斯尼科夫 :
零知识的一切和每个人:快速ZK处理器与缓存RAM的ANSI C程序。 IACR加密。 电子打印架构。 2022 : 810 ( 2022 ) [i11] 杨宜宾 , 希斯 , 弗拉基米尔·科莱斯尼科夫 , 大卫·德韦塞里 :
EZEE:ANSI C的时代并行零知识。 IACR加密。 电子打印架构。 2022 : 811 ( 2022 ) 2021 [第13条] 希斯 , 弗拉基米尔·科莱斯尼科夫 , 斯坦尼斯拉夫·佩切尼 :
杂乱、堆叠和交错-更快的k取n杂乱函数评估。 亚洲类型(2) 2021 : 245-274 [第12条] 希斯 , 弗拉基米尔·科莱斯尼科夫 :
PrORAM-快速P(日志 n个 )经认证的股份ZK ORAM。 亚洲类型(4) 2021 : 495-525 [第11条] 希斯 , 弗拉基米尔·科莱斯尼科夫 :
一句热情洋溢的废话。 CCS系统 2021 : 574-593 [第10条] 希斯 , 弗拉基米尔·科莱斯尼科夫 , 陆家辉 :
无需可信设置的商品硬件上KKW实用线性MPC-in-the-Head NIZK的高效通用算法。 CSCML公司 2021 : 414-431 【c9】 希斯 , 弗拉基米尔·科莱斯尼科夫 :
sf LogStack:带O(b log b)计算的堆叠乱码。 欧洲密码(3) 2021 : 3-32 【c8】 希斯 , 弗拉基米尔·科莱斯尼科夫 , 斯坦尼斯拉夫·佩切尼 :
屏蔽三元组-跨条件摊销乘法三元组。 公钥密码(2) 2021 : 319-348 【c7】 希斯 , 杨宜宾 , 大卫·德韦塞里 , 弗拉基米尔·科莱斯尼科夫 :
一切和每个人都零知识:用于ANSI C程序的带有缓存ORAM的快速ZK处理器。 服务提供商 2021 : 1538-1556 [i10] 希斯 , 弗拉基米尔·科莱斯尼科夫 :
LogStack:带O(b log b)计算的堆叠乱码。 IACR加密。 电子打印架构。 2021 : 531 ( 2021 ) [第九章] 希斯 , 弗拉基米尔·科莱斯尼科夫 :
PrORAM:Fast O(log n)Private Coin ZK ORAM。 IACR加密。 电子打印架构。 2021 : 587 ( 2021 ) [i8] 希斯 , 弗拉基米尔·科莱斯尼科夫 , 斯坦尼斯拉夫·佩切尼 :
屏蔽三元组:跨条件摊销乘法三元组。 IACR加密。 电子打印架构。 2021 : 604 ( 2021 ) [i7] 希斯 , 弗拉基米尔·科莱斯尼科夫 , 拉斐尔·奥斯特罗夫斯基 :
实际乱码RAM:带O的GRAM(log 2 n) 间接费用。 IACR加密。 电子打印架构。 2021 : 1519 ( 2021 ) [i6] 希斯 , 弗拉基米尔·科莱斯尼科夫 , 斯坦尼斯拉夫·佩切尼 :
乱码、堆叠和交错:更快的k取n乱码函数评估。 IACR加密。 电子打印架构。 2021 : 1590 ( 2021 ) 2020 【c6】 希斯 , 弗拉基米尔·科莱斯尼科夫 , 斯坦尼斯拉夫·佩切尼 :
MOTIF:(几乎)GMW中的自由分支-通过矢量-标量乘法。 亚洲类型(3) 2020 : 3-30 【c5】 希斯 , 弗拉基米尔·科莱斯尼科夫 :
带有BubbleRAM的2.1 KHz零知识处理器。 CCS系统 2020 : 2055-2074 【c4】 希斯 , 弗拉基米尔·科莱斯尼科夫 :
堆叠杂乱-杂乱电路与最长执行路径成比例。 密码(2) 2020 : 763-792 【c3】 希斯 , 弗拉基米尔·科莱斯尼科夫 :
分离零知识证明的堆叠乱码。 欧洲密码(3) 2020 : 569-598 [i5] 希斯 , 弗拉基米尔·科莱斯尼科夫 :
分离零知识证明的堆叠乱码。 IACR加密。 电子打印架构。 2020 : 136 ( 2020 ) [i4] 希斯 , 弗拉基米尔·科莱斯尼科夫 :
堆叠乱码:乱码电路与最长执行路径成比例。 IACR加密。 电子打印架构。 2020 : 973 ( 2020 ) [i3] 希斯 , 弗拉基米尔·科莱斯尼科夫 , 斯坦尼斯拉夫·佩切尼 :
MOTIF:(几乎)通过矢量-标量乘法在GMW中实现自由分支。 IACR加密。 电子打印架构。 2020 : 1175 ( 2020 )
2010 – 2019
2019 【c2】 齐州 , 希斯 , 威廉·哈里斯 :
通过不变引导同步进行关系验证。 HCVS公司/ PERR@ETAPS(预计到达时间) 2019 : 28-41 2017 [i2] 齐州 , 希斯 , 威廉·哈里斯 :
全自动等价证明。 CoRR公司 abs/1705.03110 ( 2017 ) [i1] Caleb沃斯 , 希斯 , 威廉·哈里斯 :
作为综合执行语法的关系不变量的证明。 CoRR公司 abs/1710.03357 ( 2017 )
2000 – 2009
2007 【j4】 菲利普·阿兹纳 , 弗雷迪·德尔巴恩 , Jean-Marc Eber女士 , 希斯 , 奎慧琴(Hyejin Ku) :
一致的多期风险调整值和Bellman原理。 安·Oper。 物件。 152 ( 1 ) : 5-22 ( 2007 ) 2006 [j3] 希斯 , 奎慧琴(Hyejin Ku) :
交易台之间的一致性。 金融随机学 10 ( 三 ) : 331-340 ( 2006 )
1990 – 1999
1998 [注2] 希斯 , 西德尼·雷斯尼克 , 吉纳迪·萨莫罗德尼茨基 :
开/关过程和相关流体模型中的重尾和长程依赖性。 数学。 操作。 物件。 23 ( 1 ) : 145-165 ( 1998 ) 1997 [c1] 希斯 , 德里克·阿勒姆 :
计算机象棋的历史发展及其对人工智能的影响。 深蓝与卡斯帕罗夫:人工智能的意义 1997 : 63-
1980 – 1989
1988 [j1] 希斯 , 卡尔·迪格特 :
通过竞争学习。 神经网络 1 ( 补遗-1 ) : 100 ( 1988 )
合著者索引
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)