Concepedia

Gilles Barthe

GB

113

Publications

5.3K

Citations

40

H-Index

1997

Active since

Affiliations

IMDEA Software Institute(Current)

Institut national de recherche en sciences et technologies du numérique

Max Planck Institute for Security and Privacy

Madrid Institute for Advanced Studies

University of Minho

Gilles Barthe is an author at IMDEA Software Institute specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationData SecurityVerificationCryptographyInformation SecurityProgram AnalysisSoftware Analysis

Publications per year

1997–2024

113

Publications

113

Formal certification of code-based cryptographic proofs

Gilles Barthe, Benjamin Grégoire, Santiago Zanella-Béguelin · 2009 · 261 citations

Cryptographic Proofs, Program Checking, Engineering +20

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

Gilles Barthe, Sonia Belaïd, François Dupressoir et al. · 2016 · 216 citations

Engineering, Information Security, Verification +25

Secure information flow by self-composition

Gilles Barthe, Pedro R. D’Argenio, Tamara Rezk · 2004 · 213 citations

Program Checking, Engineering, Information Security +21

Secure information flow by self-composition

Gilles Barthe, Pedro R. D’Argenio, Tamara Rezk · 2004 · 167 citations

Program Checking, Engineering, Information Security +21

Secure information flow by self-composition

Gilles Barthe, Pedro R. D’Argenio, Tamara Rezk · Mathematical Structures in Computer Science · 2011 · 159 citations

Engineering, Information Security, Verification +20

Rows per page

1–5 of 113