Gilles Barthe


AuthID: R-00H-7MM

Confirmed Publications: 123



91
TITLE: Generic Transformations of Predicate Encodings: Constructions and Applications
AUTHORS: Miguel Ambrona; Gilles Barthe ; Benedikt Schmidt;
PUBLISHED: 2017, SOURCE: CRYPTO (1)
INDEXED IN: DBLP
92
TITLE: Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs
AUTHORS: Pedro R D'Argenio; Gilles Barthe ; Sebastian Biewer; Bernd Finkbeiner; Holger Hermanns;
PUBLISHED: 2017, SOURCE: ESOP
INDEXED IN: DBLP
93
TITLE: Jasmin: High-Assurance and High-Speed Cryptography. High-Assurance and High-Speed Cryptography
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Arthur Blot; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira ; Hugo Pacheco ; Benedikt Schmidt; Pierre Yves Strub;
PUBLISHED: 2017, SOURCE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY
INDEXED IN: Scopus WOS DBLP CrossRef: 86
94
TITLE: Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model
AUTHORS: Gilles Barthe ; François Dupressoir; Sebastian Faust; Benjamin Grégoire; François Xavier Standaert; Pierre Yves Strub;
PUBLISHED: 2017, SOURCE: EUROCRYPT (1)
INDEXED IN: DBLP
95
TITLE: Provably secure compilation of side-channel countermeasures
AUTHORS: Gilles Barthe ; Benjamin Grégoire; Vincent Laporte;
PUBLISHED: 2017, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2017
INDEXED IN: DBLP
96
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
INDEXED IN: DBLP
97
TITLE: Reasoning about Divergences for Relaxations of Differential Privacy
AUTHORS: Tetsuya Sato; Gilles Barthe ; Marco Gaboardi; Justin Hsu; Shin ya Katsumata;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1710.09010
INDEXED IN: DBLP
98
TITLE: Reasoning about Probabilistic Defense Mechanisms against Remote Attacks
AUTHORS: Martín Ochoa; Sebastian Banescu; Cynthia Disenfeld; Gilles Barthe ; Vijay Ganesh;
PUBLISHED: 2017, SOURCE: EuroS&P
INDEXED IN: DBLP
99
TITLE: Relational cost analysis
AUTHORS: Ezgi Çiçek; Gilles Barthe ; Marco Gaboardi; Deepak Garg; Jan Hoffmann;
PUBLISHED: 2017, SOURCE: POPL
INDEXED IN: DBLP
100
TITLE: Verified Translation Validation of Static Analyses
AUTHORS: Gilles Barthe ; Sandrine Blazy; Vincent Laporte; David Pichardie; Alix Trieu;
PUBLISHED: 2017, SOURCE: CSF
INDEXED IN: DBLP
Page 10 of 13. Total results: 123.

footer slogan

Useful Links

Get Help

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