BlockChain Based Certificate Verification Platform. - Axel Curmi; Frankie Inguanez (BIS (Workshops), 2018)

Academic Achievement Recognition and Verification Using Blockchain. - Axel Curmi; Frankie Inguanez (Euro-Par Workshops, 2019)

Runtime verification for trustworthy secure shell deployment. - Axel Curmi; Christian Colombo 001; Mark Vella (VORTEX@ISSTA, 2021)

RV-TEE-Based Trustworthy Secure Shell Deployment: An Empirical Evaluation. - Axel Curmi; Christian Colombo 001; Mark Vella (J. Object Technol., 2022)

Runtime Verification for Trustworthy Computing. - Robert Abela; Christian Colombo 001; Axel Curmi; Mattea Fenech; Mark Vella; Angelo Ferrando 001 (AREA@ECAI, 2023)

RVsec: Towards a Comprehensive Technology Stack for Secure Deployment of Software Monitors. - Christian Colombo 001; Axel Curmi; Robert Abela (VORTEX@ISSTA, 2024)