Gilles Barthe


AuthID: R-00H-7MM

Publicações Confirmadas: 163



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