Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 91-100 of 103 (Search time: 0.016 seconds).
Item hits:
Issue DateTitleAuthor(s)
2021Runtime verification for trustworthy secure shell deploymentCurmi, Axel; Colombo, Christian; Vella, Mark Joseph
2019Applying runtime verification to group key establishmentColombo, Christian; González Vasco, María Isabel; Vella, Mark Joseph; Zajac, Pavol
2021Responding to living-off-the-land tactics using just-in-time memory forensics (JIT-MF) for AndroidBellizzi, Jennifer; Vella, Mark Joseph; Colombo, Christian; Hernandez-Castro, Julio
2020Real-time triggering of Android memory dumps for stealthy attack investigationBellizzi, Jennifer; Vella, Mark Joseph; Colombo, Christian; Hernandez-Castro, Julio
2020Reducing the forensic footprint with Android accessibility attacksLeguesse, Yonas; Vella, Mark Joseph; Colombo, Christian; Hernandez-Castro, Julio
2021PoPL : proof-of-presence and locality, or how to secure financial transactions on your smartphoneLeguesse, Yonas; Colombo, Christian; Vella, Mark Joseph; Hernandez-Castro, Julio
2023The human quest for meaning : theatre as a vehicle for dialogueGrima, Tyrone; Colombo, Christian
2023Using infrastructure-based agents to enhance forensic logging of third-party applicationsBellizzi, Jennifer; Vella, Mark Joseph; Colombo, Christian; Hernandez-Castro, Julio
2023VEDRANDO : a novel way to reveal stealthy attack steps on android through memory forensicsBellizzi, Jennifer; Losiouk, Eleonora; Conti, Mauro; Colombo, Christian; Vella, Mark Joseph
2023Runtime verification for trustworthy computingAbela, Robert; Colombo, Christian; Curmi, Axel; Fenech, Mattea; Vella, Mark Joseph; Ferrando, Angelo