.png)
Software Security
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.
People
Research Leads
Professor Tracy Hall
Chair in Software EngineeringCyber Security Research Centre (Software Engineering), DSI - Foundations, SCC (Software Engineering), Security Lancaster, Security Lancaster (Software Security)
Publications
View Publications
Projects
View Projects
SL:H2020: Cyber security cOmpeteNCe fOr Research anD InnovAtion (CONCORDIA)
01/01/2020 → 31/12/2022
Research