Gilles Barthe


AuthID: R-00H-7MM

Confirmed Publications: 163



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