Team Members
Applied Cryptography Lab
Protocol design, implementation review and the long tail of key-management practice in deployed systems.
- N
Nadia Haddad
Senior Researcher
Works on key escrow and revocation in federated deployments.
- T
Tobias Meyer
PhD Candidate
Studying formal verification of TLS implementations.
- Y
Yuki Tanaka
PhD Candidate
Post-quantum migration paths for long-lived signing keys.
Secure Systems Group
Isolation, supply-chain integrity and reproducible builds for infrastructure that cannot be taken offline.
- R
Rasmus Lindqvist
Postdoctoral Researcher
Builds attestation tooling for air-gapped deployments.
- C
Chidi Nwosu
PhD Candidate
Container escape analysis in multi-tenant clusters.
Security & Human Factors Unit
Empirical study of how developers and operators make security decisions, and what tooling changes those decisions.
- S
Sophie Whitcombe
Senior Researcher
Field studies of incident-response teams under time pressure.
- J
Jae-won Park
Research Assistant
Instrumentation and analysis for large-scale warning studies.
Other
- P
Prof. Elena Vasquez
Visiting Professor
On sabbatical from the Institute for Secure Systems, Aalborg.
- D
Dr. Marcus Bell
Industry Fellow
Splits time between the department and a national CERT.