research
∙
05/12/2021
Responding to Living-Off-the-Land Tactics using Just-in-Time Memory Forensics (JIT-MF) for Android
Digital investigations of stealthy attacks on Android devices pose parti...
share
research
∙
02/23/2021
SpotCheck: On-Device Anomaly Detection for Android
In recent years the PC has been replaced by mobile devices for many secu...
research
∙
02/11/2019
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring -- Activity Report of Working Group 1
This report presents the activities of the first working group of the CO...
research
∙
11/16/2018
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
Runtime verification is an area of formal methods that studies the dynam...
research
∙
08/24/2017
Exploring the Link Between Test Suite Quality and Automatic Specification Inference
While no one doubts the importance of correct and complete specification...
research
∙
08/24/2017