罗伯托·关夏利
人员信息
优化列表
2020年–今天
2024 [j13] 阿努德·阿尔什纳卡特 , 迪德里克·伦德伯格 , 罗伯托·关夏利 , Mads大坝 :
HOL4P4:P4的机械化小步语义。 程序。 ACM计划。 语言。 8 ( OOPSLA1公司 ) : 223-249 ( 2024 ) [c45] 蒂齐亚诺·马里纳罗 , 巴勃罗·布伊拉斯 , 安德烈亚斯·林德纳 , 罗伯托·关夏利 , 哈米德·内马蒂 :
超越过度保护:有针对性的Spectre缓解和性能优化方法。 亚洲CCS 2024 2023 [公元12年] 亚历山德罗·博奇 , 斯特凡诺·福蒂 , 罗伯托·关夏利 , 吉安·路易吉·费拉里 , 安东尼奥·布罗吉 :
云应用程序的安全分区,具有成本预期。 未来互联网 15 ( 7 ) : 224 ( 2023 ) [公元11年] 延斯·坎斯特拉普·拉森 , 罗伯托·关夏利 , 菲利普·哈勒 , 阿尔切斯特·斯卡拉斯 :
P4R-Type:P4控制平面程序的验证API。 程序。 ACM计划。 语言。 7 ( OOPSLA2公司 ) : 1935-1963 ( 2023 ) [公元44年] 宁东 , 罗伯托·关夏利 , Mads大坝 , 安德烈亚斯·洛夫 :
订单流水线处理器正确性和信息流安全性的形式验证。 FMCAD公司 2023 : 247-256 [第九章] 安德烈亚斯·林德纳 , 罗伯托·关夏利 , Mads大坝 :
二进制代码验证的符号执行证明。 CoRR公司 abs/2304.08848 ( 2023 ) [i8] 延斯·坎斯特拉普·拉森 , 罗伯托·关夏利 , 菲利普·哈勒 , 阿尔切斯特·斯卡拉斯 :
P4R-Type:P4控制平面程序的验证API(技术报告)。 CoRR公司 abs/2309.03566 ( 2023 ) [i7] 马特维·索洛维耶夫 , 穆萨德·巴利乌 , 罗伯托·关夏利 :
通过模态逻辑镜头的安全属性。 CoRR公司 abs/2309.09542 ( 2023 ) [i6] 蒂齐亚诺·马里纳罗 , 巴勃罗·别拉斯 , 安德烈亚斯·林德纳 , 罗伯托·关夏利 , 哈米德·内马蒂 :
超越过度保护:有针对性的Spectre缓解和性能优化方法。 CoRR公司 abs/2312.09770 ( 2023 ) 2022 [公元10年] 马蒂亚斯·威格伯格 , 艾琳娜·戈贝纳 , 马蒂·考利奥 , 理查德·格拉西 , Olle Bälter公司 , 德纳·侯赛因 , 罗伯托·关夏利 , 菲利普·哈勒 :
在大学有效地重新杀害外国出生的人——软件开发学院。 IEEE接入 10 : 24556-24565 ( 2022 ) [公元43年] 罗伯托·关夏利 , 克里斯托夫·鲍曼 , 巴勃罗·别拉斯 , Mads大坝 , 哈米德·内马蒂 :
低层系统信息流优化案例研究。 软件的逻辑。 形式方法品尝菜单 2022 : 54-79 [公元42年] 阿努德·阿尔什纳卡特 , 迪德里克·伦德伯格 , 罗伯托·关夏利 , Mads大坝 , 卡尔·帕尔姆斯科 :
HOL4P4:已验证数据平面的语义。 欧洲P4@CoNEXT 2022 : 39-45 [公元41年] 亚历山德罗·博奇 , 罗伯托·关夏利 , 斯特凡诺·福蒂 , 吉安·路易吉·费拉里 , 安东尼奥·布罗吉 :
复合云应用程序的安全分区。 ESOCC公司 2022 : 47-64 [公元40年] 乔纳斯·哈格隆德 , 罗伯托·关夏利 :
DMA的正式验证隔离。 FMCAD公司 2022 : 118-128 [公元39年] 卡尔·帕尔姆斯科 , 姚晓摩 , 宁东 , 罗伯托·关夏利 , Mads大坝 :
HOL4中微体系结构无序执行分析的基础和工具。 FMCAD公司 2022 : 129-138 [公元38年] 罗伯托·关夏利 , 尼古拉·帕拉迪 , 阿拉什·瓦希迪 :
SoK:机密四方——基于虚拟化的机密计算平台比较。 种子 2022 : 109-120 2021 [公元9年] 亚历克斯·科托 , 罗伯托·关夏利 , 埃米利奥·托斯托 :
舞蹈测试的抽象框架。 J.日志。 代数方法课程。 123 : 100712 ( 2021 ) [j8] 罗伯托·关夏利 , 埃米利奥·托斯托 :
PomCho:舞蹈设计的工具链。 科学。 计算。 程序。 202 : 102535 ( 2021 ) [公元37年] 克里斯托夫·鲍曼 , 马德斯大坝 , 罗伯托·关夏利 , 哈米德·内马蒂 :
关于成分信息流感知精炼。 CSF公司 2021 : 1-16 [公元36年] 宁东 , 罗伯托·关夏利 , Mads大坝 :
基于细化的设备到设备信息流验证。 FMCAD公司 2021 : 123-132 [公元35年] 巴勃罗·别拉斯 , 哈米德·内马蒂 , 安德烈亚斯·林德纳 , 罗伯托·关夏利 :
通过观测优化验证侧通道模型。 微型的 2021 : 578-591 2020 [j7] 乔纳斯·哈格隆德 , 罗伯托·关夏利 :
DMA设备的可靠隔离。 J.银行。 财务技术。 4 ( 1 ) : 75-94 ( 2020 ) [公元34年] 哈米德·内马蒂 , 巴勃罗·别拉斯 , 安德烈亚斯·林德纳 , 罗伯托·关夏利 , 瑞典雅各布斯 :
计算机体系结构抽象边通道模型的验证。 CAV(1) 2020 : 225-248 [公元33年] 罗伯托·关夏利 , 穆萨德·巴利乌 , Mads大坝 :
InSpectre:通过形式分析打破和修复微架构漏洞。 CCS系统 2020 : 1853-1869 [公元32年] 亚历克斯·科托 , 罗伯托·关夏利 , 埃米利奥·托斯托 :
消息传递应用程序的编排开发-教程。 协调 2020 : 20-36 [公元31年] 亚历克斯·科托 , 罗伯托·关夏利 , 埃米利奥·托斯托 :
测试消息传递组件时。 ISoLA(1) 2020 : 22-38 [公元30年] 迪德里克·伦德伯格 , 罗伯托·关夏利 , 安德烈亚斯·林德纳 , Mads大坝 :
非结构化程序的Hoare-Style逻辑。 SEFM公司 2020 : 193-213 [公元29年] 亚历克斯·科托 , 罗伯托·关夏利 , 埃米利奥·托斯托 :
编排测试的抽象框架。 内燃机 2020 : 43-60 [i5] 哈米德·内马蒂 , 巴勃罗·别拉斯 , 安德烈亚斯·林德纳 , 罗伯托·关夏利 , 瑞典雅各布斯 :
计算机体系结构抽象边通道模型的验证。 CoRR公司 2005年5月254日 ( 2020 ) [i4] 哈米德·内马蒂 , 罗伯托·关夏利 , 巴勃罗·别拉斯 , 安德烈亚斯·林德纳 :
ARM Cortex-A53中的推测性泄漏。 CoRR公司 abs/2007.06865 ( 2020 )
2010 – 2019
2019 [j6] 罗伯托·关夏利 , 埃米利奥·托斯托 :
pomsets的可实现性。 J.日志。 代数方法课程。 108 : 69-89 ( 2019 ) [j5] 安德烈亚斯·林德纳 , 罗伯托·关夏利 , 罗伯托·米特尔 :
TrABin:值得信赖的二进制分析。 科学。 计算。 程序。 174 : 72-89 ( 2019 ) [公元28年] 罗伯托·关夏利 :
DiRPOMS:POMSet分布式可实现性的自动检查器。 协调 2019 : 237-249 [公元27年] 乔纳斯·哈格伦德 , 罗伯托·关夏利 :
DMA设备的可靠隔离。 ICISS公司 2019 : 35-55 [i3] 安德烈亚斯·林德纳 , 罗伯托·关夏利 , 罗伯托·米特尔 :
TrABin:值得信赖的二进制分析。 CoRR公司 abs/1901.05456 ( 2019 ) [i2] 穆萨德·巴利乌 , Mads大坝 , 罗伯托·关夏利 :
InSpectre:通过形式分析打破和修复微架构漏洞。 CoRR公司 abs/1911.00868 ( 2019 ) 2018 【j4】 埃米利奥·托斯托 , 罗伯托·关夏利 :
舞蹈设计全球观的语义。 J.日志。 代数方法课程。 95 : 17-40 ( 2018 ) [公元26年] 罗伯托·关夏利 :
保护指令集随机化免受代码重用攻击。 北欧证券 2018 : 421-436 [公元25年] 哈米德·内马蒂 , 克里斯托夫·鲍曼 , 罗伯托·关夏利 , Mads大坝 :
针对缓存存储侧通道的完整性保护对策的形式验证。 邮政 2018 : 109-133 [公元24年] 罗伯托·关夏利 , 埃米利奥·托斯托 :
通过通信自动机实现Pomsets。 内燃机 2018 : 37-51 [i1] 罗伯托·米特尔 , 安德烈亚斯·林德纳 , 罗伯托·关夏利 :
从二进制代码到机器无关代码的声音转换。 CoRR公司 abs/1807.10664 ( 2018 ) 2017 【c23】 罗伯托·米特尔 , 安德烈亚斯·林德纳 , 罗伯托·关夏利 :
从二进制代码到机器无关代码的声音转换。 SBMF公司 2017 : 197-214 2016 [j3] 罗伯托·关夏利 , 哈米德·内马蒂 , Mads大坝 , 克里斯托夫·鲍曼 :
为ARM上的Linux提供可靠的内存隔离。 J.计算。 安全。 24 ( 6 ) : 793-837 ( 2016 ) [公元22年] 罗伯托·关夏利 , 哈米德·内马蒂 , 克里斯托夫·鲍曼 , Mads大坝 :
缓存存储通道:Alias-Driven攻击和验证的对策。 IEEE安全与隐私研讨会 2016 : 38-55 【c21】 罗伯托·关夏利 , 埃米利奥·托斯托 :
全球编舞观的抽象语义学。 内燃机 2016 : 67-82 2015 [公元20年] Hind Chfouka公司 , 哈米德·内马蒂 , 罗伯托·关夏利 , Mads大坝 , 帕特里克·埃克达尔 :
嵌入式设备上Linux中代码注入的可靠预防。 ESORICS(1) 2015 : 90-107 [第19条] 迪利安·古罗夫 , 彼得·劳德 , 罗伯托·关夏利 :
隐私保护业务流程匹配。 太平洋标准时间 2015 : 36-43 [第18条] 哈米德·内马蒂 , 罗伯托·关夏利 , Mads大坝 :
ARMv7内存子系统的值得信赖的虚拟化。 SOFSEM公司 2015 : 578-589 [第17条] 哈米德·内马蒂 , Mads大坝 , 罗伯托·关夏利 , 维克多·杜 , 阿拉什·瓦希迪 :
嵌入式设备上Linux的值得信赖的内存隔离。 信托 2015 : 125-142 2014 [第16条] 罗伯托·关夏利 , 迪利安·古罗夫 :
隐私保护业务流程融合。 业务流程管理研讨会 2014 : 96-101 [第15条] 穆萨德·巴利乌 , Mads大坝 , 罗伯托·关夏利 :
自动化低级代码的信息流分析。 CCS系统 2014 : 1080-1091 [第14条] 罗伯托·关夏利 , 迪利安·古罗夫 , 彼得·劳德 :
常规语言的私有交叉。 太平洋标准时间 2014 : 112-120 2013 [第13条] Hind Chfouka公司 , 安德烈亚·科拉迪尼 , 罗伯托·关夏利 :
过程分析中一致性和性能检查的分类技术。 AIBP@人工智能 *IA公司 2013 : 21-30 [第12条] Mads大坝 , 罗伯托·关夏利 , 哈米德·内马蒂 :
小型ARM虚拟机监控程序的机器代码验证。 可信@CCS 2013 : 3-12 [第11条] Mads大坝 , 罗伯托·关夏利 , Narges Khakpour公司 , 哈米德·内马蒂 , 奥利弗·史瓦兹 :
简单的基于arm的分离内核的信息流安全性的形式化验证。 CCS系统 2013 : 223-234 2011 [第10条] 罗伯托·布鲁尼 , 安德烈亚·科拉迪尼 , 吉安·路易吉·费拉里 , 蒂托·弗拉盖拉 , 罗伯托·关夏利 , 乔治·斯帕格诺洛 :
将流程分析应用于意大利电子政务企业架构。 WS-FM公司 2011 : 111-127 [第1页] 文森佐·西安西亚 , 吉安·路易吉·费拉里 , 罗伯托·关夏利 , 丹尼尔·斯特罗洛 , 埃米利奥·托斯托 :
模型驱动的长期事务开发。 SENSORIA项目成果 2011 : 326-348 2010 [注2] 文森佐·西安西亚 , 吉安·路易吉·费拉里 , 罗伯托·关夏利 , 丹尼尔·斯特罗洛 :
基于事件的编排。 科学。 计算。 程序。 75 ( 10 ) : 848-878 ( 2010 ) 【c9】 劳拉·博奇 , 罗伯托·关夏利 , 丹尼尔·斯特罗洛 , 埃米利奥·托斯托 :
具有动态可配置事务的服务的BPMN建模。 国际社会理事会 2010 : 396-410 【c8】 吉安·路易吉·费拉里 , 罗伯托·关夏利 , 丹尼尔·斯特罗洛 , 埃米利奥·托斯托 :
重构长期事务:案例研究。 TGC公司 2010 : 318-334
2000 – 2009
2008 [j1] 吉安·路易吉·费拉里 , 罗伯托·关夏利 , 丹尼尔·斯特罗洛 , 埃米利奥·托斯托 :
用因果网络调试分布式系统。 电子。 Commun公司。 欧洲协会软件。 科学。 Technol公司。 14 ( 2008 ) 【c7】 吉安·路易吉·费拉里 , 罗伯托·关夏利 , 丹妮尔·斯特罗洛 , 埃米利奥·托斯托 :
基于事件的服务协调。 并发、图和模型 2008 : 312-329 【c6】 文森佐·西安西亚 , 吉安·路易吉·费拉里 , 罗伯托·关夏利 , 丹尼尔·斯特罗洛 :
检查交易行为的正确性。 复地 2008 : 134-148 [c5] 吉安·路易吉·费拉里 , 罗伯托·关夏利 , 丹尼尔·斯特罗洛 , 埃米利奥·托斯托 :
重构长时间运行的事务。 WS-FM公司 2008 : 127-142 【c4】 文森佐·西安西亚 , 吉安·路易吉·费拉里 , 罗伯托·关夏利 , 丹尼尔·斯特罗洛 :
全球服务协调政策。 FACS公司 2008 : 73-89 2007 【c3】 吉安路易吉·费拉里 , 罗伯托·关夏利 , 丹尼尔·斯特罗洛 , 埃米利奥·托斯托 :
通过基于事件的框架中的类型进行协调。 复地 2007 : 66-80 2006 【c2】 吉安·路易吉·费拉里 , 罗伯托·关夏利 , 丹尼尔·斯特罗洛 :
JSCL:服务协调中间件。 复地 2006 : 46-60 【c1】 吉安·路易吉·费拉里 , 罗伯托·关夏利 , 丹尼尔·斯特罗洛 :
动态异构网络上基于事件的服务协调。 国际社会理事会 2006 : 453-458