a server room with loads of servers in cabinets

Distributed Systems

Distributed systems are paramount in our increasingly interconnected world, as they provide the backbone for numerous industries and applications. Across domains such as cyber physical systems, cloud computing and more, distributed systems empower the seamless functioning of complex technologies, making them an essential component in today's digital landscape. Our research develops novel techniques to ensure security at the core of systems. Hence, we prioritise security and integrate it seamlessly into the system design process, ensuring robust protection from potential threats. We go beyond conventional measures by employing and advancing practical formal verification techniques specifically tailored to verify the security of new and existing systems.

EC SANCUS

Loading People

We couldn't find anybody who matched your criteria

Dr Onur Ascigil

Lecturer in Computer Science

Security Lancaster, Security Lancaster (Distributed Systems)

enable JavaScript to view email address B42, B - Floor, InfoLab21

Dr Matthew Bradbury

Lecturer in Cyber Security

Security Lancaster, Security Lancaster (Distributed Systems), Security Lancaster (Systems Security)

enable JavaScript to view email address B61, B - Floor, InfoLab21

Dr Marco Caminati

Lecturer in Computer Science

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

enable JavaScript to view email address

Dr Amit Chopra

Senior Lecturer

Lancaster Intelligent, Robotic and Autonomous Systems Centre, LIRA - Fundamentals, SCC (Software Engineering), Security Lancaster (Distributed Systems)

enable JavaScript to view email address

Dr Yehia Elkhatib

Senior Lecturer

Centre of Excellence in Environmental Data Science, DSI - Environment, SCC (Distributed Systems), Security Lancaster, Security Lancaster (Distributed Systems), Security Lancaster (Systems Security)

enable JavaScript to view email address C17, C - Floor, InfoLab21

Professor Peter Garraghan

Professor in Distributed Systems

DSI - Foundations, MSF Supervisors 2019/20, SCC (Distributed Systems), Security Lancaster, Security Lancaster (Distributed Systems), Security Lancaster (Secure Machine Learning and Intelligence), Security Lancaster (Software Security)

enable JavaScript to view email address B26, B - Floor, InfoLab21

Dr Antonios Gouglidis

Senior 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)

enable JavaScript to view email address B54, B - Floor, InfoLab21

Ovini Gunasekera

PhD student

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

enable JavaScript to view email address

Dominic Lindsay

PhD student

Security Lancaster, Security Lancaster (Distributed Systems), Security Lancaster (Systems Security)

enable JavaScript to view email address

Dr Yang Lu

Lecturer in Cyber Security

Lancaster Intelligent, Robotic and Autonomous Systems Centre, LIRA - Fundamentals, LIRA - Security and Defence, LIRA - Smart Cities and Mobility, Security Lancaster, Security Lancaster (Distributed Systems), Security Lancaster (Secure Machine Learning and Intelligence), Security Lancaster (Systems Security)

enable JavaScript to view email address

Thomas Miller

PhD student

Security Lancaster, Security Lancaster (Distributed Systems), Security Lancaster (Systems Security)

enable JavaScript to view email address

Professor Qiang Ni

Professor

Cyber Security Research Centre (Communications), DSI - Foundations, Lancaster Intelligent, Robotic and Autonomous Systems Centre, LIRA - Security and Defence, SCC (Communication Systems), Security Lancaster, Security Lancaster (Academic Centre of Excellence), Security Lancaster (Distributed Systems), Security Lancaster (Networks), Security Lancaster (Secure Machine Learning and Intelligence), Security Lancaster (Systems Security)

enable JavaScript to view email address B27, B - Floor, InfoLab21

Dr Andrew Sogokon

Senior Research Associate

Lancaster Intelligent, Robotic and Autonomous Systems Centre, LIRA - Security and Defence, Security Lancaster, Security Lancaster (Distributed Systems), Security Lancaster (Software Security), Security Lancaster (Systems Security)

enable JavaScript to view email address +44 (0)7392 993793

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 (Secure Machine Learning and Intelligence), Security Lancaster (Software Security), Security Lancaster (Systems Security)

enable JavaScript to view email address +44 (0)1524 521801

Dr Uraz Turker

Lecturer in Computer Science

Lancaster Intelligent, Robotic and Autonomous Systems Centre, LIRA - Fundamentals, LIRA - Security and Defence, Security Lancaster, Security Lancaster (Distributed Systems), Security Lancaster (Secure Machine Learning and Intelligence), Security Lancaster (Software Security), Security Lancaster (Systems Security)

enable JavaScript to view email address

Dr Wenjuan Yu

International Lecturer (BJTU) in Computer Science

SCC (Communication Systems), Security Lancaster, Security Lancaster (Distributed Systems), Security Lancaster (Networks), Security Lancaster (Systems Security)

enable JavaScript to view email address

Dr Zhengxin Yu

Senior Research Associate

Security Lancaster, Security Lancaster (Distributed Systems), Security Lancaster (Secure Machine Learning and Intelligence), Security Lancaster (Systems Security)

enable JavaScript to view email address

Distributed Systems

EC SANCUS

Dr Onur Ascigil

Dr Matthew Bradbury

Dr Marco Caminati

Dr Amit Chopra

Dr Yehia Elkhatib

Professor Peter Garraghan

Dr Antonios Gouglidis

Ovini Gunasekera

Dominic Lindsay

Dr Yang Lu

Thomas Miller

Professor Qiang Ni

Dr Andrew Sogokon

Professor Neeraj Suri

Dr Uraz Turker

Dr Wenjuan Yu

Dr Zhengxin Yu