Academic staff working in Security, Privacy and Trust
| Member | Interests |
|---|---|
| Dr Myrto Arapinis | Verification of cryptographic protocols, verification of security properties, detection of attacks, formal models, and protocol composition. |
| Prof David Aspinall | Software security and verification, network security and AI/ML methods, secure programming and formal methods for security. |
| Dr Michele Ciampi | Cryptography with emphasis on zero-knowledge protocol, secure multi-party computation, blockchain technology and non-malleable cryptographic protocol. |
| Dr Tariq Elahi | Broadly, privacy-engineering for communication networks and distributed systems. Applied tools and methods for anti-surveillance, censorship resistance, anonymous communications, the Internet of behaviours, and secure and private next-generation communication technologies (e.g. Satellite Internet). |
| Dr Marc Juarez | Network traffic analysis, anonymous communications, applied machine learning to security and privacy, adversarial machine learning, and algorithmic bias. |
| Prof Elham Kashefi | Quantum cryptography. |
| Prof Aggelos Kiayias | Broad perspective on cryptography and Cyber Security with emphasis on blockchain systems, e-voting protocols, digital content distribution, privacy and identity management. |
| Dr Nadin Kokciyan | Multi-agent systems, computational argumentation, and privacy in social software. |
| Dr Markulf Kohlweiss | Verification of cryptographic implementations, cryptographic currencies and zero-knowledge proof systems, privacy and anti-surveillance, ethics in cryptography. |
| Dr Jingjie Li | User-centric security and privacy: understanding human factors of security and privacy and designing more secure and private systems for emerging digital technologies. |
| Dr Chris Xiaoxuan Lu | Safety and Reliability of Mobile Robotics, Side Channels in Internet of Things, Usable Biometrics for Wearables, Identity and Location Privacy, Mixed Reality. |
| Dr Tiejun Ma | Risk and Decision Analytics. |
| Dr Yuvraj Patel | Computer systems including security in concurrency and operating systems. |
| Prof Paul Patras | Artificial intelligence for network traffic analytics, performance optimisation, security and privacy, explainability, high-speed data stream processing. |
| Dr Petros Wallden | Quantum Cryptography, Quantum Computation and Quantum Information Theory. |
| Dr Daniel Woods | Economics of security and privacy focusing on cyber insurance, risk quantification and incident response. |
Affiliated staff
| Member | Interests |
|---|---|
| Dr Stefano Albrecht | Autonomous agents and multi-agent systems, reasoning about the behaviour of interacting agents, applications to cyber security. |
| Mr Paul Anderson | Secure configuration and management of computing infrastructure. |
| Prof Stuart Anderson | Dependable Systems. In particular socio-technical systems, resilience of such systems and how Social Science and Informatics provide a unique perspective on the conception, design, deployment and operation of computer-based systems. |
| Prof James Cheney | Programming languages, databases, logic/verification. Applications to provenance, scientific data management, and security. |
| Dr Chris Heunen | Semantics of quantum theory and programming languages; category theory; quantum logic; functional analysis. |
| Prof Mahesh Marina | Mobile authentication and privacy, and distributed intrusion detection. |
| Prof Vijay Nagarajan | Hardware/software support for reliability, availability, and security. |
| Prof Gordon Plotkin | Algebraic specification and formal software development; correctness of modular systems; resource and security certification for mobile code; security and static analysis. |
| Prof Ram Ramamoorthy | Autonomous robotics, Robot learning, Safe and Explainable Artificial Intelligence. |
| Prof Michael Rovatsos | Human-friendly AI approaches to privacy in data-driven collaborative Web systems. Value-sensitive algorithm design, fairness and transparency in collective intelligence applications. |
| Prof Don Sannella | Resource certification for mobile code; security and static analysis. |
| Dr Rik Sarkar | Privacy preserving queries for location and trajectory data. Anonymity through clustering and aggregation. |
| Dr Ian Stark | Mobile security and its verification. Formal models of systems and architecture, including security-oriented capability hardware. |
| Prof Philip Wadler | Programming languages, functional languages, type systems, gradual types, session types, concurrency and distribution. |
Some former staff members
| Member | Interests |
|---|---|
| Prof Ross Anderson | Security engineering, security economics, side channels, adversarial machine learning, security sustainability, protocols, payments, technology policy, cybercrime. |
| Dr Liam O'Connor | Formal Specification and Verification, Programming Languages, Concurrency, Theorem Proving, Algorithmic Verification, Trustworthy Software Engineering. |
| Dr Kami Vaniea | Human factors of security and privacy, particularly focusing on supporting users in making good security decisions. |
| Dr Maria Wolters | Privacy and security aspects of mHealth and eHealth, in particular usable security. |
Some PhD alumni
| Member | Interests |
|---|---|
| David Butler | Formal verification of multi-party computation. |
| Henry Clausen | Traffic microstructures and network anomaly detection. |
| Sheung Chi (Arthur) Chan | Formal models of provenance information. |
| Mina Doosti | Quantum cryptography and quantum cryptanalysis, quantum computing. |
| Robert Flood | Network Intrusion datasets and detection models, robustness and verification. |
| Alexandru Gheorghiu | Quantum cryptography. |
| Andriana Gkaniatsou | Analysis of low-level implementations of cryptographic protocols. |
| Joseph Hallett | Authorization logics. |
| Yuhui Lin | Formal modelling and verification of network security. |
| Marcin Szymczak | Application of programming language techniques in Bayesian reasoning. |
| Adam Jenkins | Usable software updating for system administrators. |
| Dimitris Karakostas | Decentralized systems, cryptographic applications and software architecture. |
| Dilara Kekulluoglu | Privacy and large scale data analysis. |
| Thomas Kerber | Privacy, and computational models in cryptography. |
| Mikhail Volkhov | Malleable Zero-Knowledge Proofs and Applications. |
| Lorenzo Martinico | Trusted Execution for Private and Secure Computation: a Composable Approach. |
| Ibrahim Ahmed | Artificial intelligence and cyber security. |
| Sara S. Albakry | User privacy control in the Internet of Things. |
| Kholoud Althobaiti | Usability of anti-phishing approaches, particularly URL readability. |
| Alexandru Cojocaru | Quantum computing. |
| Andrew Faulds | System Configuration language usability. |
| Robert Flood | Data science and network security. |
| Weili Fu | Provenance for configuration language security. |
| Muhammad Ishaq | Cryptography, MPC and its applications, blockchain. |
| Nikolaos Lamprou | E-voting. |
| Yun Lu | Cryptography, differential privacy, provable security, blockchain. |
| Konstantinos Mitropoulos | Cryptography and hardware, blockchains, applied security. |
| Georgios Panagiotakos | Provable security of Bitcoin and cryptocurrency protocols. |
| Valentin Radu | Robust and energy-efficient context detection with smartphones. |
| Orfeas Stefanos Thyfronitis Litos | Cryptography, blockchains, decentralised trust & reputation. |
| Aikaterini-Panagiota Stouka | Incentives in cryptocurrencies. |
| Hendrik Waldner | Public-key cryptography, especially functional encryption. |
| Lawrence Piao | Bug bounty, security economics, software vulnerability. |
| Temima Hrle | Technology law, user perceptions, cyber insurance. |
This article was published on