Gilles Barthe


AuthID: R-00H-7MM

Publicações Confirmadas: 163



101
TÍTULO: Improved Parallel Mask Refreshing Algorithms: Generic Solutions with Parametrized Non-Interference & Automated Optimizations
AUTORES: Gilles Barthe ; Sonia Belaïd; François Dupressoir; Pierre Alain Fouque; Benjamin Grégoire; François Xavier Standaert; Pierre Yves Strub;
PUBLICAÇÃO: 2018, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2018
INDEXADO EM: DBLP
NO MEU: DBLP
102
TÍTULO: LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018
AUTORES: Gilles Barthe ; Konstantin Korovin; Stephan Schulz; Martin Suda; Geoff Sutcliffe; Margus Veanes;
PUBLICAÇÃO: 2018, FONTE: LPAR (Workshop and Short Papers), VOLUME: 9
INDEXADO EM: DBLP
NO MEU: DBLP
103
104
TÍTULO: Masking the GLP Lattice-Based Signature Scheme at Any Order
AUTORES: Gilles Barthe ; Sonia Belaïd; Thomas Espitau; Pierre Alain Fouque; Benjamin Grégoire; Mélissa Rossi; Mehdi Tibouchi;
PUBLICAÇÃO: 2018, FONTE: Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part II, VOLUME: 10821
INDEXADO EM: DBLP
NO MEU: DBLP
105
TÍTULO: maskVerif: a formal tool for analyzing software and hardware masked implementations
AUTORES: Gilles Barthe ; Sonia Belaïd; Pierre Alain Fouque; Benjamin Grégoire;
PUBLICAÇÃO: 2018, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2018
INDEXADO EM: DBLP
NO MEU: DBLP
106
TÍTULO: Monadic refinements for relational cost analysis
AUTORES: Ivan Radicek; Gilles Barthe ; Marco Gaboardi; Deepak Garg; Florian Zuleger;
PUBLICAÇÃO: 2018, FONTE: Proc. ACM Program. Lang., VOLUME: 2, NÚMERO: POPL
INDEXADO EM: DBLP
NO MEU: DBLP
107
TÍTULO: Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences
AUTORES: Borja Balle; Gilles Barthe ; Marco Gaboardi;
PUBLICAÇÃO: 2018, FONTE: Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, December 3-8, 2018, Montréal, Canada.
INDEXADO EM: DBLP
NO MEU: DBLP
108
TÍTULO: Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences PDF
AUTORES: Borja Balle; Gilles Barthe ; Marco Gaboardi;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1807.01647
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
109
TÍTULO: Proving expected sensitivity of probabilistic programs
AUTORES: Gilles Barthe ; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2018, FONTE: Proc. ACM Program. Lang., VOLUME: 2, NÚMERO: POPL
INDEXADO EM: DBLP
NO MEU: DBLP
110
TÍTULO: Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus
AUTORES: Alejandro Aguirre; Gilles Barthe ; Lars Birkedal; Ales Bizjak; Marco Gaboardi; Deepak Garg;
PUBLICAÇÃO: 2018, FONTE: Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, VOLUME: 10801
INDEXADO EM: DBLP
NO MEU: DBLP
Página 11 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