26 citations · 86 across the 16 of their papers we have counts for
19 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…
Diagnosing Unknown Attacks in Smart Homes Using Abductive Reasoning
Kushal Ramkumar, Wanling Cai, John McCarthy +3
Security attacks are rising, as evidenced by the number of reported vulnerabilities. Among them, unknown attacks, including new variants of existing attacks, technical blind spots…
Security in Online Freelance Software Development: A case for Distributed Security Responsibility
Irum Rauf, Tamara Lopez, Thein Tun +2
Secure software is a cornerstone to safe and resilient digital ecosystems. It offers strong foundation to protect users' sensitive data and guard against cyber-threats. The rapidly…
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…
On Specifying for Trustworthiness
Dhaminda B. Abeywickrama, Amel Bennaceur, Greg Chance +12
As autonomous systems (AS) increasingly become part of our daily lives, ensuring their trustworthiness is crucial. In order to demonstrate the trustworthiness of an AS, we first ne…
The case for Zero Trust Digital Forensics
Christoper Neale, Ian Kennedy, Blain Price +1
It is imperative for all stakeholders that digital forensics investigations produce reliable results to ensure the field delivers a positive contribution to the pursuit of justice…
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…
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…
Structured Information Retrieval Strategies for Localising Software Changes
Qiuchi Li, Yijun Yu, Dawei Song +1
During software maintenance and evolution, developers need to deal with a large number of change requests by modifying existing code or adding code into the system. An efficient ta…
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…
Designing Privacy-aware Internet of Things Applications
Charith Perera, Mahmoud Barhamgi, Arosha K. Bandara +3
Internet of Things (IoT) applications typically collect and analyse personal data that can be used to derive sensitive information about individuals. However, thus far, privacy con…
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…
Privacy-by-Design Framework for Assessing Internet of Things Applications and Platforms
Charith Perera, Ciaran McCormick, Arosha K. Bandara +2
The Internet of Things (IoT) systems are designed and developed either as standalone applications from the ground-up or with the help of IoT middleware platforms. They are designed…
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…