conf.researchr.org / Gilles Barthe
Registered user since Mon 11 Nov 2019
Name:Gilles Barthe
Bio:
I am scientific director at MPI-SP, 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.
Country:Germany
Affiliation:MPI-SP; IMDEA Software Institute
Personal website: http://gbarthe.github.io
Research interests:Formal methods, programming languages and program verification, software and system security, cryptography and privacy
Contributions
2025
2024
SPLASH
2022
Static Analysis Symposium
ICFP
2021
ICFP
POPL
2020
PLDI
2019
PLDI
ETAPS
2018
POPL
- Committee Member in Program Committee within the Research Papers-track
- Author of Monadic refinements for relational cost analysis within the Research Papers-track
- Author of Proving Expected Sensitivity of Probabilistic Programs within the Artifact Evaluation-track
- Author of Proving expected sensitivity of probabilistic programs within the Research Papers-track