gbarthe.github.io - Gilles Barthe

home > domains > gbarthe.github.io

Example domain paragraphs

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.

I received a Ph.D. in -->

I have openings for Ph.D. and post-docs with a broad interest in -->

Links to gbarthe.github.io (9)

• cryptojedi.org Peter Schwabe
• formosa-crypto.org Formosa Crypto | The Formosa project federates multiple projects in machine-checked cryptography and high-assurance cryptographi
• hacs-workshop.org HACS Workshop
• basavesh.github.io Basavesh Ammanaghatta Shivakumar
• sunjaycauligi.com Sunjay Cauligi
• marcelfourne.de no content - no title - no surprises
• miguel-ambrona.github.io Personal Webpage
• hacs-workshop.github.io HACS Workshop
• benjaminlipp.de Benjamin Lipp