Gilles Barthe


AuthID: R-00H-7MM

Confirmed Publications: 123



31
TITLE: Secure Compilation of Constant-Resource Programs
AUTHORS: Gilles Barthe ; Sandrine Blazy; Rémi Hutin; David Pichardie;
PUBLISHED: 2021, SOURCE: CSF
INDEXED IN: DBLP
32
TITLE: SoK: Computer-Aided Cryptography
AUTHORS: Manuel Barbosa ; Gilles Barthe ; Karthik Bhargavan; Bruno Blanchet; Cas Cremers; Kevin Liao; Bryan Parno;
PUBLISHED: 2021, SOURCE: SP
INDEXED IN: DBLP
33
TITLE: Structured Leakage and Applications to Cryptographic Constant-Time and Cost
AUTHORS: Gilles Barthe ; Benjamin Grégoire; Vincent Laporte; Swarn Priya;
PUBLISHED: 2021, SOURCE: CCS
INDEXED IN: DBLP
34
TITLE: A probabilistic separation logic
AUTHORS: Gilles Barthe ; Justin Hsu; Kevin Liao;
PUBLISHED: 2020, SOURCE: Proc. ACM Program. Lang., VOLUME: 4, ISSUE: POPL
INDEXED IN: DBLP
35
TITLE: A survey of algorithmic recourse: definitions, formulations, solutions, and prospects
AUTHORS: Amir Hossein Karimi; Gilles Barthe ; Bernhard Schölkopf; Isabel Valera;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2010.04050
INDEXED IN: DBLP
36
TITLE: Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Vincent Laporte; Tiago Oliveira ;
PUBLISHED: 2020, SOURCE: INDOCRYPT, VOLUME: 12578 LNCS
INDEXED IN: Scopus DBLP CrossRef: 2
37
TITLE: Constant-time foundations for the new spectre era
AUTHORS: Sunjay Cauligi; Craig Disselkoen; Klaus von Gleissenthall; Dean M Tullsen; Deian Stefan; Tamara Rezk; Gilles Barthe ;
PUBLISHED: 2020, SOURCE: PLDI
INDEXED IN: DBLP
38
TITLE: Deciding Differential Privacy for Programs with Finite Inputs and Outputs
AUTHORS: Gilles Barthe ; Rohit Chadha; Vishal Jagannath; Prasad P Sistla; Mahesh Viswanathan;
PUBLISHED: 2020, SOURCE: LICS
INDEXED IN: DBLP
39
TITLE: Formal verification of a constant-time preserving C compiler
AUTHORS: Gilles Barthe ; Sandrine Blazy; Benjamin Grégoire; Rémi Hutin; Vincent Laporte; David Pichardie; Alix Trieu;
PUBLISHED: 2020, SOURCE: Proc. ACM Program. Lang., VOLUME: 4, ISSUE: POPL
INDEXED IN: DBLP
40
TITLE: Hypothesis Testing Interpretations and Renyi Differential Privacy
AUTHORS: Borja Balle; Gilles Barthe ; Marco Gaboardi; Justin Hsu; Tetsuya Sato;
PUBLISHED: 2020, SOURCE: AISTATS
INDEXED IN: DBLP
Page 4 of 13. Total results: 123.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service