克里斯蒂安·科伦坡 0001
人员信息
附属: 马耳他大学
其他同名人员
克里斯蒂安·科伦坡 0002 -意大利米兰比卡大学
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 [公元14年] 詹妮弗·贝里兹 , Eleonora Losiouk公司 , 毛罗·孔蒂 , 克里斯蒂安·科伦坡 , 马克·韦勒 :
VEDRANDO:一种通过内存取证揭示安卓系统隐身攻击步骤的新方法。 J.网络安全。 私人。 三 ( 三 ) : 364-395 ( 2023 ) [第51条] 詹妮弗·贝利齐 , 马克·韦勒 , 克里斯蒂安·科伦坡 , 胡里奥·埃尔南德斯·卡斯特罗 :
使用基于基础结构的代理来增强第三方应用程序的法医日志记录。 ICISSP公司 2023 : 389-401 [公元50年] 罗伯特·阿贝拉 , 克里斯蒂安·科伦坡 , 阿克塞尔·库米 , Mattea Fenech公司 , 马克·韦勒 , 安吉洛·费兰多 :
可信计算的运行时验证。 ECAI区域 2023 : 49-62 2022 【b1】 克里斯蒂安·科伦坡 , 戈登·佩斯 :
运行时验证-Java中的动手方法。 施普林格 2022 ,国际标准图书编号 978-3-031-09266-4 ,第1-190页 [j13] 詹妮弗·贝里兹 , 马克·韦勒 , 克里斯蒂安·科伦坡 , 朱利奥·塞萨尔·埃尔南德斯·卡斯特罗 :
使用及时捕获的内存转储响应Android上的目标隐蔽攻击。 IEEE接入 10 : 35172-35218 ( 2022 ) [公元12年] 阿克塞尔·库米 , 克里斯蒂安·科伦坡 , 马克·韦勒 :
基于RV-TEE的值得信赖的安全外壳部署:实证评估。 J.对象技术。 21 ( 2 ) : 2:1-15 ( 2022 ) [公元49年] 马克·韦勒 , 克里斯蒂安·科伦坡 :
D-Cloud-Collector:来自移动云存储的可接受法医证据。 秒 2022 : 161-178 2021 [公元11年] Yonas Leguesse公司 , 克里斯蒂安·科伦坡 , 马克·韦勒 , 胡里奥·埃尔南德斯·卡斯特罗 :
PoPL:现场和地点验证,或如何保护智能手机上的金融交易。 IEEE接入 9 : 168600-168612 ( 2021 ) [公元10年] 马丁·勒克 , 克里斯蒂安·科伦坡 :
前言。 Int.J.软件。 技术工具。 Transf公司。 23 ( 2 ) : 155-156 ( 2021 ) [j9] 马克·韦勒 , 克里斯蒂安·科伦坡 , 罗伯特·阿贝拉 , 彼得·史派克 :
RV-TEE:基于运行时验证的安全加密协议执行。 J.计算。 维罗尔。 黑客技术。 17 ( 三 ) : 229-248 ( 2021 ) [公元48年] 克里斯蒂安·科伦坡 , 戈登·佩斯 , 杰拉尔多·施奈德 :
运行时验证:传递控制棒。 外层空间中的形式化方法 2021 : 89-107 [公元47年] 阿克塞尔·库米 , 克里斯蒂安·科伦坡 , 马克·韦勒 :
可信安全shell部署的运行时验证。 ISSTA的VORTEX 2021 : 30-34 [c46] 詹妮弗·贝里兹 , 马克·韦勒 , 克里斯蒂安·科伦坡 , 胡里奥·埃尔南德斯·卡斯特罗 :
使用Android实时内存取证(JIT-MF)响应Living-Off-the-Land战术。 保密 2021 : 356-369 [公元45年] 罗伯特·阿贝拉 , 克里斯蒂安·科伦坡 , 彼得·马洛 , 彼得·塞斯 , 托马斯·法比西奇 , 昂德雷·加洛 , 维利亚姆·霍马达 , 马克·韦勒 :
Quantum-Future GAKE协议的安全实现。 STM公司 2021 : 103-121 [i4] 马克·韦勒 , 克里斯蒂安·科伦坡 :
SpotCheck:Android设备上的异常检测。 CoRR公司 abs/2102.11773 ( 2021 ) [i3] 詹妮弗·贝里兹 , 马克·韦勒 , 克里斯蒂安·科伦坡 , 胡里奥·埃尔南德斯·卡斯特罗 :
使用Android实时内存取证(JIT-MF)响应Living-Off-the-Land战术。 CoRR公司 abs/2105.05510 ( 2021 ) 2020 [公元44年] 克里斯蒂安·科伦坡 , 马克·韦勒 :
基于运行时验证的安全加密协议执行综合解决方案。 国际化学品安全委员会 2020 : 765-774 [公元43年] 阿尔贝托·阿兰达·加西亚 , 玛丽亚·艾米丽亚·坎布罗内罗 , 克里斯蒂安·科伦坡 , 路易斯·拉纳 , 戈登·佩斯 :
专题:定时合约演算。 建模软件 2020 : 193-204 [公元42年] 肖恩·阿佐帕迪 , 克里斯蒂安·科伦坡 , 戈登·佩斯 :
一种基于剩余推理的自动验证技术。 建模软件 2020 : 237-248 [公元41年] 肖恩·阿佐帕迪 , 克里斯蒂安·科伦坡 , 戈登·佩斯 :
以太坊智能合约的基于模型的静态和运行时验证。 MODELSWARD(修订论文集) 2020 : 323-348 [公元40年] 肖恩·阿佐帕迪 , 克里斯蒂安·科伦坡 , 戈登·佩斯 :
CLARVA:基于模型的Java程序剩余验证。 建模软件 2020 : 352-359 [公元39年] 詹妮弗·贝里兹 , 马克·韦勒 , 克里斯蒂安·科伦坡 , 胡里奥·埃尔南德斯·卡斯特罗 :
实时触发Android内存转储以进行隐身攻击调查。 北欧证券 2020 : 20-36 [公元38年] 阿尔贝托·阿兰达·加西亚 , 玛丽亚·艾米丽亚·坎布罗内罗 , 克里斯蒂安·科伦坡 , 路易斯·拉纳 , 戈登·佩斯 :
使用Themulus对合同进行运行时验证。 SEFM公司 2020 : 231-246 [公元37年] 马克·韦勒 , 克里斯蒂安·科伦坡 :
SpotCheck:Android设备上的异常检测。 SIN公司 2020 : 20:1-20:6 [公元36年] Yonas Leguesse公司 , 马克·韦勒 , 克里斯蒂安·科伦坡 , 胡里奥·埃尔南德斯·卡斯特罗 :
通过Android可访问性攻击减少取证足迹。 STM公司 2020 : 22-38
2010 – 2019
2019 [j8] 塞萨尔·桑切斯 , 杰拉尔多·施奈德 , 沃尔夫冈·阿伦特 , 埃齐奥·巴托西 , 多梅尼科·比安库利 , 克里斯蒂安·科伦坡 , 伊利耶斯·法尔科内 , 阿德里安·弗兰卡兰扎 , 斯丹·克里斯蒂 , 乔·卢伦索 , 德扬·尼科维奇 , 戈登·佩斯 , 何塞·鲁菲诺 , 朱利安·西莫尔斯 , 德米特里·特拉泰尔 , 亚历山大·维斯 :
高级应用程序域(软件以外)的运行时验证挑战调查。 形式化方法系统。 设计。 54 ( 三 ) : 279-335 ( 2019 ) [j7] 塞萨尔·桑切斯 , 杰拉尔多·施奈德 , 沃尔夫冈·阿伦特 , 埃齐奥·巴托奇 , 多梅尼科·比安库利 , 克里斯蒂安·科伦坡 , 伊利耶斯·法尔科内 , 阿德里安·弗兰卡兰扎 , 斯丹·克里斯蒂 , 若昂·洛伦索 , 德扬·尼科维奇 , 戈登·佩斯 , 何塞·鲁菲诺 , 朱利安·西莫尔斯 , 德米特里·特拉泰尔 , 亚历山大·维斯 :
更正为:对来自高级应用程序域(软件以外)的运行时验证挑战的调查。 形式化方法系统。 设计。 55 ( 1 ) : 72 ( 2019 ) [j6] 埃齐奥·巴托西 , 伊利耶斯·法尔科内 , Borzoo Bonakdarpour公司 , 克里斯蒂安·科伦坡 , 诺曼·戴克 , 克劳斯·哈维隆德 , Yogi Joshi(瑜伽大师) , 费利克斯·克莱特克 , 里德·米列维茨 , 贾尔斯·雷格尔 , 格里戈·罗苏 , 朱利安·西莫尔斯 , 丹尼尔·托马 , 尤根·扎利内斯库 , 张毅(音) :
第一届国际运行时验证竞赛:CRV 2014的规则、基准、工具和最终结果。 Int.J.软件。 技术工具。 Transf公司。 21 ( 1 ) : 31-70 ( 2019 ) [i2] 沃尔夫冈·阿伦特 , 西里尔·阿瑟 , 克里斯蒂安·科伦坡 , 法尔科内 , 斯丹·克里斯蒂 , 马丁·勒克 , 弗洛里安·洛伯 , 乔·卢伦索 , 莱昂纳多·马里亚尼 , 塞萨尔·桑切斯 , 杰拉多·施奈德 , 沃尔克·斯托尔茨 :
COST Action IC 1402 ArVI:监控之外的运行时验证-工作组1的活动报告。 CoRR公司 abs/1902.03776 ( 2019 ) 2018 [公元35年] 肖恩·阿佐帕迪 , 克里斯蒂安·科伦坡 , 戈登·佩斯 :
金融服务合规性检查的受控自然语言。 CNL公司 2018 : 11-20 [公元34年] 克里斯蒂安·科伦坡 , 戈登·佩斯 :
在运行时验证设计中考虑Academia Industry Projects的元特性。 ISoLA(4) 2018 : 32-41 [公元33年] 克里斯蒂安·科伦坡 , 约书亚·埃卢尔 , 戈登·佩斯 :
智能合约之上的合约:动态从违规中恢复。 ISoLA(4) 2018 : 300-315 [公元32年] 克里斯蒂安·科伦坡 , 法尔科内 , 马丁·勒克 , 贾尔斯·雷格尔 , 塞萨尔·桑切斯 , 杰拉尔多·施奈德 , 沃尔克·斯托尔茨 :
COST Action IC1402超越监控的运行时验证。 RV汽车 2018 : 18-26 [第1页] 克里斯蒂安·科伦坡 , 戈登·佩斯 :
金融交易系统运行时验证的行业经验:经验教训和长期挑战。 运行时验证讲座 2018 : 211-232 [电子1] 克里斯蒂安·科伦坡 , 马丁·勒克 :
运行时验证——第18届国际会议,RV 2018,利马索尔,塞浦路斯,2018年11月10日至13日,会议记录。 计算机科学课堂讲稿 11237, 施普林格 2018 ,国际标准图书编号 978-3-030-03768-0 [目录] [i1] 塞萨尔·桑切斯 , 杰拉尔多·施奈德 , 沃尔夫冈·阿伦特 , 埃齐奥·巴托西 , 多梅尼科·比安库利 , 克里斯蒂安·科伦坡 , 伊利耶斯·法尔科内 , 阿德里安·弗兰卡兰扎 , 斯丹·克里斯蒂 , 乔·卢伦索 , 德扬·尼科维奇 , 戈登·佩斯 , 何塞·鲁菲诺 , 朱利安·西莫尔斯 , 德米特里·特拉泰尔 , 亚历山大·维斯 :
高级应用程序域(超越软件)的运行时验证挑战调查。 CoRR公司 abs/1811.06740 ( 2018 ) 2017 [公元31年] 肖恩·阿佐帕迪 , 克里斯蒂安·科伦坡 , Jean-Paul Ebejer公司 , 爱德华·马利娅 , 戈登·佩斯 :
使用VALOUR进行运行时验证。 RV-CuBES汽车 2017 : 10-18 [公元30年] 克里斯蒂安·科伦坡 , 戈登·佩斯 :
使用LARVA进行运行时验证。 RV-CuBES汽车 2017 : 55-63 [公元29年] 肖恩·阿佐帕迪 , 克里斯蒂安·科伦坡 , 戈登·J·佩斯 :
符号自动机的控制流残差分析。 发布前@iFM 2017 : 29-43 [公元28年] 卢克·奇科普 , 克里斯蒂安·科伦坡 , 马克·米卡列夫 :
探索测试套件质量和自动规范推断之间的联系。 发布前@iFM 2017 : 44-56 2016 [j5] 克里斯蒂安·科伦坡 , 伊利耶斯·法尔科内 :
使用全球时钟在分布式系统上组织LTL监控器。 形式化方法系统。 设计。 49 ( 1-2 ) : 109-158 ( 2016 ) [公元27年] 亚伦·卡拉法托 , 克里斯蒂安·科伦坡 , 戈登·佩斯 :
用于税务欺诈检测的受控自然语言。 CNL公司 2016 : 1-12 [公元26年] 阿比盖尔·考奇 , 克里斯蒂安·科伦坡 , 阿德里安·弗兰卡兰扎 , 马克·米卡列夫 , 戈登·佩斯 :
使用小黄瓜提取测试和监控器,以实现更安全的医疗设备交互设计。 EICS公司 2016 : 275-280 [公元25年] 克里斯蒂安·科伦坡 , 戈登·佩斯 , 卢克·卡米莱里 , 克莱尔·迪梅奇 , 鲁本·法鲁加 , Jean-Paul Grech公司 , 阿莱西奥·马格罗 , 安德鲁·桑穆特 , 克里斯蒂安·扎布·阿达米 :
流处理应用程序的运行时验证。 ISoLA(2) 2016 : 400-406 [公元24年] 肖恩·阿佐帕迪 , 克里斯蒂安·科伦坡 , 戈登·佩斯 :
结合静态和动态验证技术的基于模型的方法。 ISoLA(1) 2016 : 416-430 【c23】 克里斯蒂安·科伦坡 , 伊利耶斯·法尔科内 :
第一所运行时验证国际暑期学校——作为ArVi COST行动1402的一部分。 RV汽车 2016 : 17-20 [公元22年] 劳尔·帕尔多 , 克里斯蒂安·科伦坡 , 戈登·J·佩斯 , 杰拉尔多·施奈德 :
一种基于自动化的社交网络隐私政策演变方法。 RV汽车 2016 : 285-301 【c21】 肖恩·阿佐帕迪 , 克里斯蒂安·科伦坡 , 戈登·佩斯 , 布莱恩·维拉 :
开放支付生态系统中的合规检查。 SEFM公司 2016 : 337-343 [公元20年] 卢克·奇科普 , 克里斯蒂安·科伦坡 , 戈登·佩斯 :
移动设备管理的设备中心监控。 FESCA@ETAPS 2016 : 31-44 2015 [第19条] 马克·米卡列夫 , 克里斯蒂安·科伦坡 :
使用DSL进行自动化软件测试的经验教训。 ICST研讨会 2015 : 1-6 [第18条] 卢克·巴贾达 , 马克·米卡列夫 , 克里斯蒂安·科伦坡 :
使用控制流分析来提高增量突变测试的有效性。 IWPSE公司 2015 : 73-78 [第17条] 克里斯蒂安·科伦坡 , Jean-Paul Grech公司 , 戈登·佩斯 :
用于商业智能监控的受控自然语言。 国家开发银行 2015 : 300-306 [第16条] 克里斯蒂安·科伦坡 , 加布里埃尔·迪梅奇 , 阿德里安·弗兰卡兰扎 :
研究ESB运行时验证的工具技术。 SEFM公司 2015 : 99-107 2014 [第15条] 克里斯蒂安·科伦坡 , 伊利耶斯·法尔科内 :
使用全球时钟在分布式系统上组织LTL监控器。 RV汽车 2014 : 140-155 [第14条] 克里斯蒂安·科伦坡 , 马克·米卡列夫 , 马克·斯克里 :
验证Web应用程序:从业务级规范到基于模型的自动化测试。 百万比特 2014 : 14-28 [第13条] 克里斯蒂安·科伦坡 , 戈登·佩斯 :
全面的以监督员为导向的薪酬规划。 FESCA公司 2014 : 47-61 2013 【j4】 克里斯蒂安·科伦坡 , 戈登·佩斯 :
在长时间运行的事务中进行恢复。 ACM计算。 Surv公司。 45 ( 三 ) : 28:1-28:35 ( 2013 ) [j3] 克里斯蒂安·科伦坡 , 戈登·佩斯 :
通过补偿自动机实现面向监控的补偿编程。 电子。 Commun公司。 欧洲协会软件。 科学。 Technol公司。 58 ( 2013 ) [注2] 马克·米卡列夫 , 克里斯蒂安·科伦坡 :
图形化建模和检测知识流动风险的案例研究。 电子。 Commun公司。 欧洲协会软件。 科学。 Technol公司。 58 ( 2013 ) [第12条] 克里斯蒂安·科伦坡 , 露丝·米齐 , 戈登·J·佩斯 :
SMock-监控工具的测试平台。 RV汽车 2013 : 352-357 [第11条] 克里斯蒂安·科伦坡 , 阿德里安·弗兰卡兰扎 , 露丝·米齐 , 戈登·佩斯 :
可扩展技术-不可知运行时验证。 FESCA公司 2013 : 1-15 [第10条] 马克·安东尼·卡奇亚 , 马克·米卡列夫 , 克里斯蒂安·科伦坡 :
朝向增量突变测试。 VSSE公司 2013 : 2-11 2012 [j1] 克里斯蒂安·科伦坡 , 戈登·佩斯 , 帕特里克·阿贝拉 :
使用补偿实现更安全的异步运行时监控。 形式化方法系统。 设计。 41 ( 三 ) : 269-294 ( 2012 ) 【c9】 克里斯蒂安·科伦坡 , 戈登·佩斯 :
快速向前运行时监控-工业案例研究。 RV汽车 2012 : 214-228 【c8】 克里斯蒂安·科伦坡 , 阿德里安·弗兰卡兰扎 , 露丝·米齐 , 戈登·佩斯 :
polyLarva:可配置资源软件监控边界的运行时验证。 SEFM公司 2012 : 218-232 【c7】 克里斯蒂安·科伦坡 , 阿德里安·弗兰卡兰扎 , 伊恩·格里马 :
简化合同暴力痕迹。 弗拉科斯 2012 : 11-20 2011 【c6】 克里斯蒂安·科伦坡 , 阿德里安·弗兰卡兰扎 , 鲁道夫·加特 :
Elarva:Erlang的监控工具。 RV汽车 2011 : 370-374 2010 【c5】 克里斯蒂安·科伦坡 , 戈登·佩斯 , 帕特里克·阿贝拉 :
补偿感知运行时监控。 RV汽车 2010 : 214-228 【c4】 克里斯蒂安·科伦坡 , 安德鲁·高奇 , 戈登·佩斯 :
LarvaStat:统计特性监测。 RV汽车 2010 : 480-484
2000 – 2009
2009 【c3】 克里斯蒂安·科伦坡 , 戈登·佩斯 , 杰拉尔多·施奈德 :
实时属性的安全运行时验证。 格式 2009 : 103-117 【c2】 克里斯蒂安·科伦坡 , 戈登·佩斯 , 杰拉尔多·施奈德 :
LARVA——实时Java程序的更安全监控(工具文件)。 SEFM公司 2009 : 33-37 2008 【c1】 克里斯蒂安·科伦坡 , 戈登·佩斯 , 杰拉尔多·施奈德 :
实时和上下文属性的基于动态事件的运行时监视。 飞行管理信息系统 2008 : 135-149
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)