Christian Colombo

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 46

Top Topics

Application Domains

Top Venues

Publications

Jennifer Bellizzi, Eleonora Losiouk, Mauro Conti, Christian Colombo, Mark Vella
VEDRANDO: A Novel Way to Reveal Stealthy Attack Steps on Android through Memory Forensics. J. Cybersecur. Priv. 3 (3) (2023)
Robert Abela, Christian Colombo, Axel Curmi, Mattea Fenech, Mark Vella, Angelo Ferrando
Runtime Verification for Trustworthy Computing. AREA@ECAI (2023)
Jennifer Bellizzi, Mark Vella, Christian Colombo, Julio C. Hernandez-Castro
Using Infrastructure-Based Agents to Enhance Forensic Logging of Third-Party Applications. ICISSP (2023)
Jennifer Bellizzi, Mark Vella, Christian Colombo, Julio César Hernández Castro
Responding to Targeted Stealthy Attacks on Android Using Timely-Captured Memory Dumps. IEEE Access 10 (2022)
Mark Vella, Christian Colombo
D-Cloud-Collector: Admissible Forensic Evidence from Mobile Cloud Storage. SEC (2022)
Axel Curmi, Christian Colombo, Mark Vella
RV-TEE-Based Trustworthy Secure Shell Deployment: An Empirical Evaluation. J. Object Technol. 21 (2) (2022)
Jennifer Bellizzi, Mark Vella, Christian Colombo, Julio Hernandez-Castro
Responding to Living-Off-the-Land Tactics using Just-In-Time Memory Forensics (JIT-MF) for Android. SECRYPT (2021)
Martin Leucker, Christian Colombo
Preface. Int. J. Softw. Tools Technol. Transf. 23 (2) (2021)
Axel Curmi, Christian Colombo, Mark Vella
Runtime verification for trustworthy secure shell deployment. VORTEX@ISSTA (2021)
Robert Abela, Christian Colombo, Peter Malo, Peter Sýs, Tomás Fabsic, Ondrej Gallo, Viliam Hromada, Mark Vella
Secure Implementation of a Quantum-Future GAKE Protocol. STM (2021)
Jennifer Bellizzi, Mark Vella, Christian Colombo, Julio Hernandez-Castro
Responding to Living-Off-the-Land Tactics using Just-in-Time Memory Forensics (JIT-MF) for Android. CoRR (2021)
Christian Colombo, Gordon J. Pace, Gerardo Schneider
Runtime Verification: Passing on the Baton. Formal Methods in Outer Space (2021)
Mark Vella, Christian Colombo, Robert Abela, Peter Spacek
RV-TEE: secure cryptographic protocol execution based on runtime verification. J. Comput. Virol. Hacking Tech. 17 (3) (2021)
Mark Vella, Christian Colombo
SpotCheck: On-Device Anomaly Detection for Android. CoRR (2021)
Yonas Leguesse, Christian Colombo, Mark Vella, Julio Hernandez-Castro
PoPL: Proof-of-Presence and Locality, or How to Secure Financial Transactions on Your Smartphone. IEEE Access 9 (2021)
Mark Vella, Christian Colombo
SpotCheck: On-Device Anomaly Detection for Android. SIN (2020)
Jennifer Bellizzi, Mark Vella, Christian Colombo, Julio C. Hernandez-Castro
Real-Time Triggering of Android Memory Dumps for Stealthy Attack Investigation. NordSec (2020)
Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace
Runtime Verification of Contracts with Themulus. SEFM (2020)
Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace
Themulus: A Timed Contract-calculus. MODELSWARD (2020)
Shaun Azzopardi, Christian Colombo, Gordon J. Pace
CLARVA: Model-based Residual Verification of Java Programs. MODELSWARD (2020)
Yonas Leguesse, Mark Vella, Christian Colombo, Julio C. Hernandez-Castro
Reducing the Forensic Footprint with Android Accessibility Attacks. STM (2020)
Christian Colombo, Mark Vella
Towards a Comprehensive Solution for Secure Cryptographic Protocol Execution based on Runtime Verification. ICISSP (2020)
Shaun Azzopardi, Christian Colombo, Gordon J. Pace
Model-Based Static and Runtime Verification for Ethereum Smart Contracts. MODELSWARD (Revised Selected Papers) (2020)
Shaun Azzopardi, Christian Colombo, Gordon J. Pace
A Technique for Automata-based Verification with Residual Reasoning. MODELSWARD (2020)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 54 (3) (2019)
Ezio Bartocci, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. Int. J. Softw. Tools Technol. Transf. 21 (1) (2019)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 55 (1) (2019)
Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Yliès Falcone, Srdan Krstic, Martin Leucker, Florian Lorber, João M. Lourenço, Leonardo Mariani, César Sánchez, Gerardo Schneider, Volker Stolz
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. CoRR (2019)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). CoRR (2018)
Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, César Sánchez, Gerardo Schneider, Volker Stolz
COST Action IC1402 Runtime Verification Beyond Monitoring. RV (2018)
Shaun Azzopardi, Christian Colombo, Gordon J. Pace
A Controlled Natural Language for Financial Services Compliance Checking. CNL (2018)
Christian Colombo, Joshua Ellul, Gordon J. Pace
Contracts over Smart Contracts: Recovering from Violations Dynamically. ISoLA (4) (2018)
Christian Colombo, Gordon J. Pace
Considering Academia-Industry Projects Meta-characteristics in Runtime Verification Design. ISoLA (4) (2018)
Christian Colombo, Gordon J. Pace
Runtime Verification using LARVA. RV-CuBES (2017)
Shaun Azzopardi, Christian Colombo, Jean-Paul Ebejer, Edward Mallia, Gordon J. Pace
Runtime Verification using VALOUR. RV-CuBES (2017)
Luke Chircop, Christian Colombo, Mark Micallef
Exploring the Link Between Test Suite Quality and Automatic Specification Inference. PrePost@iFM (2017)
Shaun Azzopardi, Christian Colombo, Gordon J. Pace
Control-Flow Residual Analysis for Symbolic Automata. PrePost@iFM (2017)
Christian Colombo, Yliès Falcone
First International Summer School on Runtime Verification - As Part of the ArVi COST Action 1402. RV (2016)
Abigail Cauchi, Christian Colombo, Adrian Francalanza, Mark Micallef, Gordon J. Pace
Using gherkin to extract tests and monitors for safer medical device interaction design. EICS (2016)
Raúl Pardo, Christian Colombo, Gordon J. Pace, Gerardo Schneider
An Automata-Based Approach to Evolving Privacy Policies for Social Networks. RV (2016)
Luke Chircop, Christian Colombo, Gordon J. Pace
Device-Centric Monitoring for Mobile Device Management. FESCA@ETAPS (2016)
Christian Colombo, Yliès Falcone
Organising LTL monitors over distributed systems with a global clock. Formal Methods Syst. Des. 49 (1-2) (2016)
Christian Colombo, Gordon J. Pace, Luke Camilleri, Claire Dimech, Reuben A. Farrugia, Jean-Paul Grech, Alessio Magro, Andrew C. Sammut, Kristian Zarb Adami
Runtime Verification for Stream Processing Applications. ISoLA (2) (2016)
Shaun Azzopardi, Christian Colombo, Gordon J. Pace, Brian Vella
Compliance Checking in the Open Payments Ecosystem. SEFM (2016)
Aaron Calafato, Christian Colombo, Gordon J. Pace
A Controlled Natural Language for Tax Fraud Detection. CNL (2016)
Shaun Azzopardi, Christian Colombo, Gordon J. Pace
A Model-Based Approach to Combining Static and Dynamic Verification Techniques. ISoLA (1) (2016)
Luke Bajada, Mark Micallef, Christian Colombo
Using control flow analysis to improve the effectiveness of incremental mutation testing. IWPSE (2015)
Christian Colombo, Gabriel Dimech, Adrian Francalanza
Investigating Instrumentation Techniques for ESB Runtime Verification. SEFM (2015)
Christian Colombo, Jean-Paul Grech, Gordon J. Pace
A Controlled Natural Language for Business Intelligence Monitoring. NLDB (2015)
Mark Micallef, Christian Colombo
Lessons learnt from using DSLs for automated software testing. ICST Workshops (2015)
Christian Colombo, Gordon J. Pace
Comprehensive Monitor-Oriented Compensation Programming. FESCA (2014)
Christian Colombo, Mark Micallef, Mark Scerri
Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing. MBT (2014)
Christian Colombo, Yliès Falcone
Organising LTL Monitors over Distributed Systems with a Global Clock. RV (2014)
Christian Colombo, Ruth Mizzi, Gordon J. Pace
SMock - A Test Platform for Monitoring Tools. RV (2013)
Christian Colombo, Gordon J. Pace
Recovery within long-running transactions. ACM Comput. Surv. 45 (3) (2013)
Mark Micallef, Christian Colombo
A Case Study on Graphically Modelling and Detecting Knowledge Mobility Risks. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 58 (2013)
Mark Anthony Cachia, Mark Micallef, Christian Colombo
Towards Incremental Mutation Testing. Electron. Notes Theor. Comput. Sci. 294 (2013)
Christian Colombo, Gordon J. Pace
Monitor-Oriented Compensation Programming Through Compensating Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 58 (2013)
Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace
Extensible Technology-Agnostic Runtime Verification FESCA (2013)
Christian Colombo, Gordon J. Pace, Patrick Abela
Safer asynchronous runtime monitoring using compensations. Formal Methods Syst. Des. 41 (3) (2012)
Christian Colombo, Gordon J. Pace
Fast-Forward Runtime Monitoring - An Industrial Case Study. RV (2012)
Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace
polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries. SEFM (2012)
Christian Colombo, Adrian Francalanza, Ian Grima
Simplifying Contract-Violating Traces FLACOS (2012)
Christian Colombo, Adrian Francalanza, Rudolph Gatt
Elarva: A Monitoring Tool for Erlang. RV (2011)
Christian Colombo, Andrew Gauci, Gordon J. Pace
LarvaStat: Monitoring of Statistical Properties. RV (2010)
Christian Colombo, Gordon J. Pace, Patrick Abela
Compensation-Aware Runtime Monitoring. RV (2010)
Christian Colombo, Gordon J. Pace, Gerardo Schneider
Safe Runtime Verification of Real-Time Properties. FORMATS (2009)
Christian Colombo, Gordon J. Pace, Gerardo Schneider
LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper). SEFM (2009)
Christian Colombo, Gordon J. Pace, Gerardo Schneider
Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties. FMICS (2008)