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.
Loading People
We couldn't find anybody who matched your criteria
Security Lancaster, Security Lancaster (Distributed Systems)
enable JavaScript to view email address
B42, B - Floor, InfoLab21
Security Lancaster, Security Lancaster (Distributed Systems), Security Lancaster (Systems Security)
enable JavaScript to view email address
B61, B - Floor, InfoLab21
Security Lancaster, Security Lancaster (Distributed Systems), Security Lancaster (Software Security)
Lancaster Intelligent, Robotic and Autonomous Systems Centre, LIRA - Fundamentals, SCC (Software Engineering), Security Lancaster (Distributed Systems)
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
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
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
Security Lancaster, Security Lancaster (Distributed Systems), Security Lancaster (Software Security)
Security Lancaster, Security Lancaster (Distributed Systems), Security Lancaster (Systems 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)
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
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)
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
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)
SCC (Communication Systems), Security Lancaster, Security Lancaster (Distributed Systems), Security Lancaster (Networks), Security Lancaster (Systems Security)
Security Lancaster, Security Lancaster (Distributed Systems), Security Lancaster (Secure Machine Learning and Intelligence), Security Lancaster (Systems Security)