Secure Implementation of a Quantum-Future GAKE Protocol. - Robert Abela; Christian Colombo 001; Peter Malo; Peter Sýs; Tomás Fabsic; Ondrej Gallo; Viliam Hromada; Mark Vella (STM, 2021)

Casting exploit analysis as a Weird Machine reconstruction problem. - Robert Abela; Mark Vella (CoRR, 2021)

RV-TEE: secure cryptographic protocol execution based on runtime verification. - Mark Vella; Christian Colombo 001; Robert Abela; Peter Spacek (J. Comput. Virol. Hacking Tech., 2021)

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)