Our publications

Home | Research | Processing Engineering & Testing Research Group | Our publications

Our publications

  • 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.
  • RVsec: Towards a Comprehensive Technology Stack for Secure Deployment of Software Monitors, Christian Colombo, Axel Curmi, and Robert Abela, VORTEX, Vienna, Austria, 2024. 
  • 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.
  • 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.
  • 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. 
  • Runtime Verification - A Hands-On Approach in Java, Christian Colombo, Gordon J. Pace, Springer 2022, ISBN 978-3-031-09266-4, pp. 1-190.
  • D-Cloud-Collector: Admissible Forensic Evidence from Mobile Cloud Storage, Mark Vella and Christian Colombo, IFIPSEC, Copenhagen, Denmark, 2022. 
  • 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.
  • 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. 
  • 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. 
  • 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.
  • 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. 
  • Runtime Verification for Trustworthy Secure Shell Deployment, Axel Curmi, Christian Colombo, and Mark Vella, VORTEX, Virtual Aarhus, Denmark, 2021. 
  • Runtime Verification: Passing on the Baton, Christian Colombo, Gordon J. Pace, and Gerardo Schneider, Klaus Havelund's Festschrift, 2021. 
  • 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.
  • SpotCheck: On-Device Anomaly Detection for Android, Mark Vella and Christian Colombo, Conference on Security of Information and Networks (SIN), 2020.
  • 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.
  • 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. 
  • 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. 
  • 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. 
  • Towards a Comprehensive Solution for Secure Cryptographic Protocol Execution based on Runtime Verification, Christian Colombo and Mark Vella, in ForSE, Valletta, Malta, 2020. 
  • Exploring the link between automatic specification inference and test suite quality, Luke Chircop, Christian Colombo, and Mark Micallef, PrePost, Torino, Italy, 2017.
  • 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.
  • Using Control Flow Analysis to Improve the Effectiveness of Incremental Mutation Testing, Luke Bajada, Mark Micallef and Christian Colombo, IWPSE, Bergamo, Italy, 2015.
  • BYOD for Android - Just add Java, Jessica Buttigieg, Mark Vella and Christian Colombo, TRUST, Crete, Greece, 2015.
  • Mutate my software, Mark Micallef and Christian Colombo, THINK Magazine, Issue 14, 2015.
  • Lessons learnt from using DSLs for Automated Software Testing, Mark Micallef and Christian Colombo, TAIC PART, Graz, Austria, 2015.
  • Extracting Monitors from JUnit Tests, Christian Colombo, Jonathan Micallef and Mark Micallef, internal report 02-WICT-2015, University of Malta, 2015.
  • Leveraging P2P Networks to address the Test Scenario Explosion Problem, Mark Micallef, Conrad Attard, Andrea Mangion, Sebastian Attard, ACM/IEEE International Conference on Software Engineering (ICSE), Hyderabad, India, 2014.
  • Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing, Christian Colombo, Mark Micallef, and Mark Scerri, International Workshop on Model Basted Testing (MBT), Grenoble, France, 2014. 
  • Lifelong Verification of Software Systems, Christian Colombo, Mark Micallef, and Gordon Pace, internal report 01-WICT-2014, University of Malta, 2014.
  • SMock— A Test Platform for Monitoring Tools, Christian Colombo, Ruth Mizzi, Gordon Pace, International Conference on Runtime Verification (RV), Rennes, France, 2013.
  • Facilitating and extending software testing through monitoring techniques, Christian Colombo, Mark Micallef and Gordon Pace, White Paper, 2013.
  • A Case Study on Graphically Modelling and Detecting Knowledge Mobility Risks, Mark Micallef and Christian Colombo, International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), Rome, Italy, 2013.
  • Addressing Practical Challenges of Mutation Testing, Mark Anthony Cachia, Mark Micallef and Christian Colombo, International Workshop on Validation Strategies for Software Evolution (VSSE), Rome, Italy, 2013.
  • Towards Incremental Mutation Testing, Mark Anthony Cachia, Mark Micallef and Christian Colombo, internal report 01-WICT-2012, University of Malta, 2013.
  • Combining Testing and Runtime Verification, Christian Colombo, internal report 02-WICT-2012, University of Malta, 2013.
  • An Event-Driven Cartographic Approach to Modelling Software Engineering Knowledge, International Conference on Knowledge Management and Information Sharing, Paris, France 2011.
  • A Language for Modeling Software Development Life Cycles, International Conference on Software Engineering and Knowledge Engineering (SEKE), 2009.
  • Towards an Information Driven Software Development Life Cycle, International Conference on Software Engineering Research and Practice (SERP), Las Vegas, USA, 2008.
  • A Multi-Tier Multi-Role Security Framework for E-Commerce Systems, IEEE International Conference on Engineering of Computer Based Systems (ECBS), Tucson, USA 2007.

Study at UM

https://www.um.edu.mt/r/research/pest/publications