Cas Cremers

Aurora Naska

PhD student

Niklas Medinger

PhD student

Esra Günsay

PhD student

Aleksi Peltonen

Postdoc

Vera Wesselkamp

Intern

Honglu Ma

Research Assistant

Philip Lukert

Dennis Jackson

Thesis: Improving Automated Protocol Verification: Real World Cryptography

Kevin Milner

Thesis: Detecting the misuse of secrets: foundations, protocols, and verification

Katriel Cohhn-Gordon

Thesis: On secure messaging

Martin Dehnel-Wild

Thesis: Component-based security under partial compromise

Nicholas Moore

Luke Garratt

Thesis: Realistic, strong and provable key exchange security

Marko Horvat

Thesis: Formal analysis of modern security protocols in current standards

Michèle Feltz

Thesis: Strengthening the security of key exchange protocols

Simon Meier

Thesis: Advancing automated security protocol verification