Gilles Barthe


AuthID: R-00H-7MM

Publicações Confirmadas: 123



61
TÍTULO: Kantorovich Continuity of Probabilistic Programs
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
62
TÍTULO: Machine-Checked Proofs for Cryptographic Standards
AUTORES: José Bacelar Almeida ; Cécile 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
63
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
AUTORES: Almeida, JB ; Baritel Ruet, C; Barbosa, M ; Barthe, G ; Dupressoir, F; Grégoire, B; Laporte, V; Oliveira, T ; Stoughton, A; Strub, PY;
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: 29
64
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: ESORICS (1)
INDEXADO EM: DBLP
65
TÍTULO: Privacy Amplification by Mixing and Diffusion Mechanisms
AUTORES: Borja Balle; Gilles Barthe ; Marco Gaboardi; Joseph Geumlek;
PUBLICAÇÃO: 2019, FONTE: NeurIPS
INDEXADO EM: DBLP
66
TÍTULO: Program for TPDP 2016
AUTORES: Gilles Barthe ; Christos Dimitrakakis; Marco Gaboardi; Andreas Haeberlen; Aaron Roth; Aleksandra B Slavkovic;
PUBLICAÇÃO: 2019, FONTE: J. Priv. Confidentiality, VOLUME: 9, NÚMERO: 1
INDEXADO EM: DBLP
67
TÍTULO: Relational ⋆⋆\star-Liftings for Differential Privacy
AUTORES: Gilles Barthe ; Thomas Espitau; Justin Hsu; Tetsuya Sato; Pierre Yves Strub;
PUBLICAÇÃO: 2019, FONTE: Log. Methods Comput. Sci., VOLUME: 15, NÚMERO: 4
INDEXADO EM: DBLP
68
TÍTULO: Symbolic Methods in Computational Cryptography Proofs
AUTORES: Gilles Barthe ; Benjamin Grégoire; Charlie Jacomme; Steve Kremer; Pierre Yves Strub;
PUBLICAÇÃO: 2019, FONTE: CSF
INDEXADO EM: DBLP
69
TÍTULO: System-Level Non-interference of Constant-Time Cryptography. Part I: Model
AUTORES: Gilles Barthe ; Gustavo Betarte; Juan Diego Campo; Carlos Luna;
PUBLICAÇÃO: 2019, FONTE: J. Autom. Reason., VOLUME: 63, NÚMERO: 1
INDEXADO EM: DBLP
70
TÍTULO: Verifying Relational Properties using Trace Logic
AUTORES: Gilles Barthe ; Renate Eilers; Pamina Georgiou; Bernhard Gleiss; Laura Kovács; Matteo Maffei;
PUBLICAÇÃO: 2019, FONTE: FMCAD
INDEXADO EM: DBLP
Página 7 de 13. Total de resultados: 123.

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

Links Úteis

Ajuda

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