Gilles Barthe


AuthID: R-00H-7MM

Confirmed Publications: 123



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

footer slogan

Useful Links

Get Help

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