彼得·范·罗苏姆
人员信息
优化列表
2010 – 2019
2011 【j4】 米盖尔·安德烈斯 , 帕拉米德斯猫 , 彼得·范·罗苏姆 , 安娜·索科洛娃 :
概率并发系统中的信息隐藏。 西奥。 计算。 科学。 412 ( 28 ) : 3072-3089 ( 2011 ) 2010 [第16条] 弗拉维奥·D·加西亚 , 彼得·范·罗苏姆 :
离线RFID系统隐私建模。 卡迪斯 2010 : 194-208 [第15条] 弗拉维奥·加西亚 , 彼得·范·罗苏姆 , 罗尔·威尔多 , Ronny Wichers Schreur公司 :
拆卸SecureMemory、CryptoMemory和CryptoRF。 CCS系统 2010 : 250-259 [第14条] 马里奥·阿尔维姆 , 米盖尔·安德烈斯 , 帕拉米德斯猫 , 彼得·范·罗苏姆 :
安全属性的安全等价物。 IFIP TCS 2010 : 55-70 [第13条] 米盖尔·安德烈斯 , 帕拉米德斯猫 , 彼得·范·罗苏姆 , 安娜·索科洛娃 :
概率并发系统中的信息隐藏。 QEST公司 2010 : 17-26 [第12条] 米盖尔·安德烈斯 , 帕拉米德斯猫 , 彼得·范·罗苏姆 , 杰弗里·史密斯 :
计算信息隐藏系统的泄漏。 TACAS公司 2010 : 373-389 [i6] 弗拉维奥·D·加西亚 , 彼得·范·罗苏姆 , 罗尔·威尔多 , Ronny Wichers Schreur公司 :
拆卸SecureMemory、CryptoMemory和CryptoRF。 IACR密码。 电子打印架构。 2010 : 169 ( 2010 )
2000 – 2009
2009 [第11条] 卢卡斯·奇米列夫斯基 , 贾普·亨克·霍普曼 , 彼得·范·罗苏姆 :
客户端-服务器密码恢复。 OTM会议(2) 2009 : 861-878 [c10] 弗拉维奥·D·加西亚 , 彼得·范·罗苏姆 , 罗尔·威尔多 , Ronny Wichers Schreur公司 :
无线扒窃Mifare经典卡。 服务提供商 2009 : 3-15 [i5] 卢卡斯·奇米列夫斯基 , 贾普·亨克·霍普曼 , 彼得·范·罗苏姆 :
客户端-服务器密码恢复(扩展摘要)。 CoRR公司 abs/0906.4668 ( 2009 ) 2008 [j3] 弗拉维奥·D·加西亚 , 彼得·范·罗苏姆 :
标准模型中符号散列的合理且完整的计算解释。 西奥。 计算。 科学。 394 ( 1-2 ) : 112-133 ( 2008 ) 【c9】 弗拉维奥·D·加西亚 , 格哈德·德科宁甘斯 , 鲁本·梅耶尔 , 彼得·范·罗苏姆 , 罗尔·威尔多 , Ronny Wichers Schreur公司 , 雅各布施 :
拆卸MIFARE Classic。 ESORICS公司 2008 : 97-114 【c8】 米盖尔·安德烈斯 , 佩德罗·达吉尼奥 , 彼得·范·罗苏姆 :
概率模型检验中的重要诊断反例。 海法核查会议 2008 : 129-148 【c7】 大卫·加林多 , 弗拉维奥·D·加西亚 , 彼得·范·罗苏姆 :
不可出售承诺的计算合理性。 ISPEC公司 2008 : 361-376 【c6】 米盖尔·安德烈斯 , 彼得·范·罗苏姆 :
概率和非确定性系统上的条件概率。 TACAS公司 2008 : 157-172 [i4] 米盖尔·安德烈斯 , 佩德罗·达吉尼奥 , 彼得·范·罗苏姆 :
概率模型检验中的重要诊断反例。 CoRR公司 abs/0806.1139 ( 2008 ) 2007 [i3] 弗拉维奥·D·加西亚 , 彼得·范·罗苏姆 , 安娜·索科洛娃 :
概率匿名和允许调度程序。 CoRR公司 abs/0706.1019 ( 2007 ) 2006 [注2] 马可·波扎诺 , 罗伯托·布鲁托梅索 , 亚历山德罗·西马蒂 , Tommi A.Junttila女士 , 西尔维奥·兰伊斯 , 彼得·范·罗苏姆 , 罗伯托·塞巴斯蒂亚尼 :
通过布尔搜索进行有效的理论组合。 Inf.计算。 204 ( 10 ) : 1493-1525 ( 2006 ) 【c5】 弗拉维奥·D·加西亚 , 彼得·范·罗苏姆 :
标准模型中符号散列的合理计算解释。 IWSEC公司 2006 : 33-47 [i2] 弗拉维奥·D·加西亚 , 彼得·范·罗苏姆 :
形式哈希的合理计算解释。 IACR密码。 电子打印拱门。 2006 : 14 ( 2006 ) [i1] 弗拉维奥·D·加西亚 , 彼得·范·罗苏姆 :
标准模型中形式哈希的完整性。 IACR加密。 电子打印架构。 2006 : 146 ( 2006 ) 2005 [j1] 马可·波扎诺 , 罗伯托·布鲁托梅索 , 亚历山德罗·西马蒂 , Tommi A.Junttila女士 , 彼得·范·罗苏姆 , 斯蒂芬·舒尔茨 , 罗伯托·塞巴斯蒂亚尼 :
数学SAT:SAT与数学决策程序的紧密结合。 J.汽车。 原因。 35 ( 1-3 ) : 265-293 ( 2005 ) 【c4】 马可·波扎诺 , 罗伯托·布鲁托梅索 , 亚历山德罗·西马蒂 , Tommi A.Junttila女士 , 彼得·范·罗苏姆 , 斯蒂芬·舒尔茨 , 罗伯托·塞巴斯蒂亚尼 :
MathSAT 3系统。 CADE公司 2005 : 315-321 【c3】 马可·波扎诺 , 罗伯托·布鲁托梅索 , 亚历山德罗·西马蒂 , Tommi A.Junttila女士 , 西尔维奥·兰伊斯 , 彼得·范·罗苏姆 , 罗伯托·塞巴斯蒂亚尼 :
基于延迟理论组合的有效可满足模理论。 腔静脉 2005 : 335-349 【c2】 弗拉维奥·D·加西亚 , Hasuo一郎 , 沃尔特·皮特斯 , 彼得·范·罗苏姆 :
可证明的匿名性。 FMSE公司 2005 : 63-72 【c1】 马可·波扎诺 , 罗伯托·布鲁托梅索 , 亚历山德罗·西马蒂 , Tommi A.Junttila女士 , 彼得·范·罗苏姆 , 斯蒂芬·舒尔茨 , 罗伯托·塞巴斯蒂亚尼 :
线性算术逻辑可满足性的增量分层过程。 TACAS公司 2005 : 317-333