Gilles Barthe
Principles Of Security and Privacy
I am scientific director at Max Planck Institute for Security and Privacy, Bochum, Germany and a part-time research professor at IMDEA Software Institute, Madrid, Spain.
My research interests include programming languages and program verification, software and system security, cryptography, privacy, and mathematical logic. My most recent research develops programming language techniques and verification methods for security, with a focus on relational verification and its applications to cryptography and differential privacy.
Foundations of Security and Privacy Group
Name
Santiago Arranz Olmos
PhD-Students
Lionel Blatter
Postdoc
Youcef Bouzid
Intern
Miguel Quaresma
PhD-Students