Gilles Barthe


AuthID: R-00H-7MM

Confirmed Publications: 163



101
TITLE: Improved Parallel Mask Refreshing Algorithms: Generic Solutions with Parametrized Non-Interference & Automated Optimizations
AUTHORS: Gilles Barthe ; Sonia Belaïd; François Dupressoir; Pierre Alain Fouque; Benjamin Grégoire; François Xavier Standaert; Pierre Yves Strub;
PUBLISHED: 2018, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2018
INDEXED IN: DBLP
IN MY: DBLP
102
TITLE: LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018
AUTHORS: Gilles Barthe ; Konstantin Korovin; Stephan Schulz; Martin Suda; Geoff Sutcliffe; Margus Veanes;
PUBLISHED: 2018, SOURCE: LPAR (Workshop and Short Papers), VOLUME: 9
INDEXED IN: DBLP
IN MY: DBLP
103
104
TITLE: Masking the GLP Lattice-Based Signature Scheme at Any Order
AUTHORS: Gilles Barthe ; Sonia Belaïd; Thomas Espitau; Pierre Alain Fouque; Benjamin Grégoire; Mélissa Rossi; Mehdi Tibouchi;
PUBLISHED: 2018, SOURCE: 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
INDEXED IN: DBLP
IN MY: DBLP
105
TITLE: maskVerif: a formal tool for analyzing software and hardware masked implementations
AUTHORS: Gilles Barthe ; Sonia Belaïd; Pierre Alain Fouque; Benjamin Grégoire;
PUBLISHED: 2018, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2018
INDEXED IN: DBLP
IN MY: DBLP
106
TITLE: Monadic refinements for relational cost analysis
AUTHORS: Ivan Radicek; Gilles Barthe ; Marco Gaboardi; Deepak Garg; Florian Zuleger;
PUBLISHED: 2018, SOURCE: Proc. ACM Program. Lang., VOLUME: 2, ISSUE: POPL
INDEXED IN: DBLP
IN MY: DBLP
107
TITLE: Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences
AUTHORS: Borja Balle; Gilles Barthe ; Marco Gaboardi;
PUBLISHED: 2018, SOURCE: Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, December 3-8, 2018, Montréal, Canada.
INDEXED IN: DBLP
IN MY: DBLP
108
TITLE: Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences PDF
AUTHORS: Borja Balle; Gilles Barthe ; Marco Gaboardi;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1807.01647
INDEXED IN: DBLP arXiv
IN MY: DBLP
109
TITLE: Proving expected sensitivity of probabilistic programs
AUTHORS: Gilles Barthe ; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLISHED: 2018, SOURCE: Proc. ACM Program. Lang., VOLUME: 2, ISSUE: POPL
INDEXED IN: DBLP
IN MY: DBLP
110
TITLE: Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus
AUTHORS: Alejandro Aguirre; Gilles Barthe ; Lars Birkedal; Ales Bizjak; Marco Gaboardi; Deepak Garg;
PUBLISHED: 2018, SOURCE: 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
INDEXED IN: DBLP
IN MY: DBLP
Page 11 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