Mark Vella

ORCID

Publication Activity (10 Years)

Years Active: 2007-2025
Publications (10 Years): 27

Top Venues

University of Strathclyde, Glasgow, UK (PHD)

Education History

University of Strathclyde, Glasgow, UK

PHD

Publications

Jesús Rosa-Bilbao, Juan Boubeta-Puig, Jesús Lagares-Galán, Mark Vella
Leveraging complex event processing for monitoring and automatically detecting anomalies in Ethereum-based blockchain networks. Comput. Stand. Interfaces 91 (2025)
Jennifer Bellizzi, Eleonora Losiouk, Mauro Conti, Christian Colombo, Mark Vella
VEDRANDO: A Novel Way to Reveal Stealthy Attack Steps on Android through Memory Forensics. J. Cybersecur. Priv. 3 (3) (2023)
Robert Abela, Christian Colombo, Axel Curmi, Mattea Fenech, Mark Vella, Angelo Ferrando
Runtime Verification for Trustworthy Computing. AREA@ECAI (2023)
Jennifer Bellizzi, Mark Vella, Christian Colombo, Julio C. Hernandez-Castro
Using Infrastructure-Based Agents to Enhance Forensic Logging of Third-Party Applications. ICISSP (2023)
Jennifer Bellizzi, Mark Vella, Christian Colombo, Julio César Hernández Castro
Responding to Targeted Stealthy Attacks on Android Using Timely-Captured Memory Dumps. IEEE Access 10 (2022)
Mark Vella, Christian Colombo
D-Cloud-Collector: Admissible Forensic Evidence from Mobile Cloud Storage. SEC (2022)
Axel Curmi, Christian Colombo, Mark Vella
RV-TEE-Based Trustworthy Secure Shell Deployment: An Empirical Evaluation. J. Object Technol. 21 (2) (2022)
Jennifer Bellizzi, Mark Vella, Christian Colombo, Julio Hernandez-Castro
Responding to Living-Off-the-Land Tactics using Just-In-Time Memory Forensics (JIT-MF) for Android. SECRYPT (2021)
Axel Curmi, Christian Colombo, Mark Vella
Runtime verification for trustworthy secure shell deployment. VORTEX@ISSTA (2021)
Robert Abela, Mark Vella
Casting exploit analysis as a Weird Machine reconstruction problem. CoRR (2021)
Robert Abela, Christian Colombo, Peter Malo, Peter Sýs, Tomás Fabsic, Ondrej Gallo, Viliam Hromada, Mark Vella
Secure Implementation of a Quantum-Future GAKE Protocol. STM (2021)
Jennifer Bellizzi, Mark Vella, Christian Colombo, Julio Hernandez-Castro
Responding to Living-Off-the-Land Tactics using Just-in-Time Memory Forensics (JIT-MF) for Android. CoRR (2021)
Mark Vella, Christian Colombo, Robert Abela, Peter Spacek
RV-TEE: secure cryptographic protocol execution based on runtime verification. J. Comput. Virol. Hacking Tech. 17 (3) (2021)
Mark Vella, Christian Colombo
SpotCheck: On-Device Anomaly Detection for Android. CoRR (2021)
Yonas Leguesse, Christian Colombo, Mark Vella, Julio Hernandez-Castro
PoPL: Proof-of-Presence and Locality, or How to Secure Financial Transactions on Your Smartphone. IEEE Access 9 (2021)
Simon Joseph Aquilina, Fran Casino, Mark Vella, Joshua Ellul, Constantinos Patsakis
EtherClue: Digital investigation of attacks on Ethereum smart contracts. CoRR (2021)
Mark Vella, Christian Colombo
SpotCheck: On-Device Anomaly Detection for Android. SIN (2020)
Jennifer Bellizzi, Mark Vella, Christian Colombo, Julio C. Hernandez-Castro
Real-Time Triggering of Android Memory Dumps for Stealthy Attack Investigation. NordSec (2020)
Yonas Leguesse, Mark Vella, Christian Colombo, Julio C. Hernandez-Castro
Reducing the Forensic Footprint with Android Accessibility Attacks. STM (2020)
Christian Colombo, Mark Vella
Towards a Comprehensive Solution for Secure Cryptographic Protocol Execution based on Runtime Verification. ICISSP (2020)
Mark Vella, Vishwas Rudramurthy
Volatile memory-centric investigation of SMS-hijacked phones: a Pushbullet case study. FedCSIS (2018)
Matthew Muscat, Mark Vella
Enhancing Virtual Machine Introspection-Based Memory Analysis with Event Triggers. CloudCom (2018)
Yonas Leguesse, Mark Vella, Joshua Ellul
AndroNeo: Hardening Android Malware Sandboxes by Predicting Evasion Heuristics. WISTP (2017)
Mark Vella, Rachel Cilia
Memory Forensics of Insecure Android Inter-app Communications. ICISSP (2017)
Brandon Birmingham, Reuben A. Farrugia, Mark Vella
Using thumbnail affinity for fragmentation point detection of JPEG files. EUROCON (2017)
Jennifer Bellizzi, Mark Vella
WeXpose: Towards on-Line Dynamic Analysis of Web Attack Payloads using Just-In-Time Binary Modification. SECRYPT (2015)
John Galea, Mark Vella
SUDUTA: Script UAF Detection Using Taint Analysis. STM (2015)
Mark Vella, Sotirios Terzis, Marc Roper
Distress Detection (Poster Abstract). RAID (2012)
Mark Vella, Marc Roper, Sotirios Terzis
Danger Theory and Intrusion Detection: Possibilities and Limitations of the Analogy. ICARIS (2010)
Ernest Cachia, Mark Vella
Using Weak Bisimulation for Enterprise Integration Architecture Formal Verification--I. ECBS (2007)

Mark Vella.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mark Vella