The full list of publications, including earlier ones, can be found on OAR@UM. 

See also Google Scholar, ORCID, DBLP, Scopus 

The latest papers, including those yet to appear, are listed under the map below. 

Open the map as its own page

2026

• Christian Colombo, Clare Dixon, Mario Gleirscher and Taylor T. Johnson. Hardness in Autonomous Systems: Towards a Compositional Framework across Design, Integration, Assurance, and Operation. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences (Theme issue: Engineering Reliable Autonomous Systems). (to appear)
• Runtime Verification Across the Trust Boundary: Lessons from a Connected-Fleet Pipeline, Damian Navarro, Robert Abela, Christian Colombo, Axel Curmi, AREA, Naples, Italy, 2026. (Preprint)
• Teachers’ role in fostering digital trust and mediating ethical engagement with artificial intelligence, Zammit, L., Colombo, C., Agius, M., Fenech Scholz, C., Tirazona, R. Malta Review of Educational Research, vol 20 no 1, pp. 302-323, June 2026. (Journal website) (PDF)
• RV-TEE for Post-Quantum Digital Signatures: Trustworthy Dilithium Deployment, Adriano D'Alessandro, Angelo Ferrando and Christian Colombo, VORTEX, Brussels, Belgium, 2026. (Abstract) 
• Marie Farrell, Matt Luckcuck, Angelo Ferrando, Rafael C. Cardoso, and others. Engineering Reliable Autonomous Systems: Challenges and Solutions. CoRR abs/2606.23760, 2026. (Link)

2025

• FLARE — Monitoring for the Regulatory Requirements of a Drone Case Study, Sean Fenech, Christian Colombo, Gordon Pace, Axel Curmi, SETTA, Oxford, UK, 2025. (Preprint)
• Code Attestation for Monitor Compromise Detection, Matthew Mifsud and Christian Colombo, VASSAL, Graz, Austria, 2025. (Abstract) 

2024

• A Metric to Assess the Reliability of Crowd-sourced SUS Scores: A Case Study on the PoPLar Authentication Tool, Yonas Leguesse, Mark Vella, Christian Colombo, and Julio Hernandez-Castro, EuroUSEC, 2024. (Link)
• RVsec: Towards a Comprehensive Technology Stack for Secure Deployment of Software Monitors, Christian Colombo, Axel Curmi, and Robert Abela, VORTEX, Vienna, Austria, 2024. (Preprint)
• An AI Pilot Bootcamp Exploring the Creative Relationship of Us and Tech, Vanessa Camilleri, Christian Colombo, Stephen Bezzina, Marouska Vella Bugeja, and Carl James Debono, Malta Review of Educational Research, vol 18 no 2, pp. 368-387, December 2024 (Journal website) (PDF)
• Interest beyond Violation: On Points-of-Interest in Runtime Verification, Christian Colombo, Gordon J. Pace, and Gerardo Schneider, SpecifyThis, ISoLA, Hersonissos, Crete, 2024. (Preprint)
  
• Runtime Verification and AI: Addressing Pragmatic Regulatory Challenges, Christian Colombo, Gordon Pace and Dylan Seychell, Verification and Learning for Assured Autonomy, AISOLA, Hersonissos, Crete, 2024. (Preprint)

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, 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)