编辑配置文件（在新选项卡中打开） 史蒂夫·克莱默 合著者距离 作者ID： 克雷默·斯泰夫 发布日期： 史蒂夫·克莱默 外部链接： MGP公司 已编制索引的文档： 36出版物自2001年起 3作为编辑的贡献 合著者： 34位合著者具有39联合出版物 1026联合作者 全部的 前5名合著者 0 单作者的 10 斯特凡尼德劳恩 6 维罗尼克·科尔蒂尔 5 奥利维耶·马科维奇 5 莱恩，马克·德莫特 4 迈托·阿拉皮尼斯 4 瑟·特凡·乔巴赫 3 罗希特·查达 3 文森特·雪瓦尔 3 安托万·梅西耶 3 拉尔夫·特里宁 2 吉尔·巴特 2 马修·波德特 2 雪莲骑士 2 雅各布，查理 2 沃林斯基，博格丹 1 马丁·阿巴迪 1 库沙尔·巴别尔 1 吉恩·卡迪纳尔 1 詹妮克·德雷尔 1 查尔斯·杜梅尼 1 迪特尔·戈尔曼 1 拉尔夫·库斯特斯 1 斯特凡·兰格曼 1 艾贝克·穆哈梅多夫 1 巴利亚特·纳伦德兰 1 帕南加登，普拉卡什 1 丹尼尔·帕塞拉 1 奥利维埃·佩雷拉 1 伊萨卡州拉科托尼里娜 1 Jean-François拉斯金 1 艾克·里特 1 沙赫罗赫·塞迪尼亚 1 拉尔夫·萨西 1 安德烈·斯克洛夫 全部的 前5名系列 4 自动推理杂志 2 信息与计算 2 ACM计算逻辑事务 1 系统设计中的形式化方法 1 计算系统理论 1 计算机科学课堂讲稿 1 理论计算机科学电子笔记 1 计算机科学中的逻辑方法 全部的 前5名领域 34 计算机科学（68至XX） 34 信息与通信理论、电路（94-XX） 4 数学逻辑和基础（03-XX） 3 一般性和全局性主题；集合（00-XX） 2 数论（11-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 31出版物有被引用181中的次130文件 引用人▼ 年份▼ 一个有效的强指定验证者签名方案。 Zbl 1092.94514号 沙赫罗赫·塞迪尼亚;史蒂夫·克莱默;奥利维耶·马科维奇 22 2004 分析应用pi演算中的电子投票协议。 Zbl 1108.68462号 史蒂夫·克雷默;马克·瑞恩 21 2005 验证电子投票协议的隐私类型属性：品尝者。 Zbl 1284.68243号 斯特凡尼德劳恩;史蒂夫·克雷默;马克·瑞恩 14 2010 在计算上实现对抗被动对手的方程式理论。 Zbl 1084.94510号 马修·波德特;维罗尼克·科尔蒂尔;史蒂夫·克莱默 14 2005 密码协议等价属性的自动验证。 Zbl 1352.68148号 罗希特·查达;瑟·特凡·乔巴赫;史蒂夫·克雷默 13 2012 密码系统计算分析中的符号方法综述。 Zbl 1213.94093号 维罗尼克·科尔蒂尔;史蒂夫·克莱默;沃林斯基，博格丹 10 2011 密码协议等价属性的自动验证。 Zbl 1367.68184号 罗希特·查达;文森特·雪瓦尔;瑟·特凡·乔巴赫;史蒂夫·克莱默 10 2016 在收敛方程理论下计算安全协议知识。 Zbl 1250.03016号 瑟·特凡·乔巴赫;斯特凡尼德劳恩;史蒂夫·克莱默 7 2009 在收敛方程理论下计算安全协议知识。 Zbl 1242.68098号 瑟·特凡·乔巴赫;斯特凡尼德劳恩;史蒂夫·克莱默 7 2012 从一个会话到多个会话：安全协议的动态标记。 Zbl 1182.68082号 迈托·阿拉皮尼斯;斯特凡尼德劳恩;史蒂夫·克莱默 7 2008 应用pi演算的符号互模拟。 Zbl 1135.94327号 斯特凡尼德劳恩;史蒂夫·克莱默;马克·瑞恩 6 2007 哈希函数存在时，计算上可靠的符号保密性。 兹比尔1177.94142 维罗尼克·科尔蒂尔;史蒂夫·克莱默;库尔斯特，拉尔夫;沃林斯基，博格丹 6 2006 多方合同签订的形式分析。 Zbl 1134.94372号 罗希特·查达;史蒂夫·克莱默;安德烈·斯克洛夫 6 2006 基于游戏的不可否认性和公平交换协议验证。 Zbl 1006.68528号 史蒂夫·克莱默;Jean-François拉斯金 5 2001 超越有状态协议自动验证中的亚术语收敛方程理论。 Zbl 1444.68040号 詹妮克·德雷尔;查尔斯·杜梅尼;史蒂夫·克莱默;拉尔夫·萨西 4 2017 在计算上实现对抗被动对手的方程式理论。 Zbl 1170.68016号 马修·波德特;维罗尼克·科尔蒂尔;史蒂夫·克莱默 3 2009 基于密码的协议的组成。 Zbl 1291.68035号 雪莲骑士;斯特凡尼德劳恩;史蒂夫·克莱默;马克·D·瑞恩。 3 2013 《搭便车者指南》介绍了安全协议中等价属性的可判定性和复杂性。 Zbl 07370024号 文森特·雪瓦尔;史蒂夫·克莱默;伊萨卡州拉科托尼里娜 3 2020 具有透明可信第三方的乐观非否认协议。 Zbl 1042.68581号 奥利维耶·马科维奇;史蒂夫·克莱默 3 2001 实用的永久隐私。 兹比尔1390.68273 迈托·阿拉皮尼斯;维罗尼克·科尔蒂尔;史蒂夫·克莱默;马克·瑞恩 2 2013 应用pi演算中基于仿真的安全性。 Zbl 1250.94035号 斯特凡尼德劳恩;史蒂夫·克莱默;奥利维埃·佩雷拉 2 2009 分析多方公平交换协议并在串空间模型中形式化证明其正确性。 Zbl 1120.94329号 艾贝克·穆哈梅多夫;史蒂夫·克莱默;艾克·里特 2 2005 关于交换协议的公平性。 Zbl 1028.68502号 奥利维耶·马科维奇;迪特尔·戈尔曼;史蒂夫·克莱默 2 2003 有限域上的普遍等价性和大多数概率程序。 Zbl 1496.68186号 吉尔·巴特;查利·雅科姆;史蒂夫·克莱默 2 2020 简化方程理论以确定静态等效性。 Zbl 1273.94352号 史蒂夫·克莱默;安托万·梅西耶;拉尔夫·特里宁 1 2009 转换密码协议以编写。 Zbl 1246.68068号 雪莲骑士;斯特凡尼德劳恩;史蒂夫·克莱默 1 2011 安全协议、约束系统和群论。 Zbl 1358.68185号 斯特凡尼德劳恩;史蒂夫·克莱默;丹尼尔·帕塞拉 1 2012 什么时候三个选民就足够拥有隐私财产了？ Zbl 1499.68045号 迈托·阿拉皮尼斯;维罗尼克·科尔蒂尔;史蒂夫·克莱默 1 2016 多方乐观不可否认性协议。 Zbl 0977.94015号 奥利维耶·马科维奇;史蒂夫·克雷默 1 2001 证明组协议对窃听者是安全的。 Zbl 1165.68320号 史蒂夫·克莱默;安托万·梅西耶;拉尔夫·特里宁 1 2008 与模式匹配较劲。 Zbl 1107.68059号 吉恩·卡迪纳尔;史蒂夫·克雷默;斯特凡·兰格曼 1 2006 《搭便车者指南》介绍了安全协议中等价属性的可判定性和复杂性。 Zbl 07370024号 文森特·雪瓦尔;史蒂夫·克莱默;伊萨卡州拉科托尼里娜 3 2020 有限域上的普遍等价性和大多数概率程序。 Zbl 1496.68186号 吉尔·巴特;查利·雅科姆;史蒂夫·克莱默 2 2020 超越状态协议自动验证中的子rm收敛方程理论。 Zbl 1444.68040号 詹妮克·德雷尔;查尔斯·杜梅尼;史蒂夫·克莱默;拉尔夫·萨西 4 2017 密码协议等价属性的自动验证。 Zbl 1367.68184号 罗希特·查达;文森特·雪瓦尔;瑟·特凡·乔巴赫;史蒂夫·克莱默 10 2016 什么时候三个选民就足够拥有隐私财产了？ Zbl 1499.68045号 迈托·阿拉皮尼斯;维罗尼克·科尔蒂尔;史蒂夫·克莱默 1 2016 基于密码的协议的组成。 兹比尔1291.68035 雪莲骑士;斯特凡尼德劳恩;史蒂夫·克莱默;Ryan，Mark D。 3 2013 实用的永久隐私。 Zbl 1390.68273号 迈托·阿拉皮尼斯;维罗尼克·科尔蒂尔;史蒂夫·克莱默;马克·瑞恩 2 2013 密码协议等价属性的自动验证。 Zbl 1352.68148号 罗希特·查达;瑟·特凡·乔巴赫;史蒂夫·克莱默 13 2012 收敛方程理论下的安全协议计算知识。 Zbl 1242.68098号 瑟·特凡·乔巴赫;斯特凡尼德劳恩;史蒂夫·克莱默 7 2012 安全协议、约束系统和群论。 Zbl 1358.68185号 斯特凡尼德劳恩;史蒂夫·克莱默;丹尼尔·帕塞拉 1 2012 密码系统计算分析中的符号方法综述。 Zbl 1213.94093号 维罗尼克·科尔蒂尔;史蒂夫·克莱默;沃林斯基，博格丹 10 2011 转换密码协议以编写。 Zbl 1246.68068号 雪莲骑士;斯特凡尼德劳恩;史蒂夫·克莱默 1 2011 验证电子投票协议的隐私类型属性：品尝者。 Zbl 1284.68243号 斯特凡尼德劳恩;史蒂夫·克莱默;马克·瑞恩 14 2010 在收敛方程理论下计算安全协议知识。 Zbl 1250.03016号 瑟·特凡·乔巴赫;斯特凡尼德劳恩;史蒂夫·克莱默 7 2009 在计算上实现对抗被动对手的方程式理论。 Zbl 1170.68016号 马蒂厄·波德;维罗尼克·科尔蒂尔;史蒂夫·克莱默 3 2009 应用pi演算中基于仿真的安全性。 Zbl 1250.94035号 斯特凡尼德劳恩;史蒂夫·克莱默;奥利维埃·佩雷拉 2 2009 简化方程理论以确定静态等效性。 Zbl 1273.94352号 史蒂夫·克莱默;安托万·梅西耶;拉尔夫·特里宁 1 2009 从一个会话到多个会话：安全协议的动态标签。 Zbl 1182.68082号 迈托·阿拉皮尼斯;斯特凡尼德劳恩;史蒂夫·克莱默 7 2008 证明组协议对窃听者是安全的。 Zbl 1165.68320号 史蒂夫·克莱默;安托万·梅西耶;拉尔夫·特里宁 1 2008 应用pi演算的符号互模拟。 Zbl 1135.94327号 斯特凡尼德劳恩;史蒂夫·克莱默;马克·瑞恩 6 2007 哈希函数存在时，计算上可靠的符号保密性。 Zbl 1177.94142号 维罗尼克·科尔蒂尔;史蒂夫·克莱默;拉尔夫·库斯特斯;沃林斯基，博格丹 6 2006 多方合同签订的形式分析。 Zbl 1134.94372号 罗希特·查达;史蒂夫·克莱默;安德烈·斯克洛夫 6 2006 与模式匹配较劲。 Zbl 1107.68059号 吉恩·卡迪纳尔;史蒂夫·克莱默;斯特凡·兰格曼 1 2006 分析应用pi演算中的电子投票协议。 兹比尔1108.68462 史蒂夫·克莱默;马克·瑞恩 21 2005 在计算上实现对抗被动对手的方程式理论。 兹比尔1084.94510 马修·波德特;维罗尼克·科尔蒂尔;史蒂夫·克莱默 14 2005 分析多方公平交换协议并在串空间模型中形式化证明其正确性。 Zbl 1120.94329号 艾贝克·穆哈梅多夫;史蒂夫·克莱默;艾克·里特 2 2005 一种高效的强指定验证者签名方案。 Zbl 1092.94514号 沙赫罗赫·塞迪尼亚;史蒂夫·克莱默;奥利维耶·马科维奇 22 2004 关于交换协议中的公平性。 Zbl 1028.68502号 奥利维耶·马科维奇;迪特尔·戈尔曼;史蒂夫·克莱默 2 2003 基于游戏的不可否认性和公平交换协议验证。 Zbl 1006.68528号 史蒂夫·克莱默;Jean-François拉斯金 5 2001 具有透明可信第三方的乐观非否认协议。 Zbl 1042.68581号 奥利维耶·马科维奇;史蒂夫·克莱默 3 2001 一种多方乐观非否认协议。 Zbl 0977.94015号 奥利维耶·马科维奇;史蒂夫·克莱默 1 2001 所有引用出版物 前5名被引用出版物 全部的 前5名255位作者引用 17 斯特凡尼德劳恩 11 维罗尼克·科尔蒂尔 11 史蒂夫·克莱默 6 圣地亚哥埃斯科瓦尔 6 凯瑟琳·梅多斯。 5 绍克·莫 5 辛向军 4 文森特·雪瓦尔 4 罗斯·霍恩 4 安德烈·斯切德罗夫 3 迈克尔·巴克斯 3 罗希特·查达 3 克里希南德·查特吉 3 瑟·特凡·乔巴赫 3 休伯特·科蒙·隆德 3 李朝阳 3 李发根 3 安德鲁·马歇尔。 3 何塞·梅塞盖尔·瓜伊塔 3 塞巴斯蒂安·亚历山大·莫德谢姆 3 西蒙娜·奥尔赞 3 庞、军 3 莱恩，马克·德莫特 3 威利·苏西洛 2 塔贾纳Ban Kirigin 2 格尔盖·巴纳 2 马修·波德特 2 卡洛斯·卡莱罗 2 汤姆·乔西亚 2 弗朗西斯科·杜兰 2 史蒂文·艾克 2 塞尔达尔·埃尔巴图尔 2 卢卡·赫斯基 2 Max Iosifovich，卡诺维奇 2 库尔斯特，拉尔夫 2 亚辛·拉赫内奇 2 劳尔·洛佩斯·鲁埃达 2 马丁·奥列特，纳西索 2 安托万·梅西耶 2 约翰·米切尔（John C.Mitchell）。 2 安德烈亚·莫迪多 2 Vivek Nigam先生 2 维什瓦纳斯·拉曼 2 克里斯托夫·林盖森 2 鲁本·卢比奥 2 拉杰夫·阿南德·萨胡 2 樱田秀树 2 朱莉娅·萨皮娜 2 维沙尔·萨拉斯瓦特 2 内图·夏尔马 2 卡罗琳·塔尔科特。 2 阿文·费南托（Alwen Fernanto Tiu） 2 穆罕默德·托拉比·达什蒂 2 拉尔夫·特里宁 2 杨庆兰 2 塞门·尤尔科夫 2 张家豪 1 马丁·阿巴迪 1 佩德罗·阿德奥 1 拉贝亚·阿穆尔·布利法 1 迈托·阿拉皮尼斯 1 区民和 1 库沙尔·巴别尔 1 大卫·巴尔德 1 阿弥陀佛·班纳吉 1 David A.Basin。 1 马修·史蒂文·鲍尔 1 罗曼·博希斯 1 波兰多赫特·贝鲁兹 1 纳杰斯·本·拉杰布 1 梅赫迪·贝伦科布（Mehdi Berenjkoub） 1 穆赫贝丁·贝里玛 1 比斯瓦斯，G.P。 1 布鲁诺·布兰切特 1 约翰·博格斯特罗姆 1 布雷姆纳，大卫 1 杰奎琳·布伦德尔 1 阿希姆·D·布鲁克。 1 布鲁索，梅拉 1 塞尔吉·布尔苏克 1 蔡晓娟 1 塞巴斯蒂安·卡纳德 1 陈，Timothy Moon Yew 1 张廷毅 1 康斯坦蒂诺斯·查齐科科拉基斯 1 Chebotarev，Anatoli N。 1 陈春林 1 陈静 1 陈明帅 1 程琪 1 雪莲骑士 1 亚尼克·骑士 1 道尔顿奇切斯特 1 皮埃尔·科尔比诺 1 阿戈斯蒂诺·科尔特斯 1 克雷默斯，Cas J.F。 1 穆罕默德·达赫利安 1 安托万·达隆 1 阿努帕姆·达塔 1 埃里克·P·德文克。 …还有155位作者 全部的 前5名34篇连载文章中引用 8 理论计算机科学 6 信息与计算 6 自动推理杂志 5 信息科学 5 程序设计中的逻辑和代数方法杂志 4 计算的形式方面 3 国际理论物理学杂志 3 系统设计中的形式化方法 2 MSCS公司。计算机科学中的数学结构 2 逻辑与代数程序设计杂志 2 计算机语言、系统和结构 1 现代物理快报A 1 计算机与数学及其应用 1 信息处理信件 1 计算机与系统科学杂志 1 合成 1 复杂性杂志 1 算法 1 控制论与系统分析 1 数学与人工智能年鉴 1 工程中的数学问题 1 武汉大学自然科学学报 1 自然与社会中的离散动力学 1 离散数学科学与密码学杂志 1 国际应用数学与计算机科学杂志 1 应用数学杂志 1 量子信息处理 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 1 RAIRO公司。理论信息学及其应用 1 对称 1 阿拉伯科学与工程杂志 1 计算机科学前沿 1 计算机科学评论 全部的 前5名11个领域引用 100 计算机科学（68至XX） 87 信息与通信理论、电路（94-XX） 12 数学逻辑和基础（03-XX） 9 博弈论、经济学、金融和其他社会和行为科学（91-XX） 6 量子理论（81-XX） 1 一般性和全局性主题；集合（00-XX） 1 一般代数系统（08-XX） 1 数论（11-XX） 1 代数几何（14-XX） 1 范畴理论；同调代数（18-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文