约书亚·甘彻
人员信息
优化列表
2020年–今天
2024 [i8] Cosku Acay公司 , 约书亚·甘彻 , 罗尔夫·雷克托 , 安德鲁·迈尔斯 以下为:
分布式密码应用的安全合成(技术报告)。 CoRR公司 abs/2401.04131 ( 2024 ) 2023 [注2] 约书亚·甘彻 , 克里斯蒂娜·索贾科娃 , 熊凡 , 伊莱恩·施 , 格雷格·莫里塞特 以下为:
密码协议等式证明的核心演算。 程序。 ACM计划。 语言。 7 ( POPL公司 ) 以下为: 866-892 ( 2023 ) 【c3】 约书亚·甘彻 , 西德尼·吉布森 , 普拉塔普·辛格 , 萨姆维德·达拉尼科塔 , 布莱恩·帕诺 以下为:
猫头鹰:通过信息流类型系统对安全协议进行组合验证。 服务提供商 2023 以下为: 1130-1147 [i7] 林正耀 , 约书亚·甘彻 , 布莱恩·帕诺 以下为:
WaveCert:异步数据流程序的正式编译器验证。 CoRR公司 abs/2312.09326 ( 2023 ) [i6] 约书亚·甘彻 , 西德尼·吉布森 , 普拉塔普·辛格 , 萨姆维德·达拉尼科塔 , 布莱恩·帕诺 以下为:
猫头鹰:通过信息流类型系统对安全协议进行组合验证。 IACR加密。 电子打印架构。 2023 以下为: 473 ( 2023 ) 2021 【b1】 约书亚·甘彻 以下为:
验证密码安全的等式推理。 美国康奈尔大学, 2021 [c2] Cosku Acay公司 , 罗尔夫·雷克托 , 约书亚·甘彻 , 安德鲁·迈尔斯 , 伊莱恩·施 以下为:
高架桥:用于安全分布式程序的可扩展优化编译器。 PLDI公司 2021 以下为: 740-755 [i5] 格雷格·莫里塞特 , 伊莱恩·施 , 克里斯蒂娜·索贾科娃 , 熊帆 , 约书亚·甘彻 以下为:
IPDL:一个用于正式验证分布式加密协议的简单框架。 IACR加密。 电子打印架构。 2021 以下为: 147 ( 2021 ) [i4] Cosku Acay公司 , 罗尔夫·雷克托 , 约书亚·甘彻 , 安德鲁·迈尔斯 , 伊莱恩·施 以下为:
《高架桥:安全分布式程序的可扩展优化编译器》(技术报告)。 IACR加密。 电子打印架构。 2021 以下为: 468 ( 2021 )
2010 – 2019
2019 [i3] 熊凡 , 约书亚·甘彻 , 格雷格·莫里塞特 , 伊莱恩·施 , 克里斯蒂娜·索贾科娃 以下为:
IPDL:用于加密的概率数据流逻辑。 IACR加密。 电子打印架构。 2019 以下为: 1422 ( 2019 ) 2018 【c1】 吉尔斯·巴特 , 熊凡 , 约书亚·甘彻 , 本杰明·格雷戈里 , 查理·贾科姆 , 伊莱恩·施 以下为:
基于格的密码学的符号证明。 中央控制系统 2018 以下为: 538-555 [i2] 吉尔斯·巴特 , 熊凡 , 约书亚·甘彻 , 本杰明·格雷戈伊尔 , 查理·贾科姆 , 伊莱恩·施 以下为:
基于格的密码学的符号证明。 IACR加密。 电子打印架构。 2018 以下为: 765 ( 2018 ) 2017 [j1] 约书亚·甘彻 , 亚当·格罗斯 , 亚历克斯·莱杰 以下为:
外部可验证的不经意RAM。 程序。 Priv.增强技术。 2017 ( 2 ) 以下为: 149-171 ( 2017 ) [i1] 约书亚·甘彻 , 亚当·格罗斯 , 亚历克斯·莱杰 以下为:
外部可验证的不经意RAM。 IACR加密。 电子打印架构。 2017 以下为: 8 ( 2017 )