Browse by Supervisor

Thomas, Richard James ORCID: 0000-0002-7199-1265 (2019). A systematic development of a secure architecture for the European Rail Traffic Management System. University of Birmingham. Ph.D.

Alruhaily, Nada Massoud (2018). Analysis and improvements of behaviour-based malware detection mechanisms. University of Birmingham. Ph.D.

McMahon Stone, Christopher (2021). Automated analysis of security protocol implementations. University of Birmingham. Ph.D.

Thomas, Sam Lloyd (2018). Backdoor detection systems for embedded devices. University of Birmingham. Ph.D.

Novakovic, Christopher (2015). Computing and estimating information leakage with a quantitative point-to-point information flow model. University of Birmingham. Ph.D.

Hicks, Christopher Richard Allden ORCID: 0000-0002-6340-004X (2020). Cryptographic key management for the vehicles of tomorrow. University of Birmingham. Ph.D.

Tziakouris, Giannis (2017). Economics-driven approach for self-securing assets in cloud. University of Birmingham. Ph.D.

Singh, Rajiv Ranjan ORCID: 0000-0003-1808-3433 (2022). Modelling and verification of security requirements and stealthiness in security protocols. University of Birmingham. Ph.D.