Publications - Christian Colombo - University of Malta

Google Scholar, ORCID, DBLP

2023

Runtime Verification for Trustworthy Computing, Robert Abela, Christian Colombo, Axel Curmi, Mattea Fenech, Mark Vella and Angelo Ferrando, Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy (AREA), Krakow, Poland, 2023. (PDF)
VEDRANDO: A Novel Way to Reveal Stealthy Attack Steps on Android through Memory Forensics, Jennifer Bellizzi, Eleonora Losiouk, Mauro Conti, Christian Colombo, and Mark Vella, JCP as part of the Special Issue Cyber Security and Digital Forensics, 3(3), 364-395, 2023. (PDF)
The Pedagogical Role of Philosophy in a Community of Inquiry, Luke Fenech and Christian Colombo, Malta Review of Educational Research, vol 17, no 1, pp. 99-114, June 2023 (Journal website) (PDF)
The human quest for meaning: Theatre as a vehicle for dialogue, Tyrone Grima and Christian Colombo, Ecumenica Journal: Performance and Religion, Spring 2023 edition. (Journal website) (PDF)
Using infrastructure-based agents to enhance forensic logging of third-party applications, Jennifer Bellizzi, Mark Vella, Christian Colombo, and Julio Hernandez-Castro, ICISSP, Lisbon, Portugal, 2023. (PDF) DOI:10.5220/0011634700003405

2022

Runtime Verification - A Hands-On Approach in Java, Christian Colombo, Gordon J. Pace, Springer 2022, ISBN 978-3-031-09266-4, pp. 1-190. (Link)
D-Cloud-Collector: Admissible Forensic Evidence from Mobile Cloud Storage, Mark Vella and Christian Colombo, IFIPSEC, Copenhagen, Denmark, 2022. (Preprint)
Responding to targeted stealthy attacks on Android using timely-captured memory dumps, Jennifer Bellizzi, Mark Vella, Christian Colombo, and Julio Hernandez-Castro, IEEE Access, 2022. (Link)
RV-TEE-Based Trustworthy Secure Shell Deployment: An Empirical Evaluation, Axel Curmi, Christian Colombo, and Mark Vella, Journal of Object Technology, Journal of Object Technology, 21(2), 1-15, 2022. (Preprint)

2021

PoPL: Proof-of-Presence and Locality, or how to secure financial transactions on your smartphone, Yonas Leguesse, Christian Colombo, Mark Vella, and Julio Hernandez-Castro, IEEE Access. (Link)
Secure Implementation of a Quantum-Future GAKE Protocol, Robert Abela, Christian Colombo, Peter Malo, Peter Sýs, Tomáš Fabšič, Ondrej Gallo, Viliam Hromada and Mark Vella, International Workshop on Security and Trust Management (STM), Darmstadt, Germany, 2021. (PDF)
RV-TEE: Secure Cryptographic Protocol Execution based on Runtime Verification, Mark Vella, Christian Colombo, Robert Abela, and Peter Špaček, Journal of Computer Virology and Hacking Techniques, 2021. (PDF)
Runtime Verification for Trustworthy Secure Shell Deployment, Axel Curmi, Christian Colombo, and Mark Vella, VORTEX, Virtual Aarhus, Denmark, 2021. (PDF)
Runtime Verification: Passing on the Baton, Christian Colombo, Gordon J. Pace, and Gerardo Schneider, Klaus Havelund's Festschrift, 2021. (PDF)
Responding to Living-Off-the-Land Tactics using Just-in-Time Memory Forensics (JIT-MF) for Android, Jennifer Bellizzi, Mark Vella, Christian Colombo, and Julio Hernandez-Castro, SECRYPT, 2021. (Link)
SpotCheck: On-Device Anomaly Detection for Android, Mark Vella and Christian Colombo, Conference on Security of Information and Networks (SIN), 2020. (Preprint)
Model-Based Static and Runtime Verification for Ethereum Smart Contracts, Shaun Azzopardi, Christian Colombo and Gordon Pace, Model-Driven Engineering and Software Development: 323-348, 2021.

2020

Real-time triggering of Android memory dumps for stealthy attack investigation, Jennifer Bellizzi, Mark Vella, Christian Colombo, and Julio Hernandez-Castro, Nordic Conference on Secure IT Systems (Nordsec), 2020. (Link)
Reducing the Forensic Footprint with Android Accessibility Attacks, Yonas Leguesse, Mark Vella, Christian Colombo, and Julio Hernandez-Castro, Workshop in Security and Trust Management, 2020. (Link)
Secure Communication in the Quantum Era: (Group) Key Establishment, Christian Colombo, María Isabel González Vasco, Rainer Steinwandt, and Pavol Zajac, in Advanced Technologies for Security Applications, NATO Science for Peace and Security, 2020. (Link)
Runtime Verification of Contracts with Themulus, Alberto Aranda Garca, Mara-Emilia Cambronero, Christian Colombo, Luis Llana, and Gordon J. Pace, in SEFM, Amsterdam, Netherlands, 2020. (PDF)
Towards a Comprehensive Solution for Secure Cryptographic Protocol Execution based on Runtime Verification, Christian Colombo and Mark Vella, in ForSE, Valletta, Malta, 2020. (PDF)
CLARVA: Model-Based Residual Verification of Java Programs, Shaun Azzopardi, Christian Colombo and Gordon Pace, in MODELSWARD, Valletta, Malta, 2020. (PDF)
A Technique for Automata-Based Verification with Residual Reasoning, Shaun Azzopardi, Christian Colombo and Gordon Pace, in MODELSWARD, Valletta, Malta, 2020. (PDF)
Themulus: A Timed Contract-Calculus, Alberto Aranda Garca, Mara-Emilia Cambronero, Christian Colombo, Luis Llana, and Gordon J. Pace, in MODELSWARD, Valletta, Malta, 2020.(PDF)

2019

A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software), César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, and various others, in FMSD 54(3): 279-335, 2019. (PDF)
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, and various others, CoRR abs/1902.03776 (2019). (PDF)
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. Ezio Bartocci, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo, and various others, STTT 21(1): 31-70 (2019). (PDF)

2018

Runtime Verification Conference 2018, Christian Colombo and Martin Leucker as editors, LNCS 11237, Springer.
COST Action IC1402: Runtime Verification beyond Monitoring, Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, Cesar Sanchez, Gerardo Schneider and Volker Stolz, in RV, Limassol, Cyprus, 2018. (PDF)
Considering Academia-Industry Projects Meta-Characteristics in Runtime Verification Design, Christian Colombo and Gordon Pace, in ISoLA, Limassol, Cyprus, 2018. (PDF)
Contracts over Smart Contracts: Recovering from Violations Dynamically, Christian Colombo, Joshua Ellul, and Gordon Pace, in ISoLA, Limassol, Cyprus, 2018. (PDF)
A Controlled Natural Language for Financial Services Compliance Checking, Shaun Azzopardi, Christian Colombo and Gordon Pace, in CNL, Co Kildare, Ireland, 2018. (PDF)
Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges, Christian Colombo and Gordon Pace, in Handbook of Runtime Verification - Introductory and Advanced Topics, 10457, 206-227, Springer, 2018. (PDF)

2017

Runtime Verification using Valour, Shaun Azzopardi, Christian Colombo, Jean Paul Ebejer, Edward Mallia, and Gordon Pace, RV-CuBES, Seattle, USA, 2017. (PDF)
Runtime Verification using Larva, Christian Colombo and Gordon Pace, RV-CuBES, Seattle, USA, 2017. (PDF)
Control-Flow Residual Analysis for Symbolic Automata, Shaun Azzopardi, Christian Colombo, and Gordon Pace, PrePost, Torino, Italy, 2017. (PDF)
Exploring the link between automatic specification inference and test suite quality, Luke Chircop, Christian Colombo, and Mark Micallef, PrePost, Torino, Italy, 2017. (PDF)

2016

Runtime Verification for Stream Processing Applications, Christian Colombo, Gordon Pace, Luke Camilleri, Claire Dimech, Reuben Farrugia, Jean Paul Grech, Alessio Magro, Andrew C Sammut, Kristian Zarb Adami, ISoLA, Corfu, Greece, 2016. (PDF)
A Model-Based Approach to Combining Static and Dynamic Verification Techniques, Shaun Azzopardi, Christian Colombo, and Gordon Pace, ISoLA, Corfu, Greece, 2016. (PDF)
First International Summer School on Runtime Verification - As Part of the ArVi COST Action 1402, Christian Colombo, Yliès Falcone, RV, Madrid, Spain, 2016. (PDF)
An Automata-Based Approach to Evolving Privacy Policies for Social Networks, Raúl Pardo, Christian Colombo, Gordon J. Pace, Gerardo Schneider, RV, Madrid, Spain, 2016. (PDF)
Using Gherkin to Extract Tests and Monitors for Safer Medical Device Interaction Design, Abigail Cauchi, Christian Colombo, Adrian Francalanza, Mark Micallef, Gordon Pace, in the Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016. (PDF)
A Controlled Natural Language For Tax Fraud Detection, Aaron Calafato, Christian Colombo, Gordon Pace and Brian Vella, CNL, Aberdeen, UK, 2016. (PDF)
Compliance Checking in the Open Payments Ecosystem, Shaun Azzopardi, Christian Colombo, Gordon Pace and Brian Vella, SEFM, Vienna, Austria, 2016. (PDF)
Organising LTL Monitors over Distributed Systems with a Global Clock, Christian Colombo and Ylies Falcone, in Formal Methods in System Design, 49(1-2): 109-158, 2016. (PDF)
Device-Centric Monitoring for Mobile Device Management, Luke Chircop, Christian Colombo and Gordon Pace, FESCA, Eindhoven, The Netherlands, 2016. (PDF)

2015

Using Control Flow Analysis to Improve the Effectiveness of Incremental Mutation Testing, Luke Bajada, Mark Micallef and Christian Colombo, IWPSE, Bergamo, Italy, 2015. (PDF)
BYOD for Android - Just add Java, Jessica Buttigieg, Mark Vella and Christian Colombo, TRUST, Crete, Greece, 2015. (PDF) Poster (PDF)
Investigating Instrumentation Techniques for ESB Runtime Verification, Christian Colombo, Gabriel Dimech, and Adrian Francalanza, SEFM, York, UK, 2015. (PDF)
A Controlled Natural Language for Business Intelligence Monitoring, Christian Colombo, Jean Paul Grech, and Gordon Pace, NLDB, Passau, Germany, 2015. (PDF)
Lessons learnt from using DSLs for Automated Software Testing, Mark Micallef and Christian Colombo, TAIC PART, Graz, Austria, 2015. (PDF)
Mutate my software, Mark Micallef and Christian Colombo, THINK Magazine, Issue 14, 2015. (Link)
Extracting Runtime Monitors from Tests, Christian Colombo, Mark Micallef, and Keith Spiteri, White paper, 2015. (PDF)
Device Centric Monitoring On Mobile Devices, Luke Chircop, Christian Colombo and Gordon Pace, internal report 03-WICT-2015, University of Malta, 2015. (PDF)
Extracting Monitors from JUnit Tests, Christian Colombo, Jonathan Micallef and Mark Micallef, internal report 02-WICT-2015, University of Malta, 2015. (PDF)
A Domain Specific Property Language For Fraud Detection To Support Agile Specification Development, Aaron Calafato, Christian Colombo and Gordon Pace, internal report 01-WICT-2015, University of Malta, 2015. (PDF)

2014

Organising LTL Monitors over Distributed Systems with a Global Clock, Christian Colombo and Ylies Falcone, RV, Toronto, Canada, 2014. (PDF)
Comprehensive Monitor-Oriented Compensation Programming, Christian Colombo and Gordon Pace, FESCA, Grenoble, France, 2014. (PDF)
Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing, Christian Colombo, Mark Micallef, and Mark Scerri, MBT, Grenoble, France, 2014. (PDF)
Monitoring Distributed Systems with Distributed PolyLarva, Ian Cassar, Christian Colombo, and Adrian Francalanza, Xjenza Online - Journal of The Malta Chamber of Scientists, 2014. (Link)
Lifelong Veriﬁcation of Software Systems, Christian Colombo, Mark Micallef, and Gordon Pace, internal report 01-WICT-2014, University of Malta, 2014. (PDF)
A Domain Specific Property Language For Fraud Detection To Support Agile Specification Development, Aaron Calafato, Christian Colombo, and Gordon Pace, internal report 02-WICT-2014, University of Malta, 2014. (PDF)
Applying Runtime Verification Techniques to an Enterprise Service Bus, Christian Colombo, Gabriel Dimech, and Adrian Francalanza, internal report 03-WICT-2014, University of Malta, 2014. (PDF)
Monitoring Distributed Systems with Distributed PolyLarva, Ian Cassar, Christian Colombo, and Adrian Francalanza, internal report 04-WICT-2014, University of Malta, 2014. (PDF)

2013

Runtime Verification and Compensations, Christian Colombo, PhD Thesis, University of Malta, 2013. (PDF)
SMock— A Test Platform for Monitoring Tools, Christian Colombo, Ruth Mizzi, Gordon Pace, RV, Rennes, France, 2013. (PDF)
Facilitating and extending software testing through monitoring techniques, Christian Colombo, Mark Micallef and Gordon Pace, White Paper, 2013. (PDF)
OSGiLarva: a Monitoring Framework Supporting OSGi’s Dynamicity, Yufang Dan, Nicolas Stouls, Christian Colombo, and Stéphane Frénot, International Journal on Advances in Security, 6(1&2), pp. 49-61, 2013. (PDF)
Extensible Technology Agnostic Runtime Verification, Christian Colombo, Adrian Francalanza, Ruth Mizzi and Gordon Pace, FESCA, Rome, Italy, 2013. (PDF)
Monitor-Oriented Compensation Programming Through Compensating Automata, Christian Colombo and Gordon Pace, ECEASST 58, 2013. (PDF)
A Case Study on Graphically Modelling and Detecting Knowledge Mobility Risks, Mark Micallef and Christian Colombo, ECEASST 58, 2013. (PDF)
Towards Incremental Mutation Testing, Mark Anthony Cachia, Mark Micallef and Christian Colombo, ENTCS 294, 2013. (PDF)
Addressing Practical Challenges of Mutation Testing, Mark Anthony Cachia, Mark Micallef and Christian Colombo, internal report 01-WICT-2012, University of Malta, 2013. (PDF)
Combining Testing and Runtime Verification, Christian Colombo, internal report 02-WICT-2012, University of Malta, 2013. (PDF)
Recovery within Long Running Transactions, Christian Colombo and Gordon Pace, ACM Computing Surveys, 45(3), 2013. (PDF) (BiBTeX entry)

2012

Fast-Forward Runtime Monitoring - An Industrial Case Study, Christian Colombo, and Gordon Pace, RV, Istanbul, Turkey, 2012. (PDF) (Bibtex Entry)
Simplifying Contract-Violating Traces, Christian Colombo, Adrian Francalanza, and Ian Grima, FLACOS, 2012. (PDF) (BiBTeX entry)
polyLarva: Runtime Verification with Configurable System-Monitor Resource-Aware Boundaries, Christian Colombo, Adrian Francalanza, Ruth Mizzi and Gordon Pace, Software Engineering and Formal Methods, 2012. (PDF) (BiBTeX entry)
Separating Compensation Concerns and Programming them with Compensating Automata, Christian Colombo and Gordon J. Pace, Department of Computer Science, University of Malta. Technical Report CS2012-01, 2012. (PDF) (BiBTeX entry) [for an updated version of the work see the PhD thesis further up in this list]
A Monitoring Approach for Dynamic Service-Oriented Architecture Systems, Yufang Dan, Nicolas Stouls, Stéphane Frénot and Christian Colombo, Service Computation, Nice, France, 2012. (PDF) (Bibtex Entry) [best paper award]
Programming Compensations for System-Monitor Synchronisation, Christian Colombo and Gordon Pace, internal report 03-WICT-2012, University of Malta, 2012. (PDF)
Towards a Specification-Based Correctness of Erlang Systems Through Asynchronous Monitoring, Christian Colombo and Adrian Francalanza, internal report 02-WICT-2012, University of Malta, 2012. (PDF)
Considerations for Monitoring Highly Concurrent Systems, Ruth Mizzi, Christian Colombo, Adrian Francalanza and Gordon Pace, internal report 01-WICT-2012, University of Malta, 2012. (PDF)
Safer Asynchronous Runtime Monitoring Using Compensations, Christian Colombo, Gordon Pace and Patrick Abela, in Formal Methods in System Design, 41(3): 269-294, 2012. (PDF) (BiBTeX entry)
Trusting the machine, Gordon Pace and Christian Colombo, THINK Magazine, Issue 2, 2012. (Link)

2011

Elarva: A Monitoring tool for Erlang, Christian Colombo, Adrian Francalanza and Rudolph Gatt, in RV, San Francisco, CA, USA, 2011. (PDF) (BiBTeX entry)
An Event-Driven Language for Cartographic Modelling of Knowledge in Software Development Organisations, Mark Micallef and Christian Colombo, Department of Computer Science, University of Malta. Technical Report CS2011-02, 2011. (PDF) (BiBTeX entry)
A Compensating Transaction Example in Twelve Notations, Christian Colombo and Gordon J. Pace, Department of Computer Science, University of Malta. Technical Report CS2011-01, 2011. (PDF) (BiBTeX entry)

2010

Compensation-Aware Runtime Monitoring, Christian Colombo, Gordon J. Pace and Patrick Abela, in RV, Malta, 2010. (PDF) (BiBTeX entry)
LarvaStat: Monitoring of Statistical Properties, Christian Colombo, Andrew Gauci and Gordon J. Pace, in RV, Malta, 2010.(PDF) (BiBTeX entry)
An Architecture Supporting Compensation-Aware Monitoring, Christian Colombo, Gordon J. Pace and Patrick Abela, internal report 01-WICT-2010, Malta. (PDF)
Dynamic Automata in Larva, John Paul Cassar, Christian Colombo and Gordon J. Pace, internal report 02-WICT-2010, Malta. (PDF)

2009

Slowdown Invariance of Timed Regular Expressions, Ingram Bondin, Gordon J. Pace and Christian Colombo, internal report 03-WICT-2009, Malta. (PDF)
Statistics and Runtime Verification, Andrew Gauci, Gordon J. Pace and Christian Colombo, internal report 02-WICT-2009, Malta. (PDF)
Offline Runtime Verification with Real-Time Properties: A Case Study, Christian Colombo, Gordon J. Pace and Patrick Abela, internal report 01-WICT-2009, Malta. (PDF)
Resource-Bounded Runtime Verification of Java Programs with Real-Time Properties, Christian Colombo, Gordon J. Pace and Gerardo Schneider, Department of Computer Science, University of Malta. Technical Report CS2009-01, 2009. (PDF) (BiBTeX entry)

LARVA - Safer Monitoring of Real-Time Java Programs, Christian Colombo, Gordon J. Pace and Gerardo Schneider, in SEFM 2009, Hanoi, Vietnam. (PDF) (BiBTeX entry)
Safe Runtime Verification of Real-Time Properties, Christian Colombo, Gordon J. Pace and Gerardo Schneider, in FORMATS 2009, Budapest, Hungary. (PDF) (BiBTeX entry)

2008

Practical Runtime Monitoring with Impact Guarantees of Java Programs with Real-Time Constraints, Christian Colombo, in MSc Thesis 2008, University of Malta. (PDF)
A Practical Approach to Runtime Verification of Real-Time Properties for Java Programs, Christian Colombo, Gordon J. Pace and Gerardo Schneider, in WICT 2008, Malta.
Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties, Christian Colombo, Gordon J. Pace and Gerardo Schneider, in FMICS 2008, Italy. (PDF) (BiBTeX entry)