Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Author
Title
Subject
Issue Date
Material Type
Language
Access Rights
Help
OAR@UM Help
FAQs
OAR@UM Policies
Submission Forms
Sign on to:
My OAR@UM
OAR@UM
Search
Search:
All of OAR@UM
Faculty of Information and Communication Technology
Department of Computer Science
Dissertations - FacICTCS
Scholarly Works - FacICTCS
for
Current filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 91-100 of 103 (Search time: 0.016 seconds).
previous
1
...
7
8
9
10
11
next
Item hits:
Issue Date
Title
Author(s)
2021
Runtime verification for trustworthy secure shell deployment
Curmi, Axel
;
Colombo, Christian
;
Vella, Mark Joseph
2019
Applying runtime verification to group key establishment
Colombo, Christian
;
González Vasco, María Isabel
;
Vella, Mark Joseph
;
Zajac, Pavol
2021
Responding to living-off-the-land tactics using just-in-time memory forensics (JIT-MF) for Android
Bellizzi, Jennifer
;
Vella, Mark Joseph
;
Colombo, Christian
;
Hernandez-Castro, Julio
2020
Real-time triggering of Android memory dumps for stealthy attack investigation
Bellizzi, Jennifer
;
Vella, Mark Joseph
;
Colombo, Christian
;
Hernandez-Castro, Julio
2020
Reducing the forensic footprint with Android accessibility attacks
Leguesse, Yonas
;
Vella, Mark Joseph
;
Colombo, Christian
;
Hernandez-Castro, Julio
2021
PoPL : proof-of-presence and locality, or how to secure financial transactions on your smartphone
Leguesse, Yonas
;
Colombo, Christian
;
Vella, Mark Joseph
;
Hernandez-Castro, Julio
2023
The human quest for meaning : theatre as a vehicle for dialogue
Grima, Tyrone
;
Colombo, Christian
2023
Using infrastructure-based agents to enhance forensic logging of third-party applications
Bellizzi, Jennifer
;
Vella, Mark Joseph
;
Colombo, Christian
;
Hernandez-Castro, Julio
2023
VEDRANDO : a novel way to reveal stealthy attack steps on android through memory forensics
Bellizzi, Jennifer
;
Losiouk, Eleonora
;
Conti, Mauro
;
Colombo, Christian
;
Vella, Mark Joseph
2023
Runtime verification for trustworthy computing
Abela, Robert
;
Colombo, Christian
;
Curmi, Axel
;
Fenech, Mattea
;
Vella, Mark Joseph
;
Ferrando, Angelo
Discover
Author
55
Pace, Gordon J.
16
Francalanza, Adrian
16
Micallef, Mark
16
Vella, Mark Joseph
11
Schneider, Gerardo
8
Azzopardi, Shaun
7
Falcone, Yliès
6
Chircop, Luke
6
Hernandez-Castro, Julio
.
next >
Subject
32
Computer software -- Verification
29
Computer software -- Development
22
Aspect-oriented programming
20
Real-time data processing
16
Computer programs -- Verification
14
Computer software -- Security mea...
14
Software engineering
10
Computer software -- Testing
9
Autonomous distributed systems
.
next >