Gilles Barthe


AuthID: R-00H-7MM

Publicações Confirmadas: 163



121
TÍTULO: A relational logic for higher-order programs
AUTORES: Alejandro Aguirre; Gilles Barthe ; Marco Gaboardi; Deepak Garg; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: Proc. ACM Program. Lang., VOLUME: 1, NÚMERO: ICFP
INDEXADO EM: DBLP
NO MEU: DBLP
122
TÍTULO: Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions
AUTORES: Miguel Ambrona; Gilles Barthe ; Romain Gay; Hoeteck Wee;
PUBLICAÇÃO: 2017, FONTE: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017
INDEXADO EM: DBLP
NO MEU: DBLP
123
TÍTULO: Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions
AUTORES: Miguel Ambrona; Gilles Barthe ; Romain Gay; Hoeteck Wee;
PUBLICAÇÃO: 2017, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2017
INDEXADO EM: DBLP
NO MEU: DBLP
124
TÍTULO: Coupling proofs are probabilistic product programs
AUTORES: Gilles Barthe ; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
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
125
TÍTULO: Generic Transformations of Predicate Encodings: Constructions and Applications
AUTORES: Miguel Ambrona; Gilles Barthe ; Benedikt Schmidt;
PUBLICAÇÃO: 2017, FONTE: Advances in Cryptology - CRYPTO 2017 - 37th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 20-24, 2017, Proceedings, Part I, VOLUME: 10401
INDEXADO EM: DBLP
NO MEU: DBLP
126
TÍTULO: Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs
AUTORES: Pedro R D'Argenio; Gilles Barthe ; Sebastian Biewer; Bernd Finkbeiner; Holger Hermanns;
PUBLICAÇÃO: 2017, FONTE: 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
INDEXADO EM: DBLP
NO MEU: DBLP
127
TÍTULO: Is your software on dope? Formal analysis of surreptitiously "enhanced" programs PDF
AUTORES: Pedro R D'Argenio; Gilles Barthe ; Sebastian Biewer; Bernd Finkbeiner; Holger Hermanns;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1702.04693
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
128
TÍTULO: Jasmin: High-Assurance and High-Speed Cryptography. High-Assurance and High-Speed Cryptography  Full Text
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Arthur Blot; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira ; Hugo Pacheco ; Benedikt Schmidt; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 61
NO MEU: DBLP
129
TÍTULO: Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model
AUTORES: Gilles Barthe ; François Dupressoir; Sebastian Faust; Benjamin Grégoire; François Xavier Standaert; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: 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
INDEXADO EM: DBLP
NO MEU: DBLP
130
TÍTULO: Provably secure compilation of side-channel countermeasures
AUTORES: Gilles Barthe ; Benjamin Grégoire; Vincent Laporte;
PUBLICAÇÃO: 2017, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2017
INDEXADO EM: DBLP
NO MEU: DBLP
Página 13 de 17. Total de resultados: 163.

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

Links Úteis

Ajuda

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