The following people from across the University are affiliated with UoE CSPR.
This list is not updated frequently, it includes academic teaching members of staff only. There are many postdoctoral researchers, PhD and undergraduate students who are also members of the network and are on our mailing list.
If you'd like to be included on this list, please contact us with a note of your interests.
There are also connected research groups based in particular Schools, particularly Security and Privacy at UoE Informatics.
Key Academic Staff
|Dr Myrto Arapinis||Verification of cryptographic protocols, verification of security properties, detection of attacks, formal models, and protocol composition.||Informatics|
|Prof David Aspinall||Software security, user authentication, theorem proving, programming and specification languages.||Informatics|
|Dr Pramod Bhatotia||Software security, secure storage, security for distributed systems, and hardware-assisted security.||Informatics|
|Dr James Cheney||Programming languages, databases, logic/verification. Applications to provenance, scientific data management, and security.||Informatics|
|Prof Elham Kashefi||Quantum cryptography.||Informatics|
|Prof Andrew D. Gordon||Programming languages and their semantics and logics, with application to security and privacy, machine learning, concurrency, and databases.||Informatics|
|Prof Harald Haas||Wireless system engineering and digital signal processing, especially optical and hybrid optical-RF.||Engineering|
|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.||Informatics|
|Dr Ewa Luger||Applied ethics: data governance, consent, privacy and making intelligent systems intelligible to the user.||College of Art|
|Dr Mahesh Marina||Mobile authentication and privacy, and distributed intrusion detection.||Informatics|
|Dr Paul Patras||Performance optimisation in wireless networks, network protocols and architectures, prototyping and test beds. Current research interests include security and privacy of IoT systems.||Informatics|
|Prof Charles Raab||Public policy, governance and regulation for information privacy, surveillance and security, and identity.||Social and Political Sciences|
|Dr Subramanian Ramamoorthy||Autonomous robotics, Robot learning, Safe and Explainable Artificial Intelligence.||Informatics|
|Prof Tharm Ratnarajah||Wireless communications, information theory, physical layer security, 5G and wide-area IoT.||Engineering|
|Prof Burkhard Schafer||Legal concepts of privacy and security and their computational implementation, legal forensics.||Law|
|Prof Chris Speed||Designing provocative interventions to support usable security, or highlight user risks.||Design Informatics|
|Dr Ian Stark||Mobile security and its verification. Formal models of systems and architecture, including security-oriented capability hardware.||Informatics|
|Dr Kami Vaniea||Human factors of security and privacy, particularly focusing on supporting users in making good security decisions.||Informatics|
|Mr Paul Anderson||Large infrastructure management; configuration languages, including provenance and security.||Informatics|
|Prof Stuart Anderson||Design and analysis of complex systems; risks in socio-technical systems.||Informatics|
|Dr Angus Bancroft||Sociology of cyber-criminal markets, techno-politics of anonymity.||Sociology|
|Prof Alan Bundy||Application of automated reasoning to verify, disprove or reverse engineer security-critical programs.||Informatics|
|Prof Mike Davies||Imaging and signal processing; detection, classification and signal separation for surveillance.||Engineering|
|Prof Wenfei Fan||Access control security for structured data in XML; data cleaning.||Informatics|
|Dr Andrew Neal||
Security policy, politics and scrutiny, and their expansion over time.
|Politics and International Relations|
|Prof Dave Robertson||
Security and privacy and trust and reputation in distributed systems and social computation.
|Dr Michael Rovatsos||Reputation in multiagent systems; restricted information sharing in distributed data mining.||Informatics|
|Prof Don Sannella||Formal methods for secure systems development, using algebraic and mechanised reasoning.||Informatics|
|Dr Rik Sarkar||
Distributed and wireless routing protocols and attacks; location privacy.
|Dr Charles Sutton||Machine learning, Applications to software engineering, programming languages, and computer security.||Informatics|
|Prof Philip Wadler||Programming language design and foundations that support better security, especially using types.||Informatics|
|Dr Petros Wallden||Quantum cryptography, especially quantum digital signatures; quantum theory foundations.||Informatics|
|Dr Maria Wolters||Private and secure eHealth.||Informatics|