Gilles Barthe


AuthID: R-00H-7MM

Publicações Confirmadas: 163



141
TÍTULO: Differentially Private Bayesian Programming
AUTORES: Gilles Barthe ; Gian Pietro Farina; Marco Gaboardi; Emilio Jesús Gallego Arias; Andy Gordon; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2016, FONTE: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, Vienna, Austria, October 24-28, 2016
INDEXADO EM: DBLP
NO MEU: DBLP
142
TÍTULO: Product programs and relational program logics
AUTORES: Gilles Barthe ; Juan Manuel Crespo; César Kunz;
PUBLICAÇÃO: 2016, FONTE: J. Log. Algebraic Methods Program., VOLUME: 85, NÚMERO: 5
INDEXADO EM: DBLP
NO MEU: DBLP
143
TÍTULO: Programming language techniques for differential privacy
AUTORES: Gilles Barthe ; Marco Gaboardi; Justin Hsu; Benjamin C Pierce;
PUBLICAÇÃO: 2016, FONTE: ACM SIGLOG News, VOLUME: 3, NÚMERO: 1
INDEXADO EM: DBLP
NO MEU: DBLP
144
TÍTULO: Strong Non-Interference and Type-Directed Higher-Order Masking
AUTORES: Gilles Barthe ; Sonia Belaïd; François Dupressoir; Pierre Alain Fouque; Benjamin Grégoire; Pierre Yves Strub; Rébecca Zucchini;
PUBLICAÇÃO: 2016, FONTE: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, Vienna, Austria, October 24-28, 2016
INDEXADO EM: DBLP
NO MEU: DBLP
145
TÍTULO: Strongly-optimal structure preserving signatures from Type II pairings: synthesis and lower bounds
AUTORES: Gilles Barthe ; Edvard Fagerholm; Dario Fiore; Andre Scedrov; Benedikt Schmidt; Mehdi Tibouchi;
PUBLICAÇÃO: 2016, FONTE: IET Inf. Secur., VOLUME: 10, NÚMERO: 6
INDEXADO EM: DBLP
NO MEU: DBLP
146
TÍTULO: Synthesizing Probabilistic Invariants via Doob's Decomposition
AUTORES: Gilles Barthe ; Thomas Espitau; Luis María Ferrer Fioriti; Justin Hsu;
PUBLICAÇÃO: 2016, FONTE: Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I, VOLUME: 9779
INDEXADO EM: DBLP
NO MEU: DBLP
147
TÍTULO: Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC
AUTORES: Jose Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Francois Dupressoir;
PUBLICAÇÃO: 2016, FONTE: 23rd International Conference on Fast Software Encryption (FSE) in FAST SOFTWARE ENCRYPTION (FSE 2016), VOLUME: 9783
INDEXADO EM: Scopus WOS DBLP CrossRef: 23
NO MEU: DBLP
148
TÍTULO: Verifying Constant-Time Implementations
AUTORES: Jose Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Francois Dupressoir; Michael Emmi;
PUBLICAÇÃO: 2016, FONTE: 25th USENIX Security Symposium in PROCEEDINGS OF THE 25TH USENIX SECURITY SYMPOSIUM
INDEXADO EM: WOS DBLP
NO MEU: DBLP
149
TÍTULO: Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir;
PUBLICAÇÃO: 2015, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2015
INDEXADO EM: DBLP
NO MEU: DBLP
150
TÍTULO: Verified Implementations for Secure and Verifiable Computation
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Guillaume Davy; François Dupressoir; Benjamin Grégoire; Pierre Yves Strub;
PUBLICAÇÃO: 2014, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2014
INDEXADO EM: DBLP
NO MEU: DBLP
Página 15 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