Text of coding on the whole picture

Software Security

Software Security
People
Publications
Projects

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

Tracy Hall

Professor Tracy Hall

Chair in Software Engineering

Cyber Security Research Centre (Software Engineering), DSI - Foundations, SCC (Software Engineering), Security Lancaster, Security Lancaster (Software Security)

+44 (0)1524 595012
Yiqun Chen

Yiqun Chen

PhD student, Research Associate

Security Lancaster, Security Lancaster (Software Security), Security Lancaster (Systems Security)

Peter Garraghan

Dr Peter Garraghan

Lecturer in Distributed Systems

DSI - Foundations, Lancaster Intelligent, Robotic and Autonomous Systems Centre, MSF Supervisors 2019/20, SCC (Distributed Systems), Security Lancaster, Security Lancaster (Distributed Systems), Security Lancaster (Software Security)

B26, B - Floor, InfoLab21
Antonios Gouglidis

Dr Antonios Gouglidis

Lecturer

Cyber Security Research Centre (Security Group), SCC (Security), Security Lancaster, Security Lancaster (Academic Centre of Excellence), Security Lancaster (Distributed Systems), Security Lancaster (Software Security), Security Lancaster (Systems Security)

B54, B - Floor, InfoLab21
Tracy Hall

Professor Tracy Hall

Chair in Software Engineering

Cyber Security Research Centre (Software Engineering), DSI - Foundations, SCC (Software Engineering), Security Lancaster, Security Lancaster (Software Security)

+44 (0)1524 595012
Neeraj Suri

Professor Neeraj Suri

Distinguished Professor & Chair in Cyber Security

Cyber Security Research Centre (Security Group), SCC (Security), Security Lancaster, Security Lancaster (Distributed Systems), Security Lancaster (Software Security), Security Lancaster (Systems Security)

+44 (0)7539 427396
Charles Weir

Dr Charles Weir

Research Fellow and Lecturer

SCC (Security), Security Lancaster, Security Lancaster (Software Security), Security Lancaster (Systems Security)

+44 (0)7876 027350 B55, B - Floor, InfoLab21

Publications

View Publications

Projects

View Projects

SL:H2020: Cyber security cOmpeteNCe fOr Research anD InnovAtion (CONCORDIA)
01/01/2020 → 31/12/2022
Research