Gilles Barthe


AuthID: R-00H-7MM

Publicações Confirmadas: 123



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

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service