Gilles Barthe


AuthID: R-00H-7MM

Confirmed Publications: 163



71
TITLE: Formal Verification of a Constant-Time Preserving C Compiler
AUTHORS: Gilles Barthe ; Sandrine Blazy; Benjamin Grégoire; Rémi Hutin; Vincent Laporte; David Pichardie; Alix Trieu;
PUBLISHED: 2019, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019
INDEXED IN: DBLP
IN MY: DBLP
72
TITLE: Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization
AUTHORS: Tetsuya Sato; Alejandro Aguirre; Gilles Barthe ; Marco Gaboardi; Deepak Garg; Justin Hsu;
PUBLISHED: 2019, SOURCE: Proc. ACM Program. Lang., VOLUME: 3, ISSUE: POPL
INDEXED IN: DBLP
IN MY: DBLP
73
TITLE: GALACTICS: Gaussian Sampling for Lattice-Based Constant- Time Implementation of Cryptographic Signatures, Revisited
AUTHORS: Gilles Barthe ; Sonia Belaïd; Thomas Espitau; Pierre Alain Fouque; Mélissa Rossi; Mehdi Tibouchi;
PUBLISHED: 2019, SOURCE: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019.
INDEXED IN: DBLP
IN MY: DBLP
74
TITLE: GALACTICS: Gaussian Sampling for Lattice-Based Constant-Time Implementation of Cryptographic Signatures, Revisited
AUTHORS: Gilles Barthe ; Sonia Belaïd; Thomas Espitau; Pierre Alain Fouque; Mélissa Rossi; Mehdi Tibouchi;
PUBLISHED: 2019, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019
INDEXED IN: DBLP
IN MY: DBLP
75
TITLE: Hypothesis Testing Interpretations and Renyi Differential Privacy PDF
AUTHORS: Borja Balle; Gilles Barthe ; Marco Gaboardi; Justin Hsu; Tetsuya Sato;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1905.09982
INDEXED IN: DBLP arXiv
IN MY: DBLP
76
TITLE: Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs
AUTHORS: Patrick Baillot; Gilles Barthe ; Ugo Dal Lago;
PUBLISHED: 2019, SOURCE: J. Autom. Reason., VOLUME: 63, ISSUE: 4
INDEXED IN: DBLP
IN MY: DBLP
77
TITLE: Kantorovich Continuity of Probabilistic Programs PDF
AUTHORS: Alejandro Aguirre; Gilles Barthe ; Justin Hsu; Benjamin Lucien Kaminski; Joost Pieter Katoen; Christoph Matheja;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1901.06540
INDEXED IN: DBLP arXiv
IN MY: DBLP
78
TITLE: Machine-Checked Proofs for Cryptographic Standards
AUTHORS: José Bacelar Almeida ; Cecile Baritel Ruet; Manuel Barbosa ; Gilles Barthe ; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Alley Stoughton; Pierre Yves Strub;
PUBLISHED: 2019, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019
INDEXED IN: DBLP
IN MY: DBLP
79
TITLE: Machine-Checked Proofs for Cryptographic Standards Indifferentiability of SPONGE and Secure High-Assurance Implementations of SHA-3. Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3  Full Text
AUTHORS: Jose Bacelar Almeida ; Cecile Baritel Ruet; Manuel Barbosa ; Gilles Barthe ; Francois Dupressoir; Benjamin Gregoire; Vincent Laporte; Tiago Oliveira ; Alley Stoughton; Pierre Yves Strub;
PUBLISHED: 2019, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19)
INDEXED IN: Scopus WOS DBLP CrossRef: 17
IN MY: DBLP
80
TITLE: maskVerif: Automated Verification of Higher-Order Masking in Presence of Physical Defaults
AUTHORS: Gilles Barthe ; Sonia Belaïd; Gaëtan Cassiers; Pierre Alain Fouque; Benjamin Grégoire; François Xavier Standaert;
PUBLISHED: 2019, SOURCE: Computer Security - ESORICS 2019 - 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part I, VOLUME: 11735
INDEXED IN: DBLP
IN MY: DBLP
Page 8 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