Mark Vella

According to our database, Mark Vella authored at least 29 papers between 2007 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

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

2023

VEDRANDO: A Novel Way to Reveal Stealthy Attack Steps on Android through Memory Forensics.

Jennifer Bellizzi, Eleonora Losiouk, Mauro Conti, Christian Colombo, Mark Vella

J. Cybersecur. Priv., July, 2023

Runtime Verification for Trustworthy Computing.

Robert Abela, Christian Colombo, Axel Curmi, Mattea Fenech, Mark Vella, Angelo Ferrando

Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, 2023

Using Infrastructure-Based Agents to Enhance Forensic Logging of Third-Party Applications.

Jennifer Bellizzi, Mark Vella, Christian Colombo, Julio C. Hernandez-Castro

Proceedings of the 9th International Conference on Information Systems Security and Privacy, 2023

2022

RV-TEE-Based Trustworthy Secure Shell Deployment: An Empirical Evaluation.

Axel Curmi, Christian Colombo, Mark Vella

J. Object Technol., 2022

Responding to Targeted Stealthy Attacks on Android Using Timely-Captured Memory Dumps.

Jennifer Bellizzi, Mark Vella, Christian Colombo, Julio César Hernández Castro

IEEE Access, 2022

D-Cloud-Collector: Admissible Forensic Evidence from Mobile Cloud Storage.

Mark Vella, Christian Colombo

Proceedings of the ICT Systems Security and Privacy Protection, 2022

2021

RV-TEE: secure cryptographic protocol execution based on runtime verification.

Mark Vella, Christian Colombo, Robert Abela, Peter Spacek

J. Comput. Virol. Hacking Tech., 2021

Casting exploit analysis as a Weird Machine reconstruction problem.

Robert Abela, Mark Vella

CoRR, 2021

EtherClue: Digital investigation of attacks on Ethereum smart contracts.

Simon Joseph Aquilina, Fran Casino, Mark Vella, Joshua Ellul, Constantinos Patsakis

CoRR, 2021

PoPL: Proof-of-Presence and Locality, or How to Secure Financial Transactions on Your Smartphone.

Yonas Leguesse, Christian Colombo, Mark Vella, Julio C. Hernandez-Castro

IEEE Access, 2021

Secure Implementation of a Quantum-Future GAKE Protocol.

Robert Abela, Christian Colombo, Peter Malo, Peter Sýs, Tomás Fabsic, Ondrej Gallo, Viliam Hromada, Mark Vella

Proceedings of the Security and Trust Management - 17th International Workshop, 2021

Responding to Living-Off-the-Land Tactics using Just-In-Time Memory Forensics (JIT-MF) for Android.

Jennifer Bellizzi, Mark Vella, Christian Colombo, Julio C. Hernandez-Castro

Proceedings of the 18th International Conference on Security and Cryptography, 2021

Runtime verification for trustworthy secure shell deployment.

Axel Curmi, Christian Colombo, Mark Vella

Proceedings of the VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, 2021

2020

Reducing the Forensic Footprint with Android Accessibility Attacks.

Yonas Leguesse, Mark Vella, Christian Colombo, Julio C. Hernandez-Castro

Proceedings of the Security and Trust Management - 16th International Workshop, 2020

SpotCheck: On-Device Anomaly Detection for Android.

Mark Vella, Christian Colombo

Proceedings of the SIN 2020: 13th International Conference on Security of Information and Networks, 2020

Real-Time Triggering of Android Memory Dumps for Stealthy Attack Investigation.

Jennifer Bellizzi, Mark Vella, Christian Colombo, Julio C. Hernandez-Castro

Proceedings of the Secure IT Systems - 25th Nordic Conference, NordSec 2020, Virtual Event, 2020

Towards a Comprehensive Solution for Secure Cryptographic Protocol Execution based on Runtime Verification.

Christian Colombo, Mark Vella

Proceedings of the 6th International Conference on Information Systems Security and Privacy, 2020

2018

Volatile memory-centric investigation of SMS-hijacked phones: a Pushbullet case study.

Mark Vella, Vishwas Rudramurthy

Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, 2018

Enhancing Virtual Machine Introspection-Based Memory Analysis with Event Triggers.

Matthew Muscat, Mark Vella

Proceedings of the 2018 IEEE International Conference on Cloud Computing Technology and Science, 2018

2017

AndroNeo: Hardening Android Malware Sandboxes by Predicting Evasion Heuristics.

Yonas Leguesse, Mark Vella, Joshua Ellul

Proceedings of the Information Security Theory and Practice, 2017

Memory Forensics of Insecure Android Inter-app Communications.

Mark Vella, Rachel Cilia

Proceedings of the 3rd International Conference on Information Systems Security and Privacy, 2017

Using thumbnail affinity for fragmentation point detection of JPEG files.

Brandon Birmingham, Reuben A. Farrugia, Mark Vella

Proceedings of the IEEE EUROCON 2017 -17th International Conference on Smart Technologies, 2017

2015

SUDUTA: Script UAF Detection Using Taint Analysis.

John Galea, Mark Vella

Proceedings of the Security and Trust Management - 11th International Workshop, 2015

WeXpose: Towards on-Line Dynamic Analysis of Web Attack Payloads using Just-In-Time Binary Modification.

Jennifer Bellizzi, Mark Vella

Proceedings of the SECRYPT 2015, 2015

2012

Distress detection.

Mark Vella

PhD thesis, 2012

Distress Detection (Poster Abstract).

Mark Vella, Sotirios Terzis, Marc Roper

Proceedings of the Research in Attacks, Intrusions, and Defenses, 2012

2010

Danger Theory and Intrusion Detection: Possibilities and Limitations of the Analogy.

Mark Vella, Marc Roper, Sotirios Terzis

Proceedings of the Artificial Immune Systems, 9th International Conference, 2010

2007

Using Weak Bisimulation for Enterprise Integration Architecture Formal Verification--I.

Ernest Cachia, Mark Vella

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007