1. OAR@UM

Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 1-10 of 38 (Search time: 0.02 seconds).
Item hits:
Issue DateTitleAuthor(s)
2022Responding to targeted stealthy attacks on android using timely-captured memory dumpsBellizzi, Jennifer; Vella, Mark Joseph; Colombo, Christian; Hernandez-Castro, Julio
2021EtherClue : digital investigation of attacks on Ethereum smart contractsAquilina, Simon Joseph; Casino, Fran; Vella, Mark Joseph; Ellul, Joshua; Patsakis, Constantinos
2022D-Cloud-Collector : admissible forensic evidence from mobile cloud storageVella, Mark Joseph; Colombo, Christian
2022RV-TEE-based trustworthy secure shell deployment : an empirical evaluationCurmi, Axel; Colombo, Christian; Vella, Mark Joseph
2007Using weak bisimulation for enterprise integration architecture formal verification--ICachia, Ernest; Vella, Mark Joseph
2014-11Using dynamic binary analysis for tracking pointer dataGalea, John; Vella, Mark Joseph
2021RV-TEE : secure cryptographic protocol execution based on runtime verificationVella, Mark Joseph; Colombo, Christian; Abela, Robert; Špaček, Peter
2013-11Towards a tunable, sandbox-independent approach for exploring hidden behavior in malwareGatt, James; Vella, Mark Joseph; Micallef, Mark
2021Runtime verification for trustworthy secure shell deploymentCurmi, Axel; Colombo, Christian; Vella, Mark Joseph
2006Formal verification of enterprise integration architecturesCachia, Ernest; Vella, Mark Joseph

Discover