People | Cas Cremers

Current people

Théophile Wallez (right)

postdoc

Dhekra Mahmoud

postdoc

Aurora Naska

PhD student

Niklas Medinger

PhD student

Erik Pallas

PhD student

Roman Wetenkamp

PhD student

Noemi Terzo

visiting researcher

Past Postdocs & PhD students

Esra Günsay

Alexander Dax

Thesis: Advancing Security Protocol Verification: A Journey along the Boundaries of the Symbolic Model

Aleksi Peltonen

postdoc

Maïwenn Racouchot

postdoc

Mang Zhao

postdoc

Philip Lukert

Charlie Jacomme

postdoc

Jacqueline Brendel

postdoc

Benjamin Kiesl

postdoc

Dennis Jackson

Thesis: Improving Automated Protocol Verification: Real World Cryptography

Martin Dehnel-Wild

Thesis: Component-based security under partial compromise

Kevin Milner

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

Katriel Cohn-Gordon

Thesis: On secure messaging

Luke Garratt

Thesis: Realistic, strong and provable key exchange security

Nicholas Moore

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

Kien Tuong Truong

Honglu Ma

Divya Gupta