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