Gilles Barthe


AuthID: R-00H-7MM

Publicações Confirmadas: 163



131
TÍTULO: Proving Expected Sensitivity of Probabilistic Programs PDF
AUTORES: Gilles Barthe ; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1708.02537
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
132
TÍTULO: Proving uniformity and independence by self-composition and coupling
AUTORES: Gilles Barthe ; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017, VOLUME: 46
INDEXADO EM: DBLP
NO MEU: DBLP
133
TÍTULO: Proving uniformity and independence by self-composition and coupling PDF
AUTORES: Gilles Barthe ; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1701.06477
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
134
TÍTULO: Reasoning about Divergences for Relaxations of Differential Privacy PDF
AUTORES: Tetsuya Sato; Gilles Barthe ; Marco Gaboardi; Justin Hsu; Shin ya Katsumata;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1710.09010
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
135
TÍTULO: Reasoning about Probabilistic Defense Mechanisms against Remote Attacks
AUTORES: Martín Ochoa; Sebastian Banescu; Cynthia Disenfeld; Gilles Barthe ; Vijay Ganesh;
PUBLICAÇÃO: 2017, FONTE: 2017 IEEE European Symposium on Security and Privacy, EuroS&P 2017, Paris, France, April 26-28, 2017
INDEXADO EM: DBLP
NO MEU: DBLP
136
TÍTULO: Reasoning about Probabilistic Defense Mechanisms against Remote Attacks PDF
AUTORES: Martín Ochoa; Sebastian Banescu; Cynthia Disenfeld; Gilles Barthe ; Vijay Ganesh;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1701.06743
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
137
TÍTULO: Relational cost analysis
AUTORES: Ezgi Çiçek; Gilles Barthe ; Marco Gaboardi; Deepak Garg; Jan Hoffmann;
PUBLICAÇÃO: 2017, FONTE: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017
INDEXADO EM: DBLP
NO MEU: DBLP
138
TÍTULO: Verified Translation Validation of Static Analyses
AUTORES: Gilles Barthe ; Sandrine Blazy; Vincent Laporte; David Pichardie; Alix Trieu;
PUBLICAÇÃO: 2017, FONTE: 30th IEEE Computer Security Foundations Symposium, CSF 2017, Santa Barbara, CA, USA, August 21-25, 2017
INDEXADO EM: DBLP
NO MEU: DBLP
139
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: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, Vienna, Austria, October 24-28, 2016
INDEXADO EM: DBLP
NO MEU: DBLP
140
TÍTULO: Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model
AUTORES: Miguel Ambrona; Gilles Barthe ; Benedikt Schmidt;
PUBLICAÇÃO: 2016, FONTE: Advances in Cryptology - EUROCRYPT 2016 - 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part II, VOLUME: 9666
INDEXADO EM: DBLP
NO MEU: DBLP
Página 14 de 17. Total de resultados: 163.

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

Links Úteis

Ajuda

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