Postgraduate research students

Abdullahi Abubakar

Postgraduate Research Student

Vibhor Agarwal

Postgraduate Research Student

Peter Arthurs

Postgraduate Research Student

Ksenia Budykho

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

Daniel Cyrus

Postgraduate Research Student

Ali Finlinson

Postgraduate Research Student

Paul Fortescue

How clever vehicles might make better use of infrastructure

Nick Frymann

Postgraduate Research Student

Jack Glover

Postgraduate Research Student

Matt Griffin

Verifying hyperproperties for security

Stephen Holmes

Postgraduate Research Student

Qiushi Huang

Postgraduate Research Student

Kent Leeding

Postgraduate Research Student

Jia Liu

Postgraduate Research Student

Long Meng

PhD Student

Rhys Miller

Security analysis of systems using emerging 5G technologies

Fivos Ntelemis

Postgraduate Research Student

Parthi Parthipan

Postgraduate Research Student

Bruno Sterner

Post quantum cryptography

Chen Tang

Postgraduate Research Student

Eleni Vafeiadi Bila

Postgraduate Research Student

Dany Varghese

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

Duong Vo

Postgraduate Research Student

Xilu Wang

Postgraduate Research Student

Hao Wen

Postgraduate Research Student

Matthew Woodruff

Postgraduate Research Student

Guoyang Xie

Postgraduate Research Student