12 citations · 13 across the 8 of their papers we have counts for
10 papers
A Requirement-Based Framework for Engineering Adaptive Authentication
Alzubair Hassan, Alkabashi Alnour, Bashar Nuseibeh +1
Authentication is crucial to confirm that an individual or entity trying to perform an action is actually who or what they claim to be. In dynamic environments such as the Internet…
Sustainable Adaptive Security
Liliana Pasquale, Kushal Ramkumar, Wanling Cai +3
With software systems permeating our lives, we are entitled to expect that such systems are secure by design, and that such security endures throughout the use of these systems and…
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…
Incidents Are Meant for Learning, Not Repeating: Sharing Knowledge About Security Incidents in Cyber-Physical Systems
Faeq Alrimawi, Liliana Pasquale, Deepak Mehta +2
Cyber-physical systems (CPSs) are part of most critical infrastructures such as industrial automation and transportation systems. Thus, security incidents targeting CPSs can have d…
Are You Ready? Towards the Engineering of Forensic-Ready Systems
George Grispos, Jesus Garcia-Galan, Liliana Pasquale +1
As security incidents continue to impact organisations, there is a growing demand for systems to be 'forensic ready'- to maximise the potential use of evidence whilst minimising th…
Towards Adaptive Compliance
Jesús García-Galán, Liliana Pasquale, George Grispos +1
Mission critical software is often required to comply with multiple regulations, standards or policies. Recent paradigms, such as cloud computing, also require software to operate…
Engineering Adaptive Digital Investigations using Forensics Requirements
Liliana Pasquale. Yijun Yu, Luca Cavallaro, Mazeiar Salehie +2
A digital forensic investigation aims to collect and analyse the evidence necessary to demonstrate a potential hypothesis of a digital crime. Despite the availability of several di…
Fuzzy Time in LTL
Achille Frigeri, Liliana Pasquale, Paola Spoletini
In the last years, the adoption of active systems has increased in many fields of computer science, such as databases, sensor networks, and software engineering. These systems are…