Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
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.

Affiliation:MPI-SP, Germany / IMDEA Software Institute, Spain
Personal website:http://gbarthe.github.io
Research interests:Formal methods, programming languages and program verification, software and system security, cryptography and privacy

Contributions

PriSC 2021 High-Assurance Cryptography in the Spectre Era
POPL 2021 Deciding Accuracy of Differential Privacy Schemes
A Pre-Expectation Calculus for Probabilistic Sensitivity
Show activities from other conferences

POPL 2021-profile
View general profile