Gilles Barthe


AuthID: R-00H-7MM

Publicações Confirmadas: 163



81
TÍTULO: Model-Agnostic Counterfactual Explanations for Consequential Decisions PDF
AUTORES: Amir Hossein Karimi; Gilles Barthe ; Borja Balle; Isabel Valera;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1905.11190
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
82
TÍTULO: Privacy Amplification by Mixing and Diffusion Mechanisms
AUTORES: Borja Balle; Gilles Barthe ; Marco Gaboardi; Joseph Geumlek;
PUBLICAÇÃO: 2019, FONTE: Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019, December 8-14, 2019, Vancouver, BC, Canada.
INDEXADO EM: DBLP
NO MEU: DBLP
83
TÍTULO: Privacy Amplification by Mixing and Diffusion Mechanisms PDF
AUTORES: Borja Balle; Gilles Barthe ; Marco Gaboardi; Joseph Geumlek;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1905.12264
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
84
TÍTULO: Program for TPDP 2016
AUTORES: Gilles Barthe ; Christos Dimitrakakis; Marco Gaboardi; Andreas Haeberlen; Aaron Roth; Aleksandra B Slavkovic;
PUBLICAÇÃO: 2019, FONTE: J. Priv. Confidentiality, VOLUME: 9, NÚMERO: 1
INDEXADO EM: DBLP
NO MEU: DBLP
85
TÍTULO: Relational ⋆⋆\star-Liftings for Differential Privacy
AUTORES: Gilles Barthe ; Thomas Espitau; Justin Hsu; Tetsuya Sato; Pierre Yves Strub;
PUBLICAÇÃO: 2019, FONTE: Log. Methods Comput. Sci., VOLUME: 15, NÚMERO: 4
INDEXADO EM: DBLP
NO MEU: DBLP
86
TÍTULO: SoK: Computer-Aided Cryptography
AUTORES: Manuel Barbosa ; Gilles Barthe ; Karthikeyan Bhargavan; Bruno Blanchet; Cas Cremers; Kevin Liao; Bryan Parno;
PUBLICAÇÃO: 2019, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2019
INDEXADO EM: DBLP
NO MEU: DBLP
87
TÍTULO: Symbolic Methods in Computational Cryptography Proofs
AUTORES: Gilles Barthe ; Benjamin Grégoire; Charlie Jacomme; Steve Kremer; Pierre Yves Strub;
PUBLICAÇÃO: 2019, FONTE: 32nd IEEE Computer Security Foundations Symposium, CSF 2019, Hoboken, NJ, USA, June 25-28, 2019
INDEXADO EM: DBLP
NO MEU: DBLP
88
TÍTULO: System-Level Non-interference of Constant-Time Cryptography. Part I: Model
AUTORES: Gilles Barthe ; Gustavo Betarte; Juan Diego Campo; Carlos Luna;
PUBLICAÇÃO: 2019, FONTE: J. Autom. Reason., VOLUME: 63, NÚMERO: 1
INDEXADO EM: DBLP
NO MEU: DBLP
89
TÍTULO: The Last Mile: High-Assurance and High-Speed Cryptographic Implementations PDF
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Benjamin Grégoire; Adrien Koutsos; Vincent Laporte; Tiago Oliveira; Pierre Yves Strub;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1904.04606
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
90
TÍTULO: Towards Constant-Time Foundations for the New Spectre Era PDF
AUTORES: Sunjay Cauligi; Craig Disselkoen; Klaus von Gleissenthall; Deian Stefan; Tamara Rezk; Gilles Barthe ;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1910.01755
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
Página 9 de 17. Total de resultados: 163.

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

Links Úteis

Ajuda

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