罗斯·霍恩
人员信息
附属: 卢森堡大学
优化列表
2020年–今天
2024 [公元17年] 哈米德·阿尔沙德 , 罗斯·霍恩 , 克里斯蒂安·约翰森 , 奥拉夫·奥韦 , 蒂姆·A·C·威廉斯 :
XACML2mCRL2:将XACML策略自动转换为mCRL2规范。 科学。 计算。 程序。 232 : 103046 ( 2024 ) [公元30年] 克里斯托夫·H·J·布劳恩 , 罗斯·霍恩 , 托比亚斯·卡夫 , 绍克·莫 :
SSI,从规范到协议? 正式验证安全性! 万维网 2024 : 1620-1631年 2023 [公元16年] 克里斯蒂安·埃斯波西托 , 罗斯·霍恩 , 利维奥·罗巴尔多 , 巴特·布伦斯 , 埃尔菲·戈萨特 :
评估与安全和隐私义务相关的可靠协议。 信息。 14 ( 7 ) : 411 ( 2023 ) [公元15年] 罗斯·霍恩 , 绍克·莫 , 安德烈·米泽拉 , 安德烈·斯坦珀 , 扬·托梅尔 :
利用深度学习对立方体卫星上的资源进行异常检测。 J.航空公司。 信息系统。 20 ( 12 ) : 859-872 ( 2023 ) [公元14年] 罗斯·霍恩 , 绍克·莫 , 尤尔科夫精液 :
当隐私失效时,一个公式描述了一种攻击:针对应用程序的完整组合验证方法 π -微积分。 西奥。 计算。 科学。 959 : 113842 ( 2023 ) [公元29年] Sergiu Bursuc公司 , 罗斯·霍恩 , 绍克·莫 , 尤尔科夫精液 :
基于智能卡的无链接支付(Provable Unlinkable Smart Card based Payments)。 CCS系统 2023 : 1392-1406 [公元28年] 罗斯·霍恩 , 卢卡·帕多瓦尼 :
会话类型子类型的逻辑帐户。 地点@ETAPS 2023 : 26日至37日 [i10] Sergiu Bursuc公司 , 罗斯·霍恩 , 绍克·莫 , 尤尔科夫精液 :
基于智能卡的无链接支付(Provable Unlinkable Smart Card based Payments)。 CoRR公司 abs/2309.03128 ( 2023 ) 2022 [j13] 马泰奥·阿克拉维奥 , 罗斯·霍恩 , Lutz Stra汉堡 :
图上的一个分析命题证明系统。 日志。 方法计算。 科学。 18 ( 4 ) ( 2022 ) [公元12年] 安德烈·亚历山德鲁 , 博格丹·阿曼 , 罗斯·霍恩 :
生命与计算理论:加布里埃尔·乔巴努教授65岁生日特刊。 西奥。 计算。 科学。 926 : 1-2 ( 2022 ) [公元27年] 克莱门特·奥伯特 , 罗斯·霍恩 , 克里斯蒂安·约翰森 :
安全钻石:应用Pi-Calculus的非交互操作语义。 CONCUR公司 2022 : 30:1-30:26 [c26] 雷纳尔多·吉尔·庞斯 , 罗斯·霍恩 , 绍克·莫 , Alwen Tiu先生 , Rolando Trujillo-Rasua公司 :
伊芙在附近吗? 在远程攻击者假设下分析协议。 CSF公司 2022 : 17-32 [公元25年] 罗斯·霍恩 , 绍克·莫 , 尤尔科夫精液 :
EMV第二代支付改进密钥协议的不可链接性。 CSF公司 2022 : 364-379 [公元24年] 哈米德·阿尔沙德 , 罗斯·霍恩 , 克里斯蒂安·约翰森 , 奥拉夫·奥韦 , 蒂姆·A·C·威廉斯 :
进程代数可以挽救生命:使用mCRL2对XACML访问控制策略进行静态分析。 复地 2022 : 11-30 【c23】 马泰奥·阿克拉维奥 , 罗斯·霍恩 , 绍克·莫 , Lutz Stra汉堡 :
逻辑时间的图形证明理论。 金融稳定与发展部 2022 : 22:1-22:25 [公元22年] 克莱门特·奥伯特 , 罗斯·霍恩 , 克里斯蒂安·约翰森 :
关于不相交应用π-演算的持续时间和因果关系的互模拟。 快递/SOS 2022 : 3-22 [第九章] 克里斯蒂安·埃斯波西托 , 奥拉夫·哈蒂格 , 罗斯·霍恩 , 长孙 :
评估与安全和隐私义务相关的实体协议。 CoRR公司 abs/2210.08270 ( 2022 ) 2021 [公元11年] 罗斯·霍恩 , 绍克·莫 :
使用Bisimility发现ePassport漏洞。 日志。 方法计算。 科学。 17 ( 2 ) : 24 ( 2021 ) [公元10年] Ki Yung Ahn(基永安) , 罗斯·霍恩 , Alwen Tiu先生 :
使用直觉模态逻辑描述开放双相似性。 日志。 方法计算。 科学。 17 ( 三 ) ( 2021 ) 【c21】 罗斯·霍恩 , 绍克·莫 , 尤尔科夫精液 :
应用π演算中使用拟开双相似性对协议等价性进行组合分析。 ICTAC公司 2021 : 235-255 [公元20年] 罗布·范·格拉贝克 , 彼得·霍夫纳 , 罗斯·霍恩 :
假设有足够的公平性来完成会话类型以实现锁自由。 低收入国家 2021 : 1月13日 [i8] 罗布·范·格拉贝克 , 彼得·霍夫纳 , 罗斯·霍恩 :
假设有足够的公平性来完成会话类型以实现锁自由。 CoRR公司 abs/2104.14226 ( 2021 ) [i7] 罗斯·霍恩 , Sjouke毛 , 尤尔科夫精液 :
打破并修复第二代EMV支付的关键协议协议的不可链接性。 CoRR公司 abs/2105.02029 ( 2021 ) 2020 [公元9年] 伊利亚·卡斯特拉尼 , Mariangiola Dezani-Ciancaglini公司 , 保拉·詹尼尼 , 罗斯·霍恩 :
具有内部委派的全局类型。 西奥。 计算。 科学。 807 : 128-153 ( 2020 ) [第19条] 罗斯·霍恩 :
使用循环序列的会话子类型和多方兼容性。 CONCUR公司 2020 : 12:1-12:22 [第18条] Dov M.Gabbay公司 , 罗斯·霍恩 , Sjouke毛 , 林德特·范德托雷 :
攻击防御框架:基于论证的攻击防御树语义。 GraMSec@CSF 2020 : 143-165 [第17条] 马泰奥·阿克拉维奥 , 罗斯·霍恩 , Lutz Stra汉堡 :
超越公式的逻辑:图的证明系统。 低收入国家 2020 : 38-52 [i6] 罗斯·霍恩 , Sjouke毛 :
使用Bisimility发现ePassport漏洞。 CoRR公司 abs/2002.07309 ( 2020 ) [i5] 马泰奥·阿克拉维奥 , 罗斯·霍恩 , Lutz Stra汉堡 :
图上的一个分析命题证明系统。 CoRR公司 abs/2012.01102 ( 2020 )
2010 – 2019
2019 [j8] 罗斯·霍恩 , Alwen Tiu先生 :
根据具有私有名称的进程的线性含义构建弱模拟。 数学。 结构。 计算。 科学。 29 ( 8 ) : 1275-1308 ( 2019 ) [j7] 罗斯·霍恩 , Alwen Tiu先生 , 博格丹·阿曼 , 加布里埃尔·乔巴努 :
De Morgan双重名词量词在非交换逻辑中模拟私有名称。 ACM事务处理。 计算。 日志。 20 ( 4 ) : 22:1-22:44 ( 2019 ) [第16条] 伊霍尔·菲利莫诺夫 , 罗斯·霍恩 , 绍克·莫 , 扎克·史密斯 :
利用相似性打破ICAO 9303电子护照标准的不可链接性。 ESORICS(1) 2019 : 577-594 [第15条] 罗斯·霍恩 :
次加法:概率选择扩展线性逻辑的证明理论。 金融稳定与发展部 2019 : 23:1-23:16 [电子2] 马西米利亚诺·阿尔巴内塞 , 罗斯·霍恩 , 克里斯蒂安·普罗布斯特 :
安全图形模型——第六届国际研讨会, GraMSec@CSF 2019年,美国新泽西州霍博肯,2019年6月24日,修订论文。 计算机科学课堂讲稿 11720, 施普林格 2019 ,国际标准图书编号 978-3-030-36536-3 [目录] 2018 [第14条] 罗斯·霍恩 , 绍克·莫 , Alwen Tiu先生 :
攻击者并不总是掌握主动权:使用外部优化攻击树。 GraMSec@FLoC 2018 : 90-110 [第13条] 罗斯·霍恩 , Ki Yung Ahn(基永安) , 尚伟林 , Alwen Tiu先生 :
具有不匹配的准开放双相似度是直觉主义的。 低收入国家 2018 : 26-35 [i4] 罗斯·霍恩 :
应用pi-Calculus的双相似度同余足以验证隐私属性。 CoRR公司 abs/1811.02536 ( 2018 ) 2017 [j6] 罗斯·霍恩 , 绍克·莫 , Alwen Tiu先生 :
基于线性逻辑的专用攻击树语义。 芬丹。 信息学 153 ( 1-2 ) : 57-86 ( 2017 ) [c12] Ki Yung Ahn(基永安) , 罗斯·霍恩 , Alwen Tiu先生 :
使用直觉模态逻辑描述开放双相似性。 CONCUR公司 2017 : 7点-7分17秒 [i3] Ki Yung Ahn(基永安) , 罗斯·霍恩 , Alwen Tiu先生 :
使用直觉模态逻辑描述开放互模拟。 CoRR公司 abs/1701.05324 ( 2017 ) [i2] Ki Yung Ahn(基永安) , 罗斯·霍恩 , Alwen Tiu先生 :
为pi-Calculus生成非相似性的见证。 CoRR公司 abs/1705.10908 ( 2017 ) 2016 [j5] 加布里埃尔·乔巴努 , 罗斯·霍恩 , 弗拉迪米罗·萨松 :
RDF模式的描述性类型基础。 J.日志。 代数方法程序。 85 ( 5 ) : 681-706 ( 2016 ) [第11条] Alwen Tiu先生 , 南阮 , 罗斯·霍恩 :
SPEC:安全协议的等效检查器。 阿普拉斯 2016 : 87-95 [第10条] 罗斯·霍恩 , Alwen Tiu先生 , 博格丹·阿曼 , 加布里埃尔·乔巴努 :
非交换逻辑中的私有名称。 CONCUR公司 2016 : 31:1-31:16 [i1] 罗斯·霍恩 , Alwen Tiu先生 , 博格丹·阿曼 , 加布里埃尔·乔巴努 :
非交换逻辑中的私有名称。 CoRR公司 abs/1602.06043 ( 2016 ) 2015 【j4】 罗斯·霍恩 :
乘法加法系统虚拟的一致性和复杂性。 科学。 Ann.计算。 科学。 25 ( 2 ) : 245至316 ( 2015 ) [j3] 加布里埃尔·乔巴努 , 罗斯·霍恩 , 弗拉迪米罗·萨松 :
链接数据使用者的最小类型推断。 J.日志。 代数方法程序。 84 ( 4 ) : 485-504 ( 2015 ) 【c9】 加布里埃尔·乔巴努 , 罗斯·霍恩 :
使用结构微积分对会话进行行为分析。 埃尔绍夫纪念大会 2015 : 91-106 [电子1] 罗斯·霍恩 :
2015年2月26日至28日,哈萨克斯坦阿拉木图,EGC 2015,新兴经济体拥抱全球计算——第一次研讨会。 诉讼程序。 计算机与信息科学中的通信 514, 施普林格 2015 ,国际标准图书编号 978-3-319-25042-7 [目录] 2014 [注2] 罗斯·霍恩 , 弗拉迪米罗·萨松 :
读写链接数据的验证代数。 科学。 计算。 程序。 89 : 2-22 ( 2014 ) 【c8】 加布里埃尔·乔巴努 , 罗斯·霍恩 , 弗拉迪米罗·萨松 :
链接数据资源的描述类型。 埃尔绍夫纪念大会 2014 : 1至25 【c7】 加布里埃尔·乔巴努 , 罗斯·霍恩 , 克里斯蒂安·瓦迪阿努 :
从Web文档中提取阈值概念结构。 ICCS系统 2014 : 130-144年 2013 【c6】 罗斯·霍恩 , 帖木儿乌马罗夫 :
确保商业云中的无故障通信行为。 SEFM研讨会 2013 : 44-55 【c5】 加布里埃尔·乔巴努 , 罗斯·霍恩 :
地理复制数据库的非互操作语义。 SYNASC公司 2013 : 440-447 【c4】 加布里埃尔·乔巴努 , 罗斯·霍恩 , 弗拉迪米罗·萨松 :
链接数据使用者的本地类型检查。 WWV(WWV) 2013 : 19-33 2012 [j1] Mariangiola Dezani-Ciancaglini公司 , 罗斯·霍恩 , 弗拉迪米罗·萨松 :
追踪链接数据的来源:微积分。 西奥。 计算。 科学。 464 : 113-129 ( 2012 ) 【c3】 加布里埃尔·乔巴努 , 罗斯·霍恩 :
数据更新的原产地跟踪模型。 FOCLASA公司 2012 : 31-44 2011 【b1】 罗斯·霍恩 :
读写链接数据的编程语言和原理。 英国南安普顿大学, 2011 [c2] 罗斯·霍恩 , 弗拉迪米罗·萨松 , 尼古拉斯·吉宾斯 :
SPARQL更新的操作语义。 JIST标准 2011 : 242-257 【c1】 罗斯·霍恩 , 弗拉迪米罗·萨松 :
链接数据的验证代数。 FOCLASA公司 2011 : 20-33