![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Mark Vella
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j6]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: 103882 (2025) - 2023
- [j5]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): 364-395 (2023) - [c20]Jennifer Bellizzi, Mark Vella, Christian Colombo, Julio C. Hernandez-Castro:
Using Infrastructure-Based Agents to Enhance Forensic Logging of Third-Party Applications. ICISSP 2023: 389-401 - [c19]Robert Abela, Christian Colombo, Axel Curmi, Mattea Fenech, Mark Vella, Angelo Ferrando:
Runtime Verification for Trustworthy Computing. AREA@ECAI 2023: 49-62 - 2022
- [j4]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: 35172-35218 (2022) - [j3]Axel Curmi
, Christian Colombo, Mark Vella
:
RV-TEE-Based Trustworthy Secure Shell Deployment: An Empirical Evaluation. J. Object Technol. 21(2): 2:1-15 (2022) - [c18]Mark Vella
, Christian Colombo
:
D-Cloud-Collector: Admissible Forensic Evidence from Mobile Cloud Storage. SEC 2022: 161-178 - 2021
- [j2]Yonas Leguesse
, Christian Colombo, Mark Vella
, Julio C. Hernandez-Castro:
PoPL: Proof-of-Presence and Locality, or How to Secure Financial Transactions on Your Smartphone. IEEE Access 9: 168600-168612 (2021) - [j1]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): 229-248 (2021) - [c17]Axel Curmi
, Christian Colombo
, Mark Vella
:
Runtime verification for trustworthy secure shell deployment. VORTEX@ISSTA 2021: 30-34 - [c16]Jennifer Bellizzi, Mark Vella
, Christian Colombo, Julio C. Hernandez-Castro:
Responding to Living-Off-the-Land Tactics using Just-In-Time Memory Forensics (JIT-MF) for Android. SECRYPT 2021: 356-369 - [c15]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: 103-121 - [i4]Mark Vella, Christian Colombo:
SpotCheck: On-Device Anomaly Detection for Android. CoRR abs/2102.11773 (2021) - [i3]Simon Joseph Aquilina, Fran Casino, Mark Vella, Joshua Ellul, Constantinos Patsakis:
EtherClue: Digital investigation of attacks on Ethereum smart contracts. CoRR abs/2104.05293 (2021) - [i2]Jennifer Bellizzi, Mark Vella, Christian Colombo, Julio C. Hernandez-Castro:
Responding to Living-Off-the-Land Tactics using Just-in-Time Memory Forensics (JIT-MF) for Android. CoRR abs/2105.05510 (2021) - [i1]Robert Abela
, Mark Vella:
Casting exploit analysis as a Weird Machine reconstruction problem. CoRR abs/2109.13100 (2021) - 2020
- [c14]Christian Colombo, Mark Vella:
Towards a Comprehensive Solution for Secure Cryptographic Protocol Execution based on Runtime Verification. ICISSP 2020: 765-774 - [c13]Jennifer Bellizzi
, Mark Vella
, Christian Colombo
, Julio C. Hernandez-Castro
:
Real-Time Triggering of Android Memory Dumps for Stealthy Attack Investigation. NordSec 2020: 20-36 - [c12]Mark Vella
, Christian Colombo:
SpotCheck: On-Device Anomaly Detection for Android. SIN 2020: 20:1-20:6 - [c11]Yonas Leguesse
, Mark Vella
, Christian Colombo
, Julio C. Hernandez-Castro
:
Reducing the Forensic Footprint with Android Accessibility Attacks. STM 2020: 22-38
2010 – 2019
- 2018
- [c10]Matthew Muscat, Mark Vella:
Enhancing Virtual Machine Introspection-Based Memory Analysis with Event Triggers. CloudCom 2018: 133-136 - [c9]Mark Vella
, Vishwas Rudramurthy:
Volatile memory-centric investigation of SMS-hijacked phones: a Pushbullet case study. FedCSIS 2018: 607-616 - 2017
- [c8]Brandon Birmingham, Reuben A. Farrugia
, Mark Vella:
Using thumbnail affinity for fragmentation point detection of JPEG files. EUROCON 2017: 3-8 - [c7]Mark Vella, Rachel Cilia:
Memory Forensics of Insecure Android Inter-app Communications. ICISSP 2017: 481-486 - [c6]Yonas Leguesse, Mark Vella, Joshua Ellul
:
AndroNeo: Hardening Android Malware Sandboxes by Predicting Evasion Heuristics. WISTP 2017: 140-152 - 2015
- [c5]Jennifer Bellizzi, Mark Vella:
WeXpose: Towards on-Line Dynamic Analysis of Web Attack Payloads using Just-In-Time Binary Modification. SECRYPT 2015: 5-15 - [c4]John Galea, Mark Vella:
SUDUTA: Script UAF Detection Using Taint Analysis. STM 2015: 136-151 - 2012
- [b1]Mark Vella:
Distress detection. University of Strathclyde, Glasgow, UK, 2012 - [c3]Mark Vella, Sotirios Terzis
, Marc Roper:
Distress Detection (Poster Abstract). RAID 2012: 384-385 - 2010
- [c2]Mark Vella, Marc Roper, Sotirios Terzis
:
Danger Theory and Intrusion Detection: Possibilities and Limitations of the Analogy. ICARIS 2010: 276-289
2000 – 2009
- 2007
- [c1]Ernest Cachia, Mark Vella:
Using Weak Bisimulation for Enterprise Integration Architecture Formal Verification--I. ECBS 2007: 63-70
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 18:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint