史蒂夫·克莱默
人员信息
附属： INRIA Nancy-法国Grand Est 隶属关系（前）： ENS Cachan，法国巴黎
其他同名人员
史蒂文·克雷默 -美国纽约州斯克内克塔迪海军核实验室
优化列表
2020年–今天
2024 
[公元25年] 文森特·雪娃 , 史蒂夫·克莱默 , 伊萨卡·拉科托尼里娜 :
DeepSec:确定安全协议的等价属性-改进的理论和实践。 理论CS 三 ( 2024 ) 2023 [公元24年] 文森特·雪娃 , 拉斐尔·克鲁比莱 , 史蒂夫·克莱默 :
使用骰子验证符号协议。 J.计算。 安全。 31 ( 5 ) : 501-538 ( 2023 ) [公元23年] 史蒂夫·克莱默 :
安全和隐私专栏。 ACM SIGLOG新闻 10 ( 1 ) : 三 ( 2023 ) [公元62年] 查理·贾科姆 , 伊丽莎·克莱恩 , 史蒂夫·克莱默 , 马温·拉库肖特 :
EDHOC协议的全面、正式和自动化分析。 USENIX安全研讨会 2023 : 5881-5898 [第61条] 文森特·切瓦尔 , Cas Cremers公司 , 亚历山大·达克斯 , 卢卡·赫斯基 , 查理·贾科姆 , 史蒂夫·克莱默 :
Hash Gone Bad：自动发现利用Hash函数弱点的协议攻击。 USENIX安全研讨会 2023 : 5899-5916 【i15】 马克斯·阿曼 , 卢卡·赫希 , 史蒂夫·克莱默 :
DY模糊：正式的Dolev-Yao模型符合协议模糊测试。 IACR加密。 电子打印架构。 2023 : 57 ( 2023 ) 2022 [公元22年] 吉尔斯·巴特 , 查理·贾科姆 , 史蒂夫·克莱默 :
有限域上概率程序的普遍等价性和多数性。 ACM事务处理。 计算。 日志。 23 ( 1 ) : 5:1-5:42 ( 2022 ) [公元60年] 文森特·雪娃 , 拉斐尔·克鲁比莱 , 史蒂夫·克莱默 :
使用骰子进行符号协议验证：存在概率的过程等价性。 CSF公司 2022 : 319-334 [公元59年] 文森特·雪娃 , 查理·贾科姆 , 史蒂夫·克莱默 , 罗伯特·库内曼 :
SAPIC+：世界协议验证者，团结起来！ USENIX安全研讨会 2022 : 3935-3952年 [第14条] 文森特·雪娃 , 史蒂夫·克莱默 , 伊萨卡·拉科托尼里娜 :
DeepSec：确定安全协议的等效属性-改进的理论和实践。 CoRR公司 abs/2211.03225 ( 2022 ) [i13] 文森特·雪娃 , 查理·贾科姆 , 史蒂夫·克莱默 , 罗伯特·库内曼 :
Sapic+：世界协议验证者，团结起来！ IACR加密。 电子打印架构。 2022 : 741 ( 2022 ) [i12] 文森特·切瓦尔 , Cas Cremers公司 , 亚历山大·达克斯 , 卢卡·赫斯基 , 查理·贾科姆 , 史蒂夫·克莱默 :
Hash Gone Bad：自动发现利用Hash函数弱点的协议攻击。 IACR加密。 电子打印架构。 2022 : 1314 ( 2022 ) 2021 [公元21年] 查理·贾科姆 , 史蒂夫·克莱默 :
多因素身份验证协议的广泛形式分析。 ACM事务处理。 私人安全。 24 ( 2 ) : 13:1-13:34 ( 2021 ) 2020 [公元20年] 库沙尔·巴贝尔 , 文森特·雪娃 , 史蒂夫·克莱默 :
验证等价属性时的通信语义。 J.计算。 安全。 28 ( 1 ) : 71-127 ( 2020 ) [公元58年] 文森特·雪娃 , 史蒂夫·克莱默 , 伊萨卡·拉科托尼里娜 :
安全协议中等价属性的可决定性和复杂性指南。 逻辑、语言和安全 2020 : 127-145 [公元57年] 吉尔斯·巴特 , 查理·贾科姆 , 史蒂夫·克莱默 :
有限域上的普遍等价性和大多数概率程序。 低收入国家 2020 : 155-166
2010年至2019年
2019 [公元56年] 文森特·雪娃 , 史蒂夫·克莱默 , 伊察卡·拉科托尼里纳 :
在证明安全协议的等效属性时利用对称性。 CCS系统 2019 : 905-922 [公元55年] 吉尔斯·巴特 , 本杰明·格雷戈里 , 查理·贾科姆 , 史蒂夫·克莱默 , Pierre-Yves支柱 :
计算密码证明中的符号方法。 CSF公司 2019 : 第136页至第151页 [公元54年] Sergiu Bursuc公司 , 史蒂夫·克莱默 :
公共分类账上的或有付款：自动验证的模型和缩减。 ESORICS（1） 2019 : 361-382 [c53] Sergiu Bursuc公司 , 康斯坦丁·卡塔琳·德拉甘 
, 史蒂夫·克莱默 :
不受信任平台上的私人投票：模型、攻击和可证明的方案。 欧洲标准普尔 2019 : 606-620 [i11] Sergiu Bursuc公司 , 史蒂夫·克莱默 :
公共分类账上的或有付款：自动验证的模型和减少。 IACR加密。 电子打印架构。 2019 : 443 ( 2019 ) 2018 [第52条] 文森特·雪娃 , 史蒂夫·克莱默 , 伊萨卡·拉科托尼里娜 :
深海探测仪。 CAV（2） 2018 : 28-36 [第51条] 查理·贾科姆 , 史蒂夫·克莱默 :
多因素身份验证协议的广泛形式分析。 CSF公司 2018 : 1-15 [公元50年] 文森特·切瓦尔 , 史蒂夫·克莱默 , 伊萨卡·拉科托尼里娜 :
DEEPSEC：确定安全协议理论和实践中的等效属性。 IEEE安全与隐私研讨会 2018 : 529-546 2017 [公元49年] 圣埃芬妮·德劳恩 , 史蒂夫·克莱默 , 卢多维奇·罗宾 :
基于短认证字符串的协议形式化验证。 CSF公司 2017 : 130-143 [公元48年] 大卫·巴尔德 , 圣埃芬妮·德劳恩 , 伊万·加佐 , 史蒂夫·克莱默 :
XOR安全协议私有类型属性的符号验证。 CSF公司 2017 : 234-248 [公元47年] 伊万·加佐 , 史蒂夫·克莱默 :
使用Else分支自动分析安全协议的等效属性。 ESORICS（2） 2017 : 1-20 [公元46年] 迈克尔·巴克斯 , 詹妮克·德雷尔 , 史蒂夫·克莱默 , 罗伯特·库内曼 :
一种新的密码协议活性推理方法及其在公平交换中的应用。 欧洲标准普尔 2017 : 76-91 [公元45年] 查理·贾科姆 , 史蒂夫·克莱默 , 纪尧姆·斯卡里 :
独立执行环境的符号模型。 欧洲标准普尔 2017 : 530-545 [公元44年] 詹妮克·德雷尔 , 查尔斯·杜梅尼 , 史蒂夫·克莱默 , 拉尔夫·萨西 :
状态协议自动验证中超越亚术语收敛等式理论。 邮政 2017 : 117-140 [公元43年] 库沙尔·巴贝尔 , 文森特·切瓦尔 , 史蒂夫·克莱默 :
验证等效属性时的通信模型。 邮政 2017 : 141-163 [i10] 查理·贾科姆 , 史蒂夫·克莱默 , 纪尧姆·斯卡里 :
独立执行环境的符号模型。 IACR加密。 电子打印架构。 2017 : 70 ( 2017 ) 2016 [公元19年] 史蒂夫·克莱默 , 罗伯特·库内曼 :
自动分析具有全局状态的安全协议。 J.计算。 安全。 24 ( 5 ) : 583-616 ( 2016 ) [公元18年] 罗希特·查达 , 文森特·雪娃 , 斯特凡·西奥巴 , 史蒂夫·克莱默 :
密码协议等价性的自动验证。 ACM事务处理。 计算。 日志。 17 ( 4 ) : 23 ( 2016 ) [公元42年] Myrto Arapinis公司 , Véronique Cortier公司 , 史蒂夫·克莱默 :
什么时候三个投票人对隐私财产足够了？ ESORICS（2） 2016 : 241-260 [公元41年] 史蒂夫·克莱默 , 彼得·罗恩 :
对杜还是不对杜：杜威的安全分析。 欧洲标准普尔 2016 : 473-486 [第2页] Véronique Cortier公司 , 史蒂夫·克莱默 :
分析安全协议的形式化模型：一些课堂讲稿。 可靠软件系统工程 2016 : 33-58 [第九章] Myrto Arapinis公司 , Véronique Cortier公司 , 史蒂夫·克莱默 :
什么时候三个投票人对隐私财产足够了？ IACR加密。 电子打印架构。 2016 : 690 ( 2016 ) 2015 [公元40年] Véronique Cortier公司 , 法比恩·艾格纳 , 史蒂夫·克莱默 , 马泰奥·马菲 , 西里尔·魏德林 :
电子投票协议的基于类型的验证。 邮政 2015 : 303-323 [i8] Véronique Cortier公司 , 法比恩·艾格纳 , 史蒂夫·克莱默 , 马泰奥·马菲 , 西里尔·魏德林 :
基于类型的电子投票协议验证。 IACR加密。 电子打印架构。 2015 : 39 ( 2015 ) 2014 [公元17年] Myrto Arapinis公司 , 圣埃芬妮·德劳恩 , 史蒂夫·克莱默 :
安全协议的动态标签。 日志。 方法计算。 科学。 10 ( 2 ) ( 2014 ) [公元16年] Véronique Cortier公司 , 史蒂夫·克莱默 :
分析安全协议的形式化模型和技术：教程。 已找到。 趋势计划。 语言。 1 ( 三 ) : 151-267年 ( 2014 ) [公元15年] 史蒂夫·克莱默 , 巴利亚特·纳伦德兰 :
安全和重写技术专题的前言。 Inf.计算。 238 : 1 ( 2014 ) [公元39年] 史蒂夫·克莱默 , 罗伯特·库内曼 :
具有全局状态的安全协议的自动分析。 IEEE安全与隐私研讨会 2014 : 163-178 [电子5] 马丁·阿巴迪 , 史蒂夫·克莱默 :
安全与信任原则——2014年4月5日至13日在法国格勒诺布尔举行的第三届国际会议，POST，作为欧洲软件理论与实践联合会议的一部分。 计算机科学课堂讲稿 8414, 施普林格 2014 ，国际标准图书编号 978-3-642-54791-1 [目录] [i7] 史蒂夫·克莱默 , 罗伯特·库内曼 :
自动分析具有全局状态的安全协议。 CoRR公司 abs/1403.1142 ( 2014 ) 2013 [公元14年] 塞林骑士 , 圣埃芬妮·德劳恩 , 史蒂夫·克莱默 , 马克·德莫特·瑞安 :
基于密码的协议的组成。 形式方法系统。 设计。 43 ( 三 ) : 369-413 ( 2013 ) [公元38年] 史蒂夫·克莱默 , 罗伯特·库内曼 , 格雷厄姆钢铁公司 :
通用可组合密钥管理。 ESORICS公司 2013 : 327-344 [公元37年] Myrto Arapinis公司 , Véronique Cortier公司 , 史蒂夫·克莱默 , 马克·瑞恩 :
实用的永久隐私。 邮政 2013 : 21-40岁 2012 [j13] 史蒂夫·克莱默 , 安托万·梅西耶 , 拉尔夫·特雷恩 :
静态等效判定的简化方程理论。 J.汽车。 原因。 48 ( 2 ) : 197-217 ( 2012 ) [公元12年] 斯特凡·西奥巴 , 斯特凡尼·德莱恩 , 史蒂夫·克莱默 :
收敛等式理论下安全协议中的计算知识。 J.汽车。 原因。 48 ( 2 ) : 219-262 ( 2012 ) [c36] 圣埃芬妮·德劳恩 , 史蒂夫·克莱默 , 丹尼尔·帕赛拉 :
安全协议、约束系统和群论。 国际JCAR 2012 : 164-178 [公元35年] 罗希特·查达 , 斯特凡·西奥巴 , 史蒂夫·克莱默 :
密码协议等价性的自动验证。 员工持股计划 2012 : 108-127 [i6] 史蒂夫·克莱默 , 罗伯特·库内曼 , 格雷厄姆钢铁公司 :
通用可组合密钥管理。 IACR加密。 电子打印架构。 2012 : 189 ( 2012 ) 2011 【b1】 史蒂夫·克莱默 :
在密码过程计算中对安全协议进行建模和分析。 法国卡尚正常供应， 2011 [公元11年] Véronique Cortier公司 , 史蒂夫·克莱默 , 博格丹·瓦林斯基 :
密码系统计算分析中的符号方法综述。 J.汽车。 原因。 46 ( 3-4 ) : 225-259 ( 2011 ) [公元34年] 圣埃芬妮·德劳恩 , 史蒂夫·克莱默 , 马克·德莫特·瑞安 , 格雷厄姆钢铁公司 :
基于TPM状态寄存器的协议形式化分析。 CSF公司 2011 : 66-80 [公元33年] 史蒂夫·克莱默 , 格雷厄姆钢铁公司 , 博格丹·瓦林斯基 :
密钥管理接口的安全性。 CSF公司 2011 : 266-280 [公元32年] 塞林骑士 , 圣埃芬妮·德劳恩 , 史蒂夫·克莱默 :
将密码协议转换为Compose。 FSTTCS公司 2011 : 204-216 [第1页] Véronique Cortier公司 , 史蒂夫·克莱默 :
导言。 安全协议分析的形式化模型与技术 2011 : 1-12 [电子4] Véronique Cortier公司 , 史蒂夫·克莱默 :
用于分析安全协议的形式化模型和技术。 密码学和信息安全系列 5, IOS出版社 2011 ，国际标准图书编号 978-1-60750-713-0 [目录] 2010 [公元10年] 圣埃芬妮·德劳恩 , 史蒂夫·克莱默 , 马克·德莫特·瑞安 :
应用pi演算的符号互模拟。 J.计算。 安全。 18 ( 2 ) : 317-377 ( 2010 ) [公元9年] 史蒂夫·克莱默 , 劳伦特·马扎雷 :
使用双线性对协议进行计算声音分析。 J.计算。 安全。 18 ( 6 ) : 999-1033 ( 2010 ) [j8] 圣埃芬妮·德劳恩 , 史蒂夫·克莱默 , 格雷厄姆钢铁公司 :
PKCS#11和专有扩展的正式安全分析。 J.计算。 安全。 18 ( 6 ) : 1211-1245 ( 2010 ) [公元31年] 史蒂夫·克莱默 , 马克·瑞恩 , 本·斯迈思 :
电子投票协议中的选举可验证性。 ESORICS公司 2010 : 389-404 [公元30年] 圣埃芬妮·德劳恩 , 史蒂夫·克莱默 , 马克·德莫特·瑞安 , 格雷厄姆钢铁公司 :
TPM中身份验证的形式化分析。 安全和信任的形式方面 2010 : 111-125 [公元29年] 本·斯迈思 , 马克·瑞恩 , 史蒂夫·克莱默 , 穆尼拉·库尔杰 :
选举可验证性属性的自动分析。 ARSPA-WITS公司 2010 : 146-163年 [公元28年] 圣埃芬妮·德劳恩 , 史蒂夫·克莱默 , 马克·瑞恩 :
验证电子投票协议的隐私类型属性：品尝者。 走向值得信赖的选举 2010 : 289-309
2000 – 2009
2009 [j7] 马修·鲍德特 , Véronique Cortier公司 , 史蒂夫·克莱默 :
在计算上实现对抗被动对手的方程式理论。 Inf.计算。 207 ( 4 ) : 496-520 ( 2009 ) [j6] 圣埃芬妮·德劳恩 , 史蒂夫·克莱默 , 马克·瑞恩 :
验证电子投票协议的隐私类型属性。 J.计算。 安全。 17 ( 4 ) : 435-487 ( 2009 ) [公元27年] 史蒂夫·克莱默 , 安托万·梅西耶 , 拉尔夫·特雷恩 :
静态等效判定的简化方程理论。 亚洲的 2009 : 94-108 [公元26年] 斯特凡·西奥巴 , 圣埃芬妮·德劳恩 , 史蒂夫·克莱默 :
收敛等式理论下安全协议中的计算知识。 CADE公司 2009 : 355-370 [公元25年] 罗希特·查达 , 圣埃芬妮·德劳恩 , 史蒂夫·克莱默 :
应用π演算的认识逻辑。 FMOODS/FORTE公司 2009 : 182-197 [公元24年] 圣埃芬妮·德劳恩 , 史蒂夫·克莱默 , 奥利维尔·佩雷拉 :
应用pi演算中基于仿真的安全性。 FSTTCS公司 2009 : 169-180 [e3] 史蒂夫·克莱默 , 普拉卡什·帕南加登 :
第六届并发安全问题研讨会会议记录， CONCUR的SecCo 2008年8月23日，加拿大安大略省多伦多。 理论计算机科学电子笔记 242(3), 爱思维尔 2009 [目录] [电子2] 米歇尔·博雷尔 , 史蒂夫·克莱默 :
第七届并发安全问题国际研讨会论文集，SECCO 2009，意大利博洛尼亚，2009年9月5日。 EPTCS系统 7, 2009 [目录] [i5] 圣埃芬妮·德劳恩 , 史蒂夫·克莱默 , 奥利维尔·佩雷拉 :
应用pi演算中基于仿真的安全性。 IACR加密。 电子打印架构。 2009 : 267 ( 2009 ) 2008 【c23】 史蒂夫·克莱默 , 安托万·梅西尔 , 拉尔夫·特雷恩 :
证明组协议对窃听者安全。 国际JCAR 2008 : 116-131 [公元22年] 斯特凡尼·德莱恩 , 史蒂夫·克莱默 , 马克·瑞安 :
基于密码的协议的组成。 CSF公司 2008 : 239-251 【c21】 圣埃芬妮·德劳恩 , 史蒂夫·克莱默 , 格雷厄姆钢铁公司 :
PKCS#11的形式分析。 CSF公司 2008 : 331-344 [公元20年] Myrto Arapinis公司 , 圣埃芬妮·德劳恩 , 史蒂夫·克莱默 :
从一个会话到多个会话：安全协议的动态标记。 LPAR公司 2008 : 128-142 [第19条] 史蒂夫·克莱默 , 普拉卡什·帕南加登 :
前言。 CONCUR的SecCo 2008 : 1-2 [电子1] 李群·陈 , 史蒂夫·克莱默 , 马克·德莫特·瑞安 :
应用的正式协议验证，14.10.- 19.10.2007. 达格斯图尔研讨会记录 07421, 德国达格斯图尔城堡国际信息学院（IBFI） 2008 [目录] 2007 [第18条] 史蒂夫·克莱默 , 劳伦特·马扎雷 :
静态等效的自适应稳健性。 ESORICS公司 2007 : 610-625 [第17条] 圣埃芬妮·德劳恩 , 史蒂夫·克莱默 , 马克·瑞恩 :
应用π微积分的符号互模拟。 FSTTCS公司 2007 : 133-145 [第16条] 史蒂夫·克莱默 :
等式理论的计算可靠性（教程）。 TGC公司 2007 : 363-382 [i4] 李群·陈 , 史蒂夫·克莱默 , 马克·德莫特·瑞安 :
07421执行摘要——应用了正式协议验证。 应用了形式化协议验证 2007 [i3] 李群·陈 , 史蒂夫·克莱默 , 马克·德莫特·瑞安 :
07421摘要集合——应用了形式化协议验证。 应用了形式化协议验证 2007 2006 [j5] 罗希特·查达 , 史蒂夫·克莱默 , 安德烈·塞德洛夫 :
多方合同签订的形式分析。 J.汽车。 原因。 36 ( 1-2 ) : 第39页至第83页 ( 2006 ) 【j4】 让·卡迪纳尔 , 史蒂夫·克莱默 , 斯特凡·兰格曼 :
与模式匹配并驾齐驱。 理论计算。 系统。 39 ( 三 ) : 425-437 ( 2006 ) [第15条] 圣埃芬妮·德劳恩 , 史蒂夫·克莱默 , 马克·瑞恩 :
电子投票中的抗胁迫和无接收人。 CSFW公司 2006 : 28-42 [第14条] Véronique Cortier公司 , 史蒂夫·克莱默 , 拉尔夫·库斯特斯 , 博格丹·瓦林斯基 :
哈希函数存在时计算可靠的符号保密性。 FSTTCS公司 2006 : 176-187 [i2] Véronique Cortier公司 , 史蒂夫·克莱默 , 拉尔夫·库斯特斯 , 博格丹·瓦林斯基 :
哈希函数存在时计算可靠的符号保密性。 IACR加密。 电子打印架构。 2006 : 218 ( 2006 ) 2005 [第13条] 史蒂夫·克莱默 , 马克·瑞恩 :
应用Pi演算中的电子投票协议分析。 员工持股计划 2005 : 186-200 [第12条] 艾别克·穆哈梅多夫 , 史蒂夫·克莱默 , 艾克·里特 :
多方公平交换协议的分析和串空间模型正确性的形式证明。 金融加密 2005 : 255-269 [第11条] 马修·波德特 , Véronique Cortier公司 , 史蒂夫·克莱默 :
等式理论在被动对抗中的计算实现。 ICALP公司 2005 : 652-663 [i1] 马蒂厄·波德 , Véronique Cortier公司 , 史蒂夫·克莱默 :
在计算上实现对抗被动对手的方程式理论。 IACR加密。 电子打印架构。 2005 : 74 ( 2005 ) 2004 [第10条] 罗希特·查达 , 史蒂夫·克莱默 , 安德烈·塞德洛夫 :
多方合同签订的形式分析。 CSFW公司 2004 : 266-265 【c9】 史蒂夫·克莱默 , 马克·瑞安 :
分析产生知识对和选择文本攻击的协议漏洞。 赛科 2004 : 87-104 2003 [j3] 史蒂夫·克莱默 , 奥利维尔·马科维奇 :
公平多方非否认协议。 国际J.Inf.Sec。 1 ( 4 ) : 223-235 ( 2003 ) [注2] 史蒂夫·克莱默 , Jean-François Raskin女士 :
基于游戏的不可否认性和公平交换协议验证。 J.计算。 安全。 11 ( 三 ) : 399-430 ( 2003 ) 【c8】 Shahrokh Saeednia公司 , 史蒂夫·克莱默 , 奥利维尔·马科维奇 :
一个高效的强指定验证者签名方案。 国际协调委员会 2003 : 40-54 2002 [j1] 史蒂夫·克莱默 , 奥利维尔·马科维奇 , 周建英 :
公平不可否认性协议的深入调查。 计算。 Commun公司。 25 ( 17 ) : 1606-1621 ( 2002 ) 【c7】 史蒂夫·克莱默 , Jean-François Raskin女士 :
无滥用合同签订的博弈分析。 CSFW公司 2002 : 206- 【c6】 奥利维尔·马科维奇 , 迪特尔·戈尔曼 , 史蒂夫·克莱默 :
关于交换协议中的公平性。 国际协调委员会 2002 : 451-464 2001 【c5】 史蒂夫·克莱默 , Jean-François Raskin女士 :
基于博弈的不可否认性和公平交换协议验证。 CONCUR公司 2001 : 551-565 【c4】 史蒂夫·克莱默 , 奥利维尔·马科维奇 :
认证电子邮件中的选择性回执。 INDOCRYPT公司 2001 : 136-148 【c3】 奥利维尔·马科维奇 , 史蒂夫·克莱默 :
一种具有透明可信第三方的乐观非否认协议。 英思科 2001 : 363-378 2000 【c2】 奥利维尔·马科维奇 , 史蒂夫·克莱默 :
多方乐观非否认协议。 国际协调委员会 2000 : 109-122年 【c1】 史蒂夫·克莱默 , 奥利维尔·马科维奇 :
多方非重复协议。 秒 2000 : 271-280
合著者索引
