Postgraduate research students

Peter Arthurs

Postgraduate Research Student

Ksenia Budykho

Investigating logic-based formalisms in order to analyse privacy properties of protocol, using Tamarin

Paul Fortescue

How clever vehicles might make better use of infrastructure

Nick Frymann

Postgraduate Research Student

Daniel Gardham

Attribute-based signatures in privacy-preserving applications

Matt Griffin

Verifying hyperproperties for security

Stephen Holmes

Postgraduate Research Student

Qiushi Huang

Postgraduate Research Student

Kent Leeding

Postgraduate Research Student

Jia Liu

PhD student

Qiqi Liu

PhD Student

Shiqing Liu

PhD Student

Long Meng

PhD Student

Rhys Miller

Security analysis of systems using emerging 5G technologies

Fivos Ntelemis

Postgraduate Research Student

Sakshyam Panda

Application of game theory in cyber security economics

Bruno Sterner

Post quantum cryptography

Dany Varghese

Advantages of one-shot meta interpretive learning in the domain of plant disease detection

Xilu Wang

PhD Student

Hao Wen

Postgraduate Research Student

Matthew Woodruff

Postgraduate Research Student

Guoyang Xie

Postgraduate Research Student

Hangyu Zhu

Postgraduate Research Student