编辑配置文件（在新选项卡中打开） 维罗尼克·科尔蒂尔 合著者距离 作者ID： 科尔蒂尔·维罗尼克 发布日期： 维罗尼克·科尔蒂尔；维罗尼克·科尔蒂尔；Cortier，Vèronique公司 更多。。。较少的 已编制索引的文档： 55出版物自1999年起 1名编辑贡献 合著者： 41位合著者具有52联合出版物 645位合作作者 全部的 前5名合著者 4 单作者的 19 斯特凡尼德劳恩 7 休伯特·科蒙·隆德 6 史蒂夫·克莱默 5 雷米·克雷蒂安 5 尤根，Zălinescu 4 马修·波德特 4 沃林斯基，博格丹 三 马蒂尔德·阿尔诺 三 休伯特·科蒙 三 米歇尔·鲁西诺维奇 2 马丁·阿巴迪 2 迈托·阿拉皮尼斯 2 文森特·雪瓦尔 2 安托万·达隆 2 纪尧姆·斯克里 2 格雷厄姆·斯蒂尔 1 纳杰斯·本·拉杰布 1 穆赫贝丁·贝里玛 1 简·迪格里克 1 杰雷米·德莱特 1 詹妮克·德雷尔 1 哈拉尔德·甘辛格 1 皮埃里克·高德利 1 圣埃芬·格隆杜 1 Xavier Goaoc公司 1 尼古拉斯·格林 1 海因里希·霍尔德根 1 佛罗伦萨·杰克马尔 1 盖文·凯格伦 1 克洛德·基什内尔 1 库尔斯特，拉尔夫 1 约瑟夫·拉勒曼德 1 埃里克·勒莫万 1 米拉·李 1 约翰·米切尔（John C.Mitchell）。 1 Na，Hyeon-Suk公司 1 冈田三弘 1 莱恩，马克·德莫特 1 樱田秀树 1 维什纳维桑达拉扬 1 玛格斯·维纳斯 全部的 前5名系列 4 ACM计算逻辑事务 三 理论计算机科学 三 信息与计算 三 自动推理杂志 1 离散数学 1 计算机程序设计科学 1 系统设计中的形式化方法 1 RAIRO公司。理论信息学及其应用 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 1 RAIRO公司。理论信息学及其应用 全部的 前5名领域 46 计算机科学（68至XX） 39 信息与通信理论、电路（94-XX） 10 数学逻辑和基础（03-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 总体主题；集合（00-XX） 1 凸和离散几何（52至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 45出版物有被引用298中的次165文件 引用人▼ 年份▼ 在等式理论下确定安全协议中的知识。 Zbl 1153.94339号 马丁·阿巴迪；维罗尼克·科尔蒂尔 41 2006 平坦不是弱点。 Zbl 0973.68142号 休伯特·科蒙；维罗尼克·科尔蒂尔 24 2000 一阶逻辑片段的新可判定性结果以及密码协议的应用。 Zbl 1038.03012号 休伯特·科蒙·隆德；维罗尼克·科尔蒂尔 15 2003 具有一个内存集约束和加密协议的树自动机。 Zbl 1070.68066号 休伯特·科蒙；维罗尼克·科尔蒂尔 14 2005 在计算上实现对抗被动对手的方程式理论。 Zbl 1084.94510号 马修·波德特；维罗尼克·科尔蒂尔；史蒂夫·克莱默 14 2005 在等式理论下确定安全协议中的知识。 Zbl 1099.94026号 马丁·阿巴迪；维罗尼克·科尔蒂尔 11 2004 安全协议的计算可靠、自动化证明。 Zbl 1108.68454号 维罗尼克·科尔蒂尔；沃林斯基，博格丹 11 2005 具有一个内存、设置约束和乒乓协议的树自动机。 Zbl 0986.68047号 休伯特·科蒙；维罗尼克·科尔蒂尔；约翰·米切尔 10 2001 YAPA：计算入侵者知识的通用工具。 Zbl 1242.94018号 马修·波德特；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 10 2009 密码系统计算分析中的符号方法综述。 Zbl 1213.94093号 维罗尼克·科尔蒂尔；史蒂夫·克莱默；沃林斯基，博格丹 10 2011 决定加密协议的安全属性。应用于关键周期。 兹比尔1351.94035 休伯特·科蒙·隆德；维罗尼克·科尔蒂尔；尤根，Zălinescu 8 2010 组合算法以确定安全协议中的知识。 Zbl 1148.68361号 马蒂尔德·阿尔诺；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 8 2007 安全地制定安全协议。 Zbl 1135.68392号 维罗尼克·科尔蒂尔；杰雷米·德莱特；斯特凡尼德劳恩 8 2007 决定单体方程理论的安全协议知识。 兹比尔1137.68325 维罗尼克·科尔蒂尔；斯特凡尼德劳恩 8 2007 安全属性：两个代理就足够了。 Zbl 1073.68028号 休伯特·科蒙·隆德；维罗尼克·科尔蒂尔 8 2004 使用约束求解确定基于等效的特性。 Zbl 1294.68111号 文森特·雪瓦尔；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 8 2013 安全地制定安全协议。 Zbl 1165.68358号 维罗尼克·科尔蒂尔；斯特凡尼德劳恩 7 2009 在安全协议中免费键入消息：等价属性的情况。 Zbl 1417.68124号 雷米·克雷蒂安；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 6 2014 哈希函数存在时，计算上可靠的符号保密性。 Zbl 1177.94142号 维罗尼克·科尔蒂尔；史蒂夫·克莱默；库尔斯特，拉尔夫；沃林斯基，博格丹 6 2006 决定安全协议的密钥周期。 Zbl 1165.94319号 维罗尼克·科尔蒂尔；尤根，Zălinescu 6 2006 安全属性：两个代理就足够了。 Zbl 1032.94508号 休伯特·科蒙·隆德；维罗尼克·科尔蒂尔 6 2003 YAPA：计算入侵者知识的通用工具。 Zbl 1353.68019号 马修·波德特；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 5 2013 基于XOR的密钥管理方案的安全性自动分析。 Zbl 1186.68180号 维罗尼克·科尔蒂尔；盖文·凯格伦；格雷厄姆·斯蒂尔 5 2007 Belenios：一个简单的私人可验证电子投票系统。 Zbl 1533.94037号 维罗尼克·科尔蒂尔；皮埃里克·高德利；圣埃芬·格隆杜 4 2019 如何证明通信协议的安全性？关于形式模型与计算模型的稳健性的讨论。 Zbl 1230.68141号 休伯特·科蒙·隆德；维罗尼克·科尔蒂尔 4 2011 关于寄存器机可达性的判定。 Zbl 1034.68057号 维罗尼克·科尔蒂尔 4 2002 安全协议中两个知识概念的可决定性和组合结果。 Zbl 1242.68099号 维罗尼克·科尔蒂尔；斯特凡尼德劳恩 4 2012 从安全协议到下推自动机。 Zbl 1367.68186号 雷米·克雷蒂安；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 三 2015 通过在加密分支协议中键入等效属性。 Zbl 1427.68035号 维罗尼克·科尔蒂尔；尼古拉斯·格林；约瑟夫·拉勒曼德；马特奥·马菲 三 2018 在计算上实现对抗被动对手的方程式理论。 Zbl 1170.68016号 马修·波德特；维罗尼克·科尔蒂尔；史蒂夫·克莱默 三 2009 分析路由协议：四个节点拓扑就足够了。 Zbl 1353.68020号 维罗尼克·科尔蒂尔；简·迪格里克；斯特凡尼德劳恩 三 2012 在安全协议中免费键入消息。 Zbl 1433.68211号 雷米·克雷蒂安；维罗尼克·科尔蒂尔；安托万·达隆；斯特凡尼德劳恩 2 2020 通过递归测试确定协议的安全性。 Zbl 1341.68013号 阿尔诺，玛蒂尔德；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 2 2011 同时刚性可达性的可判定碎片。 Zbl 0943.68096号 维罗尼克·科尔蒂尔；哈拉尔德·甘辛格；佛罗伦萨·杰克马尔；玛格斯·维纳斯 2 1999 实用的永久隐私。 Zbl 1390.68273号 迈托·阿拉皮尼斯；维罗尼克·科尔蒂尔；史蒂夫·克莱默；马克·瑞恩 2 2013 从安全协议到下推自动机。 Zbl 1335.94040号 雷米·克雷蒂安；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 2 2013 涉及两个标准的保密概念。 Zbl 1125.68046号 维罗尼克·科尔蒂尔；米歇尔·鲁西诺维奇；尤根，Zălinescu 2 2007 有效地确定标准原语和阶段的等价性。 Zbl 1496.68060号 维罗尼克·科尔蒂尔；安托万·达隆；斯特凡尼德劳恩 2 2018 在建模概率加密时，显式随机性是不必要的。 Zbl 1277.94021号 维罗尼克·科尔蒂尔；海因里希·霍尔德根；沃林斯基，博格丹 1 2007 涉及两个标准的保密概念。 Zbl 1225.94020号 维罗尼克·科尔蒂尔；米歇尔·鲁西诺维奇；尤根，Zălinescu 1 2006 根据一些电子投票理论确定安全协议中的知识。 Zbl 1223.68016号 穆赫贝丁·贝里玛；纳杰斯·本·拉杰布；维罗尼克·科尔蒂尔 1 2011 关于点集的最大重复子模式的注记。 兹比尔1097.68120 维罗尼克·科尔蒂尔；泽维尔·戈奥克；米拉·李；Na，Hyeon-Suk公司 1 2006 检查跟踪等价性：如何消除nonce？ Zbl 1499.68048号 雷米·克雷蒂安；维罗尼克·科尔蒂尔；德莱恩，斯特凡尼 1 2015 什么时候三个选民就足够拥有隐私财产了？ Zbl 1499.68045号 迈托·阿拉皮尼斯；维罗尼克·科尔蒂尔；史蒂夫·克莱默 1 2016 中源引理的自动生成罗望子：实现安全协议的自动证明。 Zbl 1511.68042号 维罗尼克·科尔蒂尔；斯特凡尼德劳恩；詹妮克·德雷尔 1 2020 在安全协议中免费键入消息。 兹比尔1433.68211 雷米·克雷蒂安；维罗尼克·科尔蒂尔；安托万·达隆；斯特凡尼德劳恩 2 2020 中源引理的自动生成罗望子：实现安全协议的自动证明。 Zbl 1511.68042号 维罗尼克·科尔蒂尔；斯特凡尼德劳恩；詹妮克·德雷尔 1 2020 Belenios：一个简单的私人可验证电子投票系统。 Zbl 1533.94037号 维罗尼克·科尔蒂尔；皮埃里克·高德利；圣埃芬·格隆杜 4 2019 通过在加密分支协议中键入等效属性。 Zbl 1427.68035号 维罗尼克·科尔蒂尔；尼古拉斯·格林；约瑟夫·拉勒曼德；马特奥·马菲 三 2018 有效地确定标准原语和阶段的等价性。 Zbl 1496.68060号 维罗尼克·科尔蒂尔；安托万·达隆；斯特凡尼德劳恩 2 2018 什么时候三个选民就足够拥有隐私财产了？ Zbl 1499.68045号 迈托·阿拉皮尼斯；维罗尼克·科尔蒂尔；史蒂夫·克莱默 1 2016 从安全协议到下推自动机。 Zbl 1367.68186号 克雷蒂安，雷米；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 三 2015 检查跟踪等价性：如何消除nonce？ Zbl 1499.68048号 雷米·克雷蒂安；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 1 2015 在安全协议中免费键入消息：等价属性的情况。 Zbl 1417.68124号 雷米·克雷蒂安；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 6 2014 使用约束求解确定基于等效的特性。 兹比尔1294.68111 文森特·雪瓦尔；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 8 2013 YAPA：计算入侵者知识的通用工具。 Zbl 1353.68019号 马修·波德特；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 5 2013 实用的永久隐私。 Zbl 1390.68273号 迈托·阿拉皮尼斯；维罗尼克·科尔蒂尔；史蒂夫·克莱默；马克·瑞恩 2 2013 从安全协议到下推自动机。 Zbl 1335.94040号 雷米·克雷蒂安；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 2 2013 安全协议中两个知识概念的可决定性和组合结果。 Zbl 1242.68099号 维罗尼克·科尔蒂尔；斯特凡尼德劳恩 4 2012 分析路由协议：四个节点拓扑就足够了。 Zbl 1353.68020号 维罗尼克·科尔蒂尔；Degrieck，简；斯特凡尼德劳恩 三 2012 密码系统计算分析中的符号方法综述。 Zbl 1213.94093号 维罗尼克·科尔蒂尔；史蒂夫·克莱默；沃林斯基，博格丹 10 2011 如何证明通信协议的安全性？关于形式模型与计算模型的稳健性的讨论。 Zbl 1230.68141号 休伯特·科蒙·隆德；维罗尼克·科尔蒂尔 4 2011 通过递归测试确定协议的安全性。 兹比尔1341.68013 马蒂尔德·阿尔诺；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 2 2011 根据一些电子投票理论确定安全协议中的知识。 Zbl 1223.68016号 穆赫贝丁·贝里玛；纳杰斯·本·拉杰布；维罗尼克·科尔蒂尔 1 2011 决定加密协议的安全属性。应用于关键周期。 Zbl 1351.94035号 休伯特·科蒙·隆德；维罗尼克·科尔蒂尔；尤根，Zălinescu 8 2010 YAPA：用于计算入侵者知识的通用工具。 Zbl 1242.94018号 马修·波德特；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 10 2009 安全地制定安全协议。 Zbl 1165.68358号 维罗尼克·科尔蒂尔；斯特凡尼德劳恩 7 2009 在计算上实现对抗被动对手的方程式理论。 Zbl 1170.68016号 马修·波德特；维罗尼克·科尔蒂尔；史蒂夫·克莱默 三 2009 组合算法以确定安全协议中的知识。 Zbl 1148.68361号 马蒂尔德·阿尔诺；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 8 2007 安全地组成安全协议。 Zbl 1135.68392号 维罗尼克·科尔蒂尔；杰雷米·德莱特；斯特凡尼德劳恩 8 2007 决定单体方程理论的安全协议知识。 Zbl 1137.68325号 维罗尼克·科尔蒂尔；斯特凡尼德劳恩 8 2007 基于XOR的密钥管理方案的安全性自动分析。 Zbl 1186.68180号 维罗尼克·科尔蒂尔；盖文·凯格伦；格雷厄姆·斯蒂尔 5 2007 涉及两个标准的保密概念。 Zbl 1125.68046号 维罗尼克·科尔蒂尔；米歇尔·鲁西诺维奇；尤根，Zălinescu 2 2007 在建模概率加密时，显式随机性是不必要的。 兹比尔1277.94021 维罗尼克·科尔蒂尔；海因里希·霍尔德根；沃林斯基，博格丹 1 2007 在等式理论下确定安全协议中的知识。 Zbl 1153.94339号 马丁·阿巴迪；维罗尼克·科尔蒂尔 41 2006 哈希函数存在时，计算上可靠的符号保密性。 Zbl 1177.94142号 维罗尼克·科尔蒂尔；史蒂夫·克莱默；库尔斯特，拉尔夫；沃林斯基，博格丹 6 2006 决定安全协议的密钥周期。 Zbl 1165.94319号 维罗尼克·科尔蒂尔；尤根，Zălinescu 6 2006 涉及两个标准的保密概念。 Zbl 1225.94020号 维罗尼克·科尔蒂尔；米歇尔·鲁西诺维奇；尤根，Zălinescu 1 2006 关于点集的最大重复子模式的注记。 Zbl 1097.68120号 维罗尼克·科尔蒂尔；Xavier Goaoc公司；米拉·李；Na，Hyeon-Suk公司 1 2006 具有一个内存集约束和加密协议的树自动机。 Zbl 1070.68066号 休伯特·科蒙；维罗尼克·科尔蒂尔 14 2005 在计算上实现对抗被动对手的方程式理论。 Zbl 1084.94510号 马修·波德特；维罗尼克·科尔蒂尔；史蒂夫·克莱默 14 2005 安全协议的计算可靠、自动化证明。 Zbl 1108.68454号 维罗尼克·科尔蒂尔；沃林斯基，博格丹 11 2005 在等式理论下确定安全协议中的知识。 Zbl 1099.94026号 马丁·阿巴迪；维罗尼克·科尔蒂尔 11 2004 安全属性：两个代理就足够了。 Zbl 1073.68028号 休伯特·科蒙·隆德；维罗尼克·科尔蒂尔 8 2004 一阶逻辑片段的新可判定性结果以及密码协议的应用。 Zbl 1038.03012号 休伯特·科蒙·隆德；维罗尼克·科尔蒂尔 15 2003 安全属性：两个代理就足够了。 Zbl 1032.94508号 科蒙·隆德，休伯特；维罗尼克·科尔蒂尔 6 2003 关于寄存器机器可达性的判定。 Zbl 1034.68057号 维罗尼克·科尔蒂尔 4 2002 具有一个内存、设置约束和乒乓协议的树自动机。 Zbl 0986.68047号 休伯特·科蒙；维罗尼克·科尔蒂尔；约翰·米切尔 10 2001 扁平不是缺点。 Zbl 0973.68142号 休伯特·科蒙；维罗尼克·科尔蒂尔 24 2000 同时刚性可达性的可判定碎片。 Zbl 0943.68096号 维罗尼克·科尔蒂尔；哈拉尔德·甘辛格；佛罗伦萨·杰克马尔；玛格斯·维纳斯 2 1999 所有引用出版物 前5名被引用出版物 全部的 前5名244位作者引用 25 德莱恩，斯特凡尼 18 维罗尼克·科尔蒂尔 9 Stéphane P.德姆里。 9 史蒂夫·克莱默 7 凯瑟琳·梅多斯。 7 米歇尔·鲁西诺维奇 6 亚尼克·骑士 5 文森特·雪瓦尔 5 休伯特·科蒙·隆德 5 库尔斯特，拉尔夫 5 塞巴斯蒂安·亚历山大·莫德谢姆 4 迈克尔·巴克斯 4 阿兰·芬克尔 4 佛罗伦萨·杰克马尔 4 亚辛·拉赫内奇 4 安德鲁·马歇尔。 4 马修·图鲁阿尼 三 迈托·阿拉皮尼斯 三 布鲁诺·布兰切特 三 卡洛斯·卡莱罗 三 瑟·特凡·乔巴赫 三 当、哲 三 Jean Goubault Larrecq先生 三 罗斯·霍恩 三 帕斯卡·拉福卡德 三 丹尼斯·卢吉兹 三 莱恩，马克·德莫特 三 阿诺德·桑尼尔 三 Jean-Marc Talbot 三 库马尔·内拉吉（Kumar Neeraj Verma） 三 卢卡·维甘诺 三 沃林斯基，博格丹 2 马丁·阿巴迪 2 马蒂尔德·阿尔诺 2 蒂格兰·阿瓦内索夫 2 毛里西奥·阿亚拉·林科恩 2 格尔盖·巴纳 2 David A.Basin。 2 马修·波德特 2 贝内迪克特·博利格 2 玛丽亚·保拉，博纳奇娜 2 劳拉·博泽利 2 塞尔吉·布尔苏克 2 罗希特·查达 2 皮埃尔·香巴特 2 克雷默斯，Cas J.F。 2 玛丽·杜弗洛特 2 杜尔茅斯，马库斯 2 克里斯蒂安·埃内 2 塞尔达尔·埃尔巴图尔 2 艾曼纽·菲利奥特 2 加斯康，雷吉斯 2 海姆，皮尔雷·科里尔 2 乔纳森·赫尔佐格。 2 卢卡·赫斯基 2 弗朗西斯·克莱 2 奥尔加·库什纳伦科 2 兰科·拉齐奇 2 林，海 2 艾蒂安·洛兹 2 林奇，Christopher A。 2 绍克·莫 2 安德烈亚·莫迪多 2 巴利亚特·纳伦德兰 2 乔尔·欧·瓦克宁。 2 卡图西亚帕拉米德斯 2 庞、军 2 索菲·平奇纳特 2 卡琳·夸斯 2 维埃娜·拉维珊卡 2 克里斯托夫·林盖森 2 布兰登·罗泽克 2 安德烈·斯克洛夫 2 西尔万·施密茨 2 马蒂恩·斯塔姆 2 苏菲·蒂森 2 阿文·费南托（Alwen Fernanto Tiu） 2 拉尔夫·特里宁 2 卡米尔·瓦彻 2 玛格斯·维纳斯 2 托马斯·威尔克 2 詹姆斯·沃雷尔。 2 塞门·尤尔科夫 1 贝纳多·曼纽尔·阿尔布雷戈 1 佩德罗·阿德奥 1 雷纳尔德·阿弗尔德 1 安泰云 1 奥马尔·阿穆萨 1 罗伯特·阿马迪奥（Roberto M.Amadio）。 1 库沙尔·巴别尔 1 大卫·巴尔德 1 马修·史蒂文·鲍尔 1 纳杰斯·本·拉杰布 1 马西莫·贝内雷塞蒂 1 穆赫贝丁·贝里玛 1 马尔塞洛·玛丽亚·贝尔萨尼 1 尤罕·博伊库特 1 米歇尔·博雷尔 1 约翰·博格斯特罗姆 1 阿黛尔·布胡拉 …还有144位作者 全部的 前5名26篇连载文章中引用 22 理论计算机科学 20 信息与计算 7 自动推理杂志 三 符号计算杂志 三 应用非经典逻辑杂志 三 逻辑与代数程序设计杂志 2 信息科学 2 计算的形式方面 2 计算机科学中的数学结构 2 系统设计中的形式化方法 2 ACM计算逻辑事务 2 应用逻辑杂志 2 计算机科学中的逻辑方法 2 程序设计中的逻辑与代数方法杂志 1 信息学报 1 信息处理信件 1 计算机与系统科学杂志 1 合成 1 纯逻辑与应用逻辑年鉴 1 密码学杂志 1 国际计算机科学基础杂志 1 分布式计算 1 组合数学电子杂志 1 RAIRO公司。理论信息学及其应用 1 形式化推理杂志 1 RAIRO公司。理论信息学及其应用 全部的 前5名在7个字段中引用 141 计算机科学（68至XX） 89 信息与通信理论、电路（94-XX） 40 数学逻辑和基础（03-XX） 4 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 组合数学（05-XX） 1 一般代数系统（08-XX） 1 凸和离散几何（52至XX） 按年份列出的引文