Cas Cremers

Esra Günsay

PhD student

Erik Pallas

PhD student

Honglu Ma

Research Assistant

Divya Gupta

Research Assistant

Kaamya Gaur

Research Assistant

Kashish Gaur

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