停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

托马斯·特鲁德隆

>主页 >珀森斯

人员信息

附属： 德国Polyas股份有限公司
隶属关系（前）： 德国特里尔大学计算机科学系

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2023
[i16]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2304-09456
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2304-09456
约翰内斯·米勒,托马斯·特鲁德隆:
使用第二个设备进行Cast-as-Intended验证的协议。 CoRR公司 abs/2304.09456(2023)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2017
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/voteid/BrelleT17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/voteid/BrelleT17
阿奇姆·布莱尔,托马斯·特鲁德隆:
基于PET的返回码Cast-as-Intended机制。电子投票ID 2017:264-279
【i15】
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/BrelleT17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BrelleT17
阿奇姆·布莱尔,托马什·特鲁德隆:
基于PET的返回码Cast-as-Intended机制。 CoRR公司 abs/1707.03632(2017)
2016
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/KustersMST16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/KustersMST16
拉尔夫·库斯特斯,约翰内斯·米勒,恩里科·斯卡平,托马斯·特鲁德隆:
sElect：一种轻量级可验证远程投票系统。 CSF公司 2016:341-354
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/eurosp/KustersT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eurosp/KustersT16
拉尔夫·库斯特斯,托马斯·特鲁德隆:
重加密RPC混合网的安全性分析。欧洲标准普尔 2016:227-242
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sp/CortierGKMT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sp/CortierGKMT16
Véronique Cortier公司,大卫·加林多,拉尔夫·库斯特斯,约翰内斯·米勒,托马斯·特鲁德隆:
SoK：电子投票协议的可验证性概念。 IEEE安全与隐私研讨会 2016:779-798
[第14条]
- 看法
  - 电子版@iacr.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/iacr/CortierGKMT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iacr/CortierGKMT16
Véronique Cortier公司,大卫·加林多,拉尔夫·库斯特斯,约翰内斯·米勒,托马斯·特鲁德隆:
电子投票协议的可验证性概念。 IACR加密。电子打印架构。 2016:287(2016)
[i13]
- 看法
  - 电子版@iacr.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/iacr/KustersMST16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iacr/KustersMST16
拉尔夫·库斯特斯,约翰内斯·米勒,恩里科·斯卡宾,托马斯·特鲁德隆:
sElect：一种轻量级可验证远程投票系统。 IACR加密。电子打印架构。 2016:438(2016)
2015
[c21]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/KustersTBKM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/KustersTBBKM15
拉尔夫·库斯特斯,托马斯·特鲁德隆,伯恩哈德·贝克特,丹尼尔·布伦斯,迈克尔·克里斯滕,马丁·莫尔:
一种证明Java程序无干扰的混合方法。 CSF公司 2015:305-319
[i12]
- 看法
  - 电子版@iacr.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/iacr/KustersT15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iacr/KustersT15
拉尔夫·库斯特斯,托马斯·特鲁德隆:
重加密RPC混合网的安全性分析。 IACR加密。电子打印架构。 2015:295(2015)
[i11]
- 看法
  - 电子版@iacr.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/iacr/KustersTBBKM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iacr/KustersTBBKM15
拉尔夫·库斯特斯,托马斯·特鲁德隆,伯恩哈德·贝克特,丹尼尔·布伦斯,迈克尔·克里斯滕,马丁·莫尔:
一种证明Java程序无干扰的混合方法。 IACR加密。电子打印架构。 2015:438(2015)
2014
[j3]
- 看法
  - 电子版@degruyter.com
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/it/KustersT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/it/KustersT14
拉尔夫·库斯特斯,托马斯·特鲁德隆:
电子投票的安全性。 it信息技术。 56(6):300-306(2014)
[公元20年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/post/KustersSTG14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/post/KustersSTG14网址
拉尔夫·库斯特斯,恩里科·斯卡宾,托马斯·特鲁德隆,于尔根·格拉夫:
扩展和应用Java程序加密验证框架。邮政 2014:220-239
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sp/KustersT014
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sp/KustersT014
拉尔夫·库斯特斯,托马斯·特鲁德隆,安德烈亚斯·沃格特:
Chaumian混合网的随机部分检验形式化分析。 IEEE安全与隐私研讨会 2014:343-358
[i10]
- 看法
  - 电子版@iacr.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/iacr/KustersSTG14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iacr/KustersSTG14
拉尔夫·库斯特斯,恩里科·斯卡宾,托马斯·特鲁德隆,尤尔根·格拉夫:
扩展和应用Java程序加密验证框架。 IACR加密。电子打印架构。 2014:38(2014)
[i9]
- 看法
  - 电子版@iacr.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/iacr/KustersT014
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iacr/KustersT014
拉尔夫·库斯特斯,托马斯·特鲁德隆,安德烈亚斯·沃格特:
Chaumian混合网的随机部分检验形式化分析。 IACR加密。电子打印架构。 2014:341(2014)
2012
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jcs/KustersT012
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jcs/KustersT012
拉尔夫·库斯特斯,托马斯·特鲁德隆,安德烈亚斯·沃格特:
基于游戏的胁迫抗性定义及其应用。 J.计算。安全。 20(6):709-764(2012)
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/KustersTG12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/KustersTG12
拉尔夫·库斯特斯,托马斯·特鲁德隆,尤尔根·格拉夫:
类Java程序的密码验证框架。 CSF公司 2012:198-212
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sp/KustersTV12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sp/KustersTV12
拉尔夫·库斯特斯,托马斯·特鲁德隆,安德烈亚斯·沃格特:
电子投票系统可验证性的冲突攻击。 IEEE安全与隐私研讨会 2012:395-409
[i8]
- 看法
  - 电子版@iacr.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/iacr/KustersTV12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iacr/KustersTV12
拉尔夫·库斯特斯,托马斯·特鲁德隆,安德烈亚斯·沃格特:
电子投票系统可验证性的冲突攻击。 IACR加密。电子打印架构。 2012:116(2012)
[i7]
- 看法
  - 电子版@iacr.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/iacr/KustersTG12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iacr/KustersTG12
拉尔夫·库斯特斯,托马斯·特鲁德隆,于尔根·格拉夫:
类Java程序的加密验证框架。 IACR加密。电子打印架构。 2012:153(2012)
2011
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/KustersT11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/KustersT11
拉尔夫·库斯特斯,托马斯·特鲁德隆:
在基于Horn理论的方法中将使用XOR的协议分析简化为无XOR的情况。 J.汽车。原因。 46(3-4):325-352(2011)
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sp/KustersTV11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sp/KustersTV11网站
拉尔夫·库斯特斯,托马斯·特鲁德隆,安德烈亚斯·沃格特:
可验证性、隐私和抵制胁迫：案例研究的新见解。 IEEE安全与隐私研讨会 2011:538-553
[i6]
- 看法
  - 电子版@iacr.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/iacr/KustersTV11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iacr/KustersTV11
拉尔夫·库斯特斯,托马斯·特鲁德隆,安德烈亚斯·沃格特:
可验证性、隐私和抵制胁迫：案例研究的新见解。 IACR加密。电子打印架构。 2011:517(2011)
2010
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ccs/KustersTV10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ccs/KustersTV10
拉尔夫·库斯特斯,托马斯·特鲁德隆,安德烈亚斯·沃格特:
问责制：定义和与可验证性的关系。 CCS系统 2010:526-535
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/KustersTV10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/KustersTV10
拉尔夫·库斯特斯,托马什·特鲁德隆,安德烈亚斯·沃格特:
基于游戏的胁迫抵抗定义及其应用。 CSF公司 2010:122-136
[第13条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/iccs/KustersTV10文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icics/KustersTV10
拉尔夫·库斯特斯,托马斯·特鲁德隆,安德烈亚斯·沃格特:
证明对丑闻的抵制胁迫2。 ICICS公司 2010:281-295
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/securecomm/KustersST10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/securecomm/KustersST10
拉尔夫·库斯特斯,Henning Schnoor公司,托马斯·特鲁德隆:
网上无虐待的正式定义。安全通信 2010:484-497
[i5]
- 看法
  - 电子版@iacr.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/iacr/KustersTV10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iacr/KustersTV10
拉尔夫·库斯特斯,托马斯·特鲁德隆,安德烈亚斯·沃格特:
问责制：定义和与可验证性的关系。 IACR加密。电子打印架构。 2010:236(2010)
[i4]
- 看法
  - 电子版@iacr.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/iacr/KustersTV10a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iacr/KustersTV10a
拉尔夫·库斯特斯,托马斯·特鲁德隆,安德烈亚斯·沃格特:
Scantegrity的抗胁迫性的证明II。 IACR加密。电子打印架构。 2010:502(2010)

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/KustersT09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/KustersT09
拉尔夫·库斯特斯,托马斯·特鲁德隆:
使用ProVerify分析带有Diffie-Hellman指数的协议。 CSF公司 2009:157-171
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sp/KustersT09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sp/KustersT09
拉尔夫·库斯特斯,托马斯·特鲁德隆:
电子投票协议抗胁迫的认知方法。服务提供商 2009:251-266
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/voteid/KustersTV09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/voteid/KustersTV09
拉尔夫·库斯特斯,托马什·特鲁德隆,安德烈亚斯·沃格特:
改进和简化普雷塔选民的变体。投票ID 2009:37-53
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-0903-0802
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0903-0802
拉尔夫·库斯特斯,托马斯·特鲁德隆:
电子投票协议抗胁迫的认知方法。 CoRR公司 abs/0903.0802(2009)
[i2]
- 看法
  - 电子版@iacr.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/iacr/KustersTV09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iacr/KustersTV09
拉尔夫·库斯特斯,托马斯·特鲁德隆,安德烈亚斯·沃格特:
基于游戏的胁迫抵抗定义及其应用。 IACR加密。电子打印架构。 2009:582(2009)
2008
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ccs/KustersT08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ccs/KustersT08
拉尔夫·库斯特斯,托马斯·特鲁德隆:
在基于喇叭理论的方法中，将使用异或的协议分析减少到无异或的情况。 CCS系统 2008:129-138
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0808-0634
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0808-0634
拉尔夫·库斯特斯,托马斯·特鲁德隆:
在基于Horn理论的方法中，将使用异或的协议分析简化为无异或的情况。 CoRR公司 abs/0808.0634(2008)
2007
[c7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/KahlerKT07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KahlerKT07
德特勒夫·卡勒,拉尔夫·库斯特斯,托马斯·特鲁德隆:
加密协议的无限状态AMC模型检查。低收入国家 2007:181-192
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/stasts/KustersT07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/stacs/KustersT07
拉尔夫·库斯特斯,托马斯·特鲁德隆:
基于异或的递归安全协议自动分析。 STACS公司 2007:646-657
2005
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Truderung05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Truderung05
托马斯·特鲁德隆:
常规协议和常规知识攻击。 CADE公司 2005:377-391
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/Truderung05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Truderung05
托马斯·特鲁德隆:
选择理论和递归协议。 CONCUR公司 2005:217-232
2004
[c3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/RychlikowskiT04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/RychlikowskiT04
帕维尔·雷奇利科夫斯基,托马斯·特鲁德隆:
对常规条款设置限制。 CSL公司 2004:458-472
2002
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/MarcinkowskiT02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/MarcinkowskiT02
杰里·马尔辛科夫斯基（Jerzy Marcinkowski）,托马斯·特鲁德隆:
正LTL游戏的最佳复杂度界限。 CSL公司 2002:262-275
2001
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/RychlikowskiT01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/RychlikowskiT01
帕维尔·里奇利科夫斯基,托马斯·特鲁德隆:
逻辑编程的多态方向类型。 PPDP（PPDP） 2001:61-72

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。