12 citations · 34 across the 10 of their papers we have counts for
3 papers · 1 filter
Runtime Verification for Trustworthy Computing
Robert Abela, Christian Colombo, Axel Curmi +3
Autonomous and robotic systems are increasingly being trusted with sensitive activities with potentially serious consequences if that trust is broken. Runtime verification techniqu…
Responding to Living-Off-the-Land Tactics using Just-in-Time Memory Forensics (JIT-MF) for Android
Jennifer Bellizzi, Mark Vella, Christian Colombo +1
Digital investigations of stealthy attacks on Android devices pose particular challenges to incident responders. Whereas consequential late detection demands accurate and comprehen…
SpotCheck: On-Device Anomaly Detection for Android
Mark Vella, Christian Colombo
In recent years the PC has been replaced by mobile devices for many security sensitive operations, both from a privacy and a financial standpoint. While security mechanisms are dep…