People

Academics

Mark Ryan

Prof. Mark Ryan

Professor of Computer Security
Head of research group

  • Applied cryptography and security protocols
  • Analysis of security systems
  • Cloud computing security
  • Internet of things security
  • Privacy
  • Electronic voting
  • Mobile phone protocols
Tom Chothia

Dr Tom Chothia

Senior Lecturer

  • Statistics and information theory
  • Anonymity
  • Distributed systems
  • RFID
Flavio Garcia

Dr Flavio Garcia

Senior Lecturer
Senior Birmingham Fellow

  • Embedded device security
  • Automotive security
  • Reverse engineering
  • Cryptographic protocols
  • Primitives and privacy

Dr David Oswald

Lecturer

  • Embedded system security
  • Side-channel analysis
  • Implementation attacks
  • Real-world attacks
  • RFID

Dr David Galindo

Senior Lecturer

  • Design and analysis of cryptographic protocols
  • Distributed ledger technologies
  • Electronic voting
  • Privacy-enhancing technologies
  • Societal aspects of computer security
Christophe Petit

Dr Christophe Petit

Lecturer

  • Classical and post-quantum cryptography
  • Cryptanalysis
  • Cryptographic protocls
  • Computer algebra
  • Algorithmic number theory
Eike Ritter

Dr Eike Ritter

Senior Lecturer

  • Modelling and analysing protocols
  • Operating systems
  • Security of pervasive systems
Ian Batten

Dr Ian Batten

Lecturer

  • Cyber security education
  • Network security
  • Secure systems management
  • Computer systems architecture
Mihai Ordean

Dr Mihai Ordean

Lecturer

  • Secure cloud computing
  • Systems security
  • ICS & IoT security
  • Authentication
David Parker

Dr David Parker

Reader

  • Quantitative verification
  • Verification of probabilistic systems
  • Real-time analysis
Rami Bahsoon

Dr Rami Bahsoon

Senior Lecturer

  • Cloud computing security
  • Software engineering for security
  • Self-adaptive, self-aware and managed software
  • Economics-driven software engineering
  • Architecture-level testing for security

Postdoctoral Researchers

Chris Novakovic

Dr Chris Novakovic

Research Fellow

  • Formal verification
  • Web security and privacy
  • Information flow control
  • Distributed systems
  • Security-centric usability
Jiangshan Yu

Dr Jiangshan Yu

Honorary Research Fellow

  • Applied cryptography
  • Authentication and verification
  • Cryptographic keys
  • Secure cloud storage
magnifying-glass

PhD Students

Nada Alruhaily

Nada Alruhaily

Research student

  • Malware detection
Michael Denzel

Michael Denzel

Research student

  • Trusted computing
  • Trusted Input/Output
  • Industrial Control Systems
  • Operating systems and system security
Jan van den Herrewegen

Jan van den Herrewegen

Research student

  • Automotive security
Chris Hicks

Chris Hicks

Research student

  • Cryptographic key management
  • Embedded systems security
  • Applied cryptography
Chris McMahon-Stone

Chris McMahon-Stone

Research student

  • Automated protocol learning
  • Mobile apps
  • IoT
  • Wireless security
Michael Oxford

Michael Oxford

Research student

  • Probabilistic verification
  • Certificate transparency
Andreea Radu

Andreea-Ina Radu

Research student

  • Automotive security
  • Embedded devices
Rajiv Singh

Rajiv Singh

Research student

  • Protocols
  • Measurement
  • Stealth attacks
Richard Thomas

Richard Thomas

Research student

  • Rail security
  • Industrial control system security
  • IoT security
  • GSM and wireless security
Sam Thomas

Sam Thomas

Research student

  • Backdoor detection
  • Embedded security
  • Malware
  • Firmware
Giannis Tziakouris

Giannis Tziakouris

Research student

  • Cloud security
Sebastian Vasile

Sebastian Vasile

Research student

  • IoT security
  • Embedded devices

Support Staff

Padma Reddy

Padma Reddy

Business Development Manager

Garfield Benjamin

Dr Garfield Benjamin

Research Project Officer