Software provides the essential realization of computing services including the provisioning of their secure operations. We take a broad software systems perspective (code, middleware, OS) on researching software security to cover design, analysis and assessment. Our competencies include (a) specification and analysis of secure code, (b) techniques for the detection, prediction and repair of code defects, (c) analytical + experimental techniques for robustness/security testing, and (d) conducting security risk assessments. We are also exploring empirical software engineering techniques including the use of ML/AI techniques to support both the design and analysis for security.
.png)
Members
Loading People
Publications
View Publications
Projects
View Projects
SL: Understanding and Developing Effective Communications in Security
18/07/2022 → 17/01/2024
Research
SL: Managing Cyber Security Supply Chain Risk In Critical National Infrastructure
01/01/2022 → 30/06/2025
Research
The Effectiveness of Social Media Screening and the Impact of Increased Anonymity and Encryption in Policing
01/01/2022 → 31/12/2022
Research
SL: Using Design Fiction to Identify Future Vulnerabilities in Bio-IOT
15/11/2021 → 31/03/2022
Research
SL: Health IoT Privacy and Security Transferred to Engineering Requirements (HIPSTER)
01/08/2021 → 30/06/2023
Research
Future Places: A Digital Economy Centre on Understanding Place Through Pervasive Computing
01/10/2020 → 30/09/2025
Research
SL:H2020: Cyber security cOmpeteNCe fOr Research anD InnovAtion (CONCORDIA)
01/01/2020 → 31/03/2023
Research
Secure Software without the Experts
01/09/2016 → 01/09/2020
Research