Gilles Barthe


AuthID: R-00H-7MM

Publicações Confirmadas: 123



91
TÍTULO: Generic Transformations of Predicate Encodings: Constructions and Applications
AUTORES: Miguel Ambrona; Gilles Barthe ; Benedikt Schmidt;
PUBLICAÇÃO: 2017, FONTE: CRYPTO (1)
INDEXADO EM: DBLP
92
TÍTULO: Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs
AUTORES: Pedro R D'Argenio; Gilles Barthe ; Sebastian Biewer; Bernd Finkbeiner; Holger Hermanns;
PUBLICAÇÃO: 2017, FONTE: ESOP
INDEXADO EM: DBLP
93
TÍTULO: Jasmin: High-Assurance and High-Speed Cryptography. High-Assurance and High-Speed Cryptography
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Arthur Blot; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira ; Hugo Pacheco ; Benedikt Schmidt; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY
INDEXADO EM: Scopus WOS DBLP CrossRef: 86
94
TÍTULO: Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model
AUTORES: Gilles Barthe ; François Dupressoir; Sebastian Faust; Benjamin Grégoire; François Xavier Standaert; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: EUROCRYPT (1)
INDEXADO EM: DBLP
95
TÍTULO: Provably secure compilation of side-channel countermeasures
AUTORES: Gilles Barthe ; Benjamin Grégoire; Vincent Laporte;
PUBLICAÇÃO: 2017, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2017
INDEXADO EM: DBLP
96
TÍTULO: Proving uniformity and independence by self-composition and coupling
AUTORES: Gilles Barthe ; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: LPAR
INDEXADO EM: DBLP
97
TÍTULO: Reasoning about Divergences for Relaxations of Differential Privacy
AUTORES: Tetsuya Sato; Gilles Barthe ; Marco Gaboardi; Justin Hsu; Shin ya Katsumata;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1710.09010
INDEXADO EM: DBLP
98
TÍTULO: Reasoning about Probabilistic Defense Mechanisms against Remote Attacks
AUTORES: Martín Ochoa; Sebastian Banescu; Cynthia Disenfeld; Gilles Barthe ; Vijay Ganesh;
PUBLICAÇÃO: 2017, FONTE: EuroS&P
INDEXADO EM: DBLP
99
TÍTULO: Relational cost analysis
AUTORES: Ezgi Çiçek; Gilles Barthe ; Marco Gaboardi; Deepak Garg; Jan Hoffmann;
PUBLICAÇÃO: 2017, FONTE: POPL
INDEXADO EM: DBLP
100
TÍTULO: Verified Translation Validation of Static Analyses
AUTORES: Gilles Barthe ; Sandrine Blazy; Vincent Laporte; David Pichardie; Alix Trieu;
PUBLICAÇÃO: 2017, FONTE: CSF
INDEXADO EM: DBLP
Página 10 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