Using Weak Bisimulation for Enterprise Integration Architecture Formal Verification–I. - Ernest Cachia; Mark Vella (ECBS, 2007)

Danger Theory and Intrusion Detection: Possibilities and Limitations of the Analogy. - Mark Vella; Marc Roper; Sotirios Terzis (ICARIS, 2010)

Distress Detection (Poster Abstract). - Mark Vella; Sotirios Terzis; Marc Roper (RAID, 2012)

Distress detection. - Mark Vella (2012)

WeXpose: Towards on-Line Dynamic Analysis of Web Attack Payloads using Just-In-Time Binary Modification. - Jennifer Bellizzi; Mark Vella (SECRYPT, 2015)

SUDUTA: Script UAF Detection Using Taint Analysis. - John Galea; Mark Vella (STM, 2015)

Using thumbnail affinity for fragmentation point detection of JPEG files. - Brandon Birmingham; Reuben A. Farrugia; Mark Vella (EUROCON, 2017)

Memory Forensics of Insecure Android Inter-app Communications. - Mark Vella; Rachel Cilia (ICISSP, 2017)

AndroNeo: Hardening Android Malware Sandboxes by Predicting Evasion Heuristics. - Yonas Leguesse; Mark Vella; Joshua Ellul (WISTP, 2017)

Enhancing Virtual Machine Introspection-Based Memory Analysis with Event Triggers. - Matthew Muscat; Mark Vella (CloudCom, 2018)

Volatile memory-centric investigation of SMS-hijacked phones: a Pushbullet case study. - Mark Vella; Vishwas Rudramurthy (FedCSIS, 2018)

Towards a Comprehensive Solution for Secure Cryptographic Protocol Execution based on Runtime Verification. - Christian Colombo 001; Mark Vella (ICISSP, 2020)

Real-Time Triggering of Android Memory Dumps for Stealthy Attack Investigation. - Jennifer Bellizzi; Mark Vella; Christian Colombo 001; Julio C. Hernandez-Castro (NordSec, 2020)

SpotCheck: On-Device Anomaly Detection for Android. - Mark Vella; Christian Colombo 001 (SIN, 2020)

Reducing the Forensic Footprint with Android Accessibility Attacks. - Yonas Leguesse; Mark Vella; Christian Colombo 001; Julio C. Hernandez-Castro (STM, 2020)

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

Responding to Living-Off-the-Land Tactics using Just-In-Time Memory Forensics (JIT-MF) for Android. - Jennifer Bellizzi; Mark Vella; Christian Colombo 001; Julio C. Hernandez-Castro (SECRYPT, 2021)

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)

PoPL: Proof-of-Presence and Locality, or How to Secure Financial Transactions on Your Smartphone. - Yonas Leguesse; Christian Colombo 001; Mark Vella; Julio C. Hernandez-Castro (IEEE Access, 2021)

EtherClue: Digital investigation of attacks on Ethereum smart contracts. - Simon Joseph Aquilina; Fran Casino; Mark Vella; Joshua Ellul; Constantinos Patsakis (CoRR, 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)

D-Cloud-Collector: Admissible Forensic Evidence from Mobile Cloud Storage. - Mark Vella; Christian Colombo 001 (SEC, 2022)

Responding to Targeted Stealthy Attacks on Android Using Timely-Captured Memory Dumps. - Jennifer Bellizzi; Mark Vella; Christian Colombo 001; Julio César Hernández Castro (IEEE Access, 2022)

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

Using Infrastructure-Based Agents to Enhance Forensic Logging of Third-Party Applications. - Jennifer Bellizzi; Mark Vella; Christian Colombo 001; Julio C. Hernandez-Castro (ICISSP, 2023)

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

VEDRANDO: A Novel Way to Reveal Stealthy Attack Steps on Android through Memory Forensics. - Jennifer Bellizzi; Eleonora Losiouk; Mauro Conti; Christian Colombo 001; Mark Vella (J. Cybersecur. Priv., 2023)

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 001; Julio C. Hernandez-Castro (EuroUSEC, 2024)

Leveraging complex event processing for monitoring and automatically detecting anomalies in Ethereum-based blockchain networks. - Jesús Rosa-Bilbao; Juan Boubeta-Puig; Jesús Lagares-Galán; Mark Vella (Comput. Stand. Interfaces, 2025)