2 citations · 4 across the 6 of their papers we have counts for
9 papers
Grounds for Suspicion: Physics-based Early Warnings for Stealthy Attacks on Industrial Control Systems
Mazen Azzam, Liliana Pasquale, Gregory Provan +1
Stealthy attacks on Industrial Control Systems can cause significant damage while evading detection. In this paper, instead of focusing on the detection of stealthy attacks, we aim…
Efficient Predictive Monitoring of Linear Time-Invariant Systems Under Stealthy Attacks
Mazen Azzam, Liliana Pasquale, Gregory Provan +1
Attacks on Industrial Control Systems (ICS) can lead to significant physical damage. While offline safety and security assessments can provide insight into vulnerable system compon…
On Adaptive Fairness in Software Systems
Ali Farahani, Liliana Pasquale, Amel Bennaceur +2
Software systems are increasingly making decisions on behalf of humans, raising concerns about the fairness of such decisions. Such concerns are usually attributed to flaws in algo…
Altruism and anxiety: Engagement with online community support initiatives (OCSIs) during Covid-19 lockdown in the UK and Ireland
Camilla Elphick, Avelie Stuart, Richard Philpot +8
Given concerns about mental health during periods of Covid-19 lockdown, it important to understand how engagement with online Covid-19 related material can affect mood. In the UK a…
Building trust in digital policing: A scoping review of community policing apps
Camilla Elphick, Richard Philpot, Min Zhang +10
Perceptions of police trustworthiness are linked to citizens' willingness to cooperate with police. Trust can be fostered by introducing accountability mechanisms, or by increasing…
Optimal by Design: Model-Driven Synthesis of Adaptation Strategies for Autonomous Systems
Yehia Elrakaiby, Paola Spoletini, Bashar Nuseibeh
Many software systems have become too large and complex to be managed efficiently by human administrators, particularly when they operate in uncertain and dynamic environments and…