World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
58
Citations
11699
World Ranking
3675
National Ranking
165

Overview

Gilles Barthe is affiliated with the Max Planck Institute for Security and Privacy in Germany. Their research spans various areas within computer science, with a focus on security, cryptography, and formal verification.

The scientist has published extensively, with a total of 147 publications categorized primarily under Computer Science. Subfields of study in their work include:

  • Artificial Intelligence
  • Computational Theory and Mathematics
  • Information Systems
  • Signal Processing
  • Atomic and Molecular Physics, and Optics

Main topics covered by their research are diverse and technical, incorporating areas such as:

  • Security and Verification in Computing
  • Cryptographic Implementations and Security
  • Cryptography and Data Security
  • Logic, Reasoning, and Knowledge
  • Quantum Computing Algorithms and Architecture
  • Logic, Programming, and Type Systems
  • Advanced Malware Detection Techniques

The scientist's recent papers demonstrate engagement with topics related to algorithmic recourse, cryptographic implementations, and software security. Notable papers include:

  • A Survey of Algorithmic Recourse: Contrastive Explanations and Consequential Recommendations (2022), published in ACM Computing Surveys
  • A survey of algorithmic recourse: definitions, formulations, solutions, and prospects (2020), published in arXiv (Cornell University)
  • The Last Mile: High-Assurance and High-Speed Cryptographic Implementations (2020), published in arXiv (Cornell University)
  • SoK: Practical Foundations for Software Spectre Defenses (2022), published in the 2022 IEEE Symposium on Security and Privacy (SP)

Frequent collaborators in the scientist's work are:

  • Benjamin Grégoire
  • Li Zhou
  • Peter Schwabe
  • Manuel Barbosa
  • Vincent Laporte

Publication venues where the scientist has frequently contributed include:

  • arXiv (Cornell University)
  • Proceedings of the ACM on Programming Languages
  • IACR Transactions on Cryptographic Hardware and Embedded Systems
  • Artifact Digital Object Group
  • 2022 IEEE Symposium on Security and Privacy (SP)

Besides articles, the scientist has authored book publications, including:

  • Foundations of Probabilistic Programming (2020), published by Cambridge University Press

Best Publications

  • Secure information flow by self-composition

    Gilles Barthe;Pedro R. D'argenio;Tamara Rezk

  • Secure information flow by self-composition

    G. Barthe;P.R. D'Argenio;T. Rezk

  • Formal certification of code-based cryptographic proofs

    Gilles Barthe;Benjamin Grégoire;Santiago Zanella Béguelin

  • Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

    Alessandro Aldini;Gilles Barthe;Roberto Gorrieri

  • Computer-aided security proofs for the working cryptographer

    Gilles Barthe;Benjamin Grégoire;Sylvain Heraud;Santiago Zanella Béguelin

  • Relational verification using product programs

    Gilles Barthe;Juan Manuel Crespo;César Kunz

  • Strong Non-Interference and Type-Directed Higher-Order Masking

    Gilles Barthe;Sonia Belaïd;François Dupressoir;Pierre-Alain Fouque

  • Probabilistic relational reasoning for differential privacy

    Gilles Barthe;Boris Köpf;Federico Olmedo;Santiago Zanella Béguelin

  • Verifying constant-time implementations

    José Bacelar Almeida;Manuel Barbosa;Gilles Jacques Denis Barthe;François Dupressoir

  • EasyCrypt: A Tutorial

    Gilles Barthe;François Dupressoir;Benjamin Grégoire;César Kunz

  • Verified Proofs of Higher-Order Masking.

    Gilles Barthe;Sonia Belaïd;François Dupressoir;Pierre-Alain Fouque

  • Model-Agnostic Counterfactual Explanations for Consequential Decisions

    Amir-Hossein Karimi;Gilles Barthe;Borja Balle;Isabel Valera

  • Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences

    Borja Balle;Gilles Barthe;Marco Gaboardi

  • Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model

    Gilles Barthe;François Dupressoir;Sebastian Faust;Benjamin Grégoire

  • System-level non-interference for constant-time cryptography.

    Gilles Barthe;Gustavo Betarte;Juan Diego Campo;Carlos Luna

  • Type-based termination of recursive definitions

    G. Barthe;M. J. Frade;E. Giménez;L. Pinto

  • Jasmin: High-Assurance and High-Speed Cryptography

    José Bacelar Almeida;Manuel Barbosa;Gilles Barthe;Arthur Blot

  • Setoids in type theory

    Gilles Barthe;Venanzio Capretta;Olivier Pons

  • Probabilistic relational verification for cryptographic implementations

    Gilles Barthe;Cédric Fournet;Benjamin Grégoire;Pierre-Yves Strub

  • SoK: Computer-Aided Cryptography

    Manuel Barbosa;Gilles Barthe;Karthik Bhargavan;Bruno Blanchet

  • From relational verification to SIMD loop synthesis

    Gilles Barthe;Juan Manuel Crespo;Sumit Gulwani;Cesar Kunz

  • Formal Certification of Code-Based Cryptographic Proofs

    Gilles Barthe;Santiago Zanella-Beguelin;Benjamin Grégoire

  • A survey of algorithmic recourse: definitions, formulations, solutions, and prospects.

    Amir-Hossein Karimi;Gilles Barthe;Bernhard Schölkopf;Isabel Valera

Frequent Co-Authors

Pierre-Alain Fouque
Pierre-Alain Fouque University of Rennes
Mehdi Tibouchi
Mehdi Tibouchi NTT (Japan)
A. Prasad Sistla
A. Prasad Sistla University of Illinois at Chicago
John Hatcliff
John Hatcliff Kansas State University
Andrei Sabelfeld
Andrei Sabelfeld Chalmers University of Technology
Aaron Roth
Aaron Roth University of Pennsylvania
François-Xavier Standaert
François-Xavier Standaert Université Catholique de Louvain
Holger Hermanns
Holger Hermanns Saarland University
Peter Müller
Peter Müller ETH Zurich
Mingsheng Ying
Mingsheng Ying University of Technology Sydney

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA opens doors to diverse careers, but it's important to find the right academic pathway for your goals and budget. Many students now choose online degrees for greater flexibility and accessibility.

If you are interested in advancing your expertise, consider the cheapest doctoral programs that allow you to deepen your specialization without high costs. For those seeking an accelerated route to leadership in education, the shortest edd program online can help you reach your qualifications faster.

Not ready for a full four-year degree? Many students jumpstart their careers with an associate's degree online, which can often be completed in a matter of months. Alternatively, those looking to combine technical skills with managerial expertise might explore the business degree options available online.

With so many online options, it’s easier than ever to tailor your education to your career ambitions and schedule.

Best Scientists Citing Gilles Barthe

Trending Scientists