Gilles Barthe


AuthID: R-00H-7MM

Confirmed Publications: 163



121
TITLE: A relational logic for higher-order programs
AUTHORS: Alejandro Aguirre; Gilles Barthe ; Marco Gaboardi; Deepak Garg; Pierre Yves Strub;
PUBLISHED: 2017, SOURCE: Proc. ACM Program. Lang., VOLUME: 1, ISSUE: ICFP
INDEXED IN: DBLP
IN MY: DBLP
122
TITLE: Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions
AUTHORS: Miguel Ambrona; Gilles Barthe ; Romain Gay; Hoeteck Wee;
PUBLISHED: 2017, SOURCE: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017
INDEXED IN: DBLP
IN MY: DBLP
123
TITLE: Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions
AUTHORS: Miguel Ambrona; Gilles Barthe ; Romain Gay; Hoeteck Wee;
PUBLISHED: 2017, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2017
INDEXED IN: DBLP
IN MY: DBLP
124
TITLE: Coupling proofs are probabilistic product programs
AUTHORS: Gilles Barthe ; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
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
125
TITLE: Generic Transformations of Predicate Encodings: Constructions and Applications
AUTHORS: Miguel Ambrona; Gilles Barthe ; Benedikt Schmidt;
PUBLISHED: 2017, SOURCE: Advances in Cryptology - CRYPTO 2017 - 37th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 20-24, 2017, Proceedings, Part I, VOLUME: 10401
INDEXED IN: DBLP
IN MY: DBLP
126
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: Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, VOLUME: 10201
INDEXED IN: DBLP
IN MY: DBLP
127
TITLE: Is your software on dope? Formal analysis of surreptitiously "enhanced" programs PDF
AUTHORS: Pedro R D'Argenio; Gilles Barthe ; Sebastian Biewer; Bernd Finkbeiner; Holger Hermanns;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1702.04693
INDEXED IN: DBLP arXiv
IN MY: DBLP
128
TITLE: Jasmin: High-Assurance and High-Speed Cryptography. High-Assurance and High-Speed Cryptography  Full Text
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, VOLUME: Part F131467
INDEXED IN: Scopus WOS DBLP CrossRef: 61
IN MY: DBLP
129
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: Advances in Cryptology - EUROCRYPT 2017 - 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings, Part I, VOLUME: 10210
INDEXED IN: DBLP
IN MY: DBLP
130
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
IN MY: DBLP
Page 13 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