HTTP/2 200 server: GitHub.com content-type: text/html; charset=utf-8 last-modified: Wed, 17 Jan 2024 17:33:31 GMT access-control-allow-origin: * etag: W/"65a80f6b-94f" expires: Sat, 27 Dec 2025 16:02:09 GMT cache-control: max-age=600 content-encoding: gzip x-proxy-cache: MISS x-github-request-id: AFA0:234FE9:6DEF7E:7A7856:695000A7 accept-ranges: bytes age: 0 date: Sat, 27 Dec 2025 17:52:25 GMT via: 1.1 varnish x-served-by: cache-bom-vanm7210075-BOM x-cache: HIT x-cache-hits: 0 x-timer: S1766857945.253303,VS0,VE213 vary: Accept-Encoding x-fastly-request-id: 101be05fca39888ff1d1fce10d994e24fa8883fb content-length: 1133

Gilles Barthe

I am scientific director at Max Planck Institute for Security and Privacy, Bochum, Germany and (part-time) research professor at IMDEA Software Institute, Madrid, Spain. My research interests include programming languages and program verification, security, privacy, and cryptography.

Projects

Publications

Contact