Gilles Barthe


AuthID: R-00H-7MM

Publicações Confirmadas: 123



101
TÍTULO: Advanced Probabilistic Couplings for Differential Privacy
AUTORES: Gilles Barthe ; Noémie Fong; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2016, FONTE: CCS
INDEXADO EM: DBLP
102
TÍTULO: Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model
AUTORES: Miguel Ambrona; Gilles Barthe ; Benedikt Schmidt;
PUBLICAÇÃO: 2016, FONTE: EUROCRYPT (2)
INDEXADO EM: DBLP
103
TÍTULO: Differentially Private Bayesian Programming
AUTORES: Gilles Barthe ; Gian Pietro Farina; Marco Gaboardi; Emilio Jesús Gallego Arias; Andy Gordon; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2016, FONTE: CCS
INDEXADO EM: DBLP
104
TÍTULO: Facets of Software Doping
AUTORES: Gilles Barthe ; Pedro R D'Argenio; Bernd Finkbeiner; Holger Hermanns;
PUBLICAÇÃO: 2016, FONTE: ISoLA (2)
INDEXADO EM: DBLP
105
TÍTULO: Product programs and relational program logics
AUTORES: Gilles Barthe ; Juan Manuel Crespo; César Kunz;
PUBLICAÇÃO: 2016, FONTE: J. Log. Algebraic Methods Program., VOLUME: 85, NÚMERO: 5
INDEXADO EM: DBLP
106
TÍTULO: Programming language techniques for differential privacy
AUTORES: Gilles Barthe ; Marco Gaboardi; Justin Hsu; Benjamin C Pierce;
PUBLICAÇÃO: 2016, FONTE: ACM SIGLOG News, VOLUME: 3, NÚMERO: 1
INDEXADO EM: DBLP
107
TÍTULO: Strong Non-Interference and Type-Directed Higher-Order Masking
AUTORES: Gilles Barthe ; Sonia Belaïd; François Dupressoir; Pierre Alain Fouque; Benjamin Grégoire; Pierre Yves Strub; Rébecca Zucchini;
PUBLICAÇÃO: 2016, FONTE: CCS
INDEXADO EM: DBLP
108
TÍTULO: Strongly-optimal structure preserving signatures from Type II pairings: synthesis and lower bounds
AUTORES: Gilles Barthe ; Edvard Fagerholm; Dario Fiore; Andre Scedrov; Benedikt Schmidt; Mehdi Tibouchi;
PUBLICAÇÃO: 2016, FONTE: IET Inf. Secur., VOLUME: 10, NÚMERO: 6
INDEXADO EM: DBLP
109
TÍTULO: Synthesizing Probabilistic Invariants via Doob's Decomposition
AUTORES: Gilles Barthe ; Thomas Espitau; Luis María Ferrer Fioriti; Justin Hsu;
PUBLICAÇÃO: 2016, FONTE: CAV (1)
INDEXADO EM: DBLP
110
TÍTULO: Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F;
PUBLICAÇÃO: 2016, FONTE: 23rd International Conference on Fast Software Encryption (FSE) in FAST SOFTWARE ENCRYPTION (FSE 2016), VOLUME: 9783
INDEXADO EM: Scopus WOS DBLP CrossRef: 26
Página 11 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