Gilles Barthe
Scholar

Gilles Barthe

Google Scholar ID: kAkmfWEAAAAJ
MPI-SP and IMDEA Software Institute
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
8,413
 
H-index
44
 
i10-index
124
 
Publications
20
 
Co-authors
0
 
Publications
11 items
Formalization of security
2026
Cited
0
Reasoning about Continuous-Variable Quantum Systems
2026
Cited
0
The Jasmin Compiler Preserves Cryptographic Security
2025
Cited
0
(Dis)Proving Spectre Security with Speculation-Passing Style
2025
Cited
0
A Duality Theorem for Classical-Quantum States with Applications to Complete Relational Program Logics
2025
Cited
0
Traq: Estimating the Quantum Cost of Classical Programs
2025
Cited
0
D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation
2025
Cited
0
Complete Quantum Relational Hoare Logics from Optimal Transport Duality
2025
Cited
0
Resume
Academic Achievements
  • Involved in the Formosa project. Publication records can be found on DBLP.
Research Experience
  • Scientific director at Max Planck Institute for Security and Privacy, Bochum, Germany and (part-time) research professor at IMDEA Software Institute, Madrid, Spain.
Background
  • Research interests include programming languages and program verification, security, privacy, and cryptography.
Miscellany
  • Email: firstname.lastname@mpi-sp.org, address: MPI-SP, Universitaetsstr. 140, 44799 Bochum, Germany