← Back to directory
Gilles Barthe
Researcher Next ID · RN-000456
Professor · Computer Science
Max Planck Institute for Security and Privacy
Bochum, Germany
Not currently recruitingFunding unknown
- Works count
- 410
- Citation count
- 8,999
- H-index
- 49
- i10-index
- 184
About
411 publications and 9,012 citations recorded on OpenAlex.
Research interests
Computer Science
Security and Verification in Computing
Logic, programming, and type systems
Cryptography and Data Security
Cryptographic Implementations and Security
Formal Methods in Verification
Publications
Strong Non-Interference and Type-Directed Higher-Order Masking
Journal · 2016 · 10.1145/2976749.2978427
Computer-Aided Security Proofs for the Working Cryptographer
Lecture notes in computer science · 2011 · 10.1007/978-3-642-22792-9_5
Foundations of Security Analysis and Design V
Lecture notes in computer science · 2009 · 10.1007/978-3-642-03829-7
Formal certification of code-based cryptographic proofs
Journal · 2009 · 10.1145/1480881.1480894
Secure information flow by self-composition
Journal · 2004 · 10.1109/csfw.2004.17
Current projects
No projects listed.