Cryptography and AI Security Lab
Researchers working on cryptographic protocol design and analysis, privacy-preserving learning and verifiable distributed computation.
Leadership
Director
Lecturer (Assistant Professor) in Cybersecurity at Newcastle University.
Aydin designs and analyses cryptographic protocols for private computation, private data access and verifiable exchange. His work also includes cryptanalysis of proposed protocols and security arguments. He leads the lab’s research programme and supervises its doctoral researchers.
Doctoral researchers
Current doctoral projects in privacy-preserving machine learning and verifiable distributed computation.
Doctoral researcher · 2025-present
Hamed develops privacy-preserving federated learning for resource-constrained devices. His research examines how clients with limited computation, memory or energy can participate in delegated training without exposing private data, using tools including homomorphic encryption and secure computation.
Doctoral researcher · 2025-present
Jakub works across cryptography, AI security and distributed computation. His research focuses on attacks against distributed machine-learning systems and on verifiable, privacy-preserving methods, including applications in healthcare.
Doctoral researcher · 2026-present
Ishak develops privacy-preserving data-cleaning methods for federated learning. He studies how distributed datasets can be made more consistent and reliable while limiting disclosure of sensitive records, with applications in healthcare and financial services.
Affiliated researchers
Researchers who contribute complementary expertise to the lab’s work in cryptography, privacy and secure systems.
University of Texas at Dallas
Distinguished Professor of Computer Science and IACR Fellow. His research includes threshold cryptography, secure computation, secret sharing, cryptanalysis, anonymity, voting and critical-infrastructure security.
View profile
Nethermind
A cryptography and blockchain researcher using cryptographic and game-theoretic methods to analyse incentives, decentralisation and protocol security.
View profile
University of Glasgow
Lecturer in Cybersecurity working on formal cryptographic modelling, electronic voting, blockchain protocols, multi-party computation and privacy-preserving communications.
View profile
Kuwait University
Assistant Professor of Computer Engineering whose research spans theoretical cryptography, adversarial machine learning, computational complexity and post-quantum secure learning.
View profileFlower Labs
Research Scientist working on privacy and security in machine learning, with a particular focus on federated learning.
View profileResearch practice
Make the trust assumptions, adversary and leakage explicit.
Support formal analysis with implementations, measurements and stated limitations where appropriate.
Translate between cryptographic theory, systems requirements and domain needs.