Gilles Barthe


AuthID: R-00H-7MM

Confirmed Publications: 163



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

A place for researchers and their institutions

Useful Links

Get Help

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