University of Malta

Christian Colombo
UOM Main Page
  * Home
  * Publications
  * Projects
  * Talks
  * Media
  * Links
  * Events
  * Tools
  * Other

  • RuMoTEL - A Prototype for Runtime Monitoring with Tamper-Evident Logs
  • Isolated monitoring with tamper-evident logs for secure runtime verification
  • Real-World Deployment of RV-TEE
  • End-to-end TEE case study based on RV and hardware 
  • Implementation of user-configurable distributed monitoring for JVM-based applications
  • Model-based testing for performance testing
  • Pruning automatically generated invariants for runtime verification
  • A Controlled Natural Language for Tax Fraud Detection
  • Extracting Runtime Monitors from Gherkin Specifications
  • Using symbolic execution to generate test cases for monitor analysis
  • Dependability and Error-Recovery in Security Intensive Financial Systems
  • A Hybrid Monitoring Framework for Financial Transactions
  • Discovering Model-Based Testing Limitations through Runtime Feedback


Externally Funded Projects

  • Digital Evidence Targeting covErt Cyberattacks through Timely Information Forensics (DETECTIF), MCST FUSION: R&I Research Excellence Programme (project page)
  • Lawful evidence cOllecting and Continuity plAtfoRm Development (LOCARD), Horizon2020 Project (project page)
  • Secure Communication in the Quantum Era, NATO-funded project, 2018-2022 (project page)
  • OPE is a project funded financed by the EU through the HORIZON 2020 Programme in which the Department of Computer Science of the University of Malta is involved. (project page)
  • Generating Online Monitors from Tests Automatically (GOMTA), MCST-funded project, 2013 (project page)
  • Dependability and Error-Recovery in Security Intensive Financial Systems, MCST-funded project, 2008-2011 (project page)

Last Updated: 14 February 2024

Log In back to UoM Homepage