乔里·德鲁伊特
人员信息
优化列表
2020年–今天
2022 [注2] 大卫·乔姆 , 马里奥·雅克塞提格 , 阿兰·谢尔曼 , 乔里·德鲁伊特 :
UDM:私人用户发现,信息披露最少。 密码术 46 ( 4 ) : 347-379 ( 2022 ) 2021 [公元28年] 乔里·德鲁伊特 , 卡斯帕·舒蒂瑟 :
下一代互联网以太比特的速度发展:SCION位于P4。 CoNEXT公司 2021 : 119-125 [公元27年] 保拉·格罗索 , 克里斯蒂安·海塞尔曼 , 卢克·亨德里克斯 , 约瑟夫希尔 , 斯塔夫罗斯·康斯坦塔拉斯 , 罗纳德·范德波尔 , 维克托·赖斯 , 乔里·德鲁伊特 , 卡斯帕·舒蒂瑟 :
用于试验下一代网络的国家可编程基础设施。 感应电动机 2021 : 778-782 [c26] Supraja Sridhara公司 , 弗朗索瓦·维兹 , 乔里·德鲁伊特 , 卡斯帕·舒蒂杰 , 马库斯·莱格纳 , 阿德里安·佩里格 :
网络地址的全局分布式安全映射。 TAURIN@SIGCOMM公司 2021 : 1-7 2020 [j1] 克里斯蒂安·海塞尔曼 , 保拉·格罗索 , 拉尔夫·霍尔兹 , 费尔南多·科伊珀斯 , 珍妮特·许雪 , 马蒂js Jonker , 乔里·德鲁伊特 , 安娜·斯佩罗托 , 罗兰·范·瑞斯威克·德伊(Roland van Rijswijk-Deij) , 乔凡·莫拉 , 爱科·普拉斯 , 塞斯·德拉特 :
一个负责任的互联网,以增加数字世界中的信任。 J·奈特。 系统。 管理。 28 ( 4 ) : 882-922 ( 2020 ) [公元25年] 保罗·菲特劳·布罗斯坦 , 本特·琼森 , 罗伯特·默吉 , 乔里·德鲁伊特 , 康斯坦丁诺斯·萨戈纳斯 , 尤拉杰·索莫洛夫斯基 :
使用协议状态模糊的DTLS实现分析。 USENIX安全研讨会 2020 : 2523-2540年
2010 – 2019
2019 [i5] 阿卜杜拉·拉苏尔 , 格雷格·阿尔帕 , 乔里·德鲁伊特 :
QUIC的状态机推理。 CoRR公司 abs/1903.04384 ( 2019 ) 2018 [公元24年] 克里斯·麦克马洪·斯通 , 汤姆·乔西亚 , 乔里·德鲁伊特 :
为802.11 4路握手扩展自动协议状态学习。 ESORICS(1) 2018 : 325-345 【c23】 莱斯利·安·丹尼尔 , 埃里克·波尔 , 乔里·德鲁伊特 :
使用协议状态模糊推理OpenVPN状态机。 欧洲标准普尔研讨会 2018 : 11-19 [公元22年] 埃博·范德拉恩 , 埃里克·波尔 , Joost Rijneveld公司 , 乔里·德鲁伊特 , 彼得·施瓦布 , 简·弗舒伦(Jan Verschuren) :
Java卡准备好用于基于散列的签名了吗? IWSEC公司 2018 : 127-142 【c21】 汤姆·乔西亚 , 乔里·德鲁伊特 , 本·斯迈思 :
距离限制攻击层次的建模与分析。 USENIX安全研讨会 2018 : 1563-1580 [i4] 埃博·范德兰 , 埃里克·波尔 , Joost Rijneveld公司 , 乔里·德鲁伊特 , 彼得·施瓦布 , 简·弗舒伦(Jan Verschuren) :
Java卡准备好进行基于哈希的签名了吗? IACR加密。 电子打印架构。 2018 : 611 ( 2018 ) 2017 [公元20年] 大卫·乔姆 , 德巴乔蒂·达斯 , 法里德·贾瓦尼 , 安妮特·凯特 , 安娜·克拉斯诺娃 , 乔里·德鲁伊特 , 阿兰·谢尔曼 :
cMix:混合最小实时非对称加密操作。 ACNS公司 2017 : 557-578 [第19条] 理查德·J·托马斯 , 米海奥尔丁 , 汤姆·乔西亚 , 乔里·德鲁伊特 :
TRAKS:ERTMS的通用密钥管理方案。 ACSAC公司 2017 : 327-338 [第18条] 汤姆·乔西亚 , 米海奥尔丁 , 乔里·德鲁伊特 , 理查德·J·托马斯 :
针对ERTMS列车至轨旁通信协议中的消息认证的攻击。 亚洲CCS 2017 : 743-756 [第17条] 保罗·菲特劳·布罗斯坦 , 香椿Lenaerts , 埃里克·波尔 , 约里·德·鲁伊特 , Frits W.Vaandrager公司 , 帕特里克·维勒格 :
SSH实现的模型学习和模型检查。 自旋 2017 : 142-151 2016 [第16条] 乔里·德鲁伊特 :
OpenSSL状态机的故事:大规模黑盒分析。 北欧证券 2016 : 169-184 [第15条] 乔里·德鲁伊特 , 理查德·J·托马斯 , 汤姆·乔西亚 :
ERTMS列车到轨旁协议的形式化安全分析。 RSS邮件 2016 : 53-68 [第14条] 汤姆·乔西亚 , 乔里·德鲁伊特 :
从他人的错误中学习:在课堂上对物联网设备进行渗透测试。 ASE@USENIX安全研讨会 2016 [i3] 大卫·乔姆 , 法里德·贾瓦尼 , 安妮特·凯特 , 安娜·克拉斯诺娃 , 乔里·德鲁伊特 , 阿兰·谢尔曼 :
cMix:通过高性能可扩展混合实现匿名化。 IACR加密。 电子打印架构。 2016 : 8 ( 2016 ) [i2] 埃里克·R·维尔(Eric R.Verheul) , 雅各布施 , 卡洛·梅耶尔 , 米雷尔·希尔德布兰特 , 乔里·德鲁伊特 :
个性化医疗保健的多态加密和假名化。 IACR加密。 电子打印架构。 2016 : 411 ( 2016 ) 2015 [第13条] 费比安·范登·布鲁克 , Roel Verdult公司 , 乔里·德鲁伊特 :
击败IMSI捕手。 CCS系统 2015 : 340-351 [c12] 汤姆·乔西亚 , 弗拉维奥·D·加西亚 , 乔里·德鲁伊特 , 乔迪·范登·布雷克尔 , 马修·汤普森 :
非接触EMV支付的中继成本边界。 金融加密 2015 : 189-206 [第11条] 勒内·哈布雷肯 , 彼得·多伦 , 埃里克·波尔 , 乔里·德鲁伊特 :
使用高次谐波的RFID扫频门。 RFID秒 2015 : 122-137 [第10条] 埃里克·波尔 , 乔里·德鲁伊特 , 阿列克西·舒伯特 :
协议状态机和会话语言:规范、实现和安全缺陷。 IEEE安全与隐私研讨会 2015 : 125-133 【c9】 乔里·德鲁伊特 , 埃里克·波尔 :
TLS实现的协议状态模糊。 USENIX安全研讨会 2015 : 193-206年 2014 【c8】 蒂姆·库伊曼斯 , 乔里·德鲁伊特 , 埃里克·波尔 :
安卓安全密钥存储解决方案分析。 CCS的SPSM 2014 : 11-20 【c7】 乔治·查卢帕 , 斯特凡·佩赫斯托弗 , 埃里克·波尔 , 乔里·德鲁伊特 :
使用乐高®的自动化逆向工程。 WOOT公司 2014 [i1] 乔里·德鲁伊特 :
结构保护签名方案的自动代数分析。 IACR加密。 电子打印架构。 2014 : 590 ( 2014 ) 2013 【c6】 Fides艺术 , 乔里·德鲁伊特 , 埃里克·波尔 :
免费银行卡的正式模型。 ICST研讨会 2013 : 461-468 【c5】 埃里克·波尔 , 乔里·德鲁伊特 :
Radboud阅读器:一种用于保护在线交易安全的最小可信智能卡阅读器。 IDMAN公司 2013 : 107-120 2012 【c4】 格哈德·德科宁甘斯 , 乔里·德鲁伊特 :
SmartLogic工具:分析和测试智能卡协议。 ICST公司 2012 : 864-871 【c3】 大卫·M·威廉姆斯 , 乔里·德鲁伊特 , 万·J·福克金 :
ProB中公平性下的模型检查及其在公平交换协议中的应用。 ICTAC公司 2012 : 168-182 [c2] Arjan Blom公司 , 格哈德·德科宁甘斯 , 埃里克·波尔 , 约里·德·鲁伊特 , 罗尔·威尔多 :
设计失败:一款连接USB的在线银行阅读器。 北欧证券 2012 : 1-16 2011 【c1】 乔里·德鲁伊特 , 埃里克·波尔 :
EMV协议套件的形式化分析。 TOSCA公司 2011 : 113-129