Gilles Barthe


AuthID: R-00H-7MM

Publicações Confirmadas: 163



111
TÍTULO: Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus PDF
AUTORES: Alejandro Aguirre; Gilles Barthe ; Lars Birkedal; Ales Bizjak; Marco Gaboardi; Deepak Garg;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1802.09787
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
112
TÍTULO: Secure Compilation of Side-Channel Countermeasures: The Case of Cryptographic "Constant-Time"
AUTORES: Gilles Barthe ; Benjamin Grégoire; Vincent Laporte;
PUBLICAÇÃO: 2018, FONTE: 31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, July 9-12, 2018
INDEXADO EM: DBLP
NO MEU: DBLP
113
TÍTULO: Symbolic Proofs for Lattice-Based Cryptography
AUTORES: Gilles Barthe ; Xiong Fan; Joshua Gancher; Benjamin Grégoire; Charlie Jacomme; Elaine Shi;
PUBLICAÇÃO: 2018, FONTE: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS 2018, Toronto, ON, Canada, October 15-19, 2018
INDEXADO EM: DBLP
NO MEU: DBLP
114
TÍTULO: Symbolic Proofs for Lattice-Based Cryptography
AUTORES: Gilles Barthe ; Xiong Fan; Joshua Gancher; Benjamin Grégoire; Charlie Jacomme; Elaine Shi;
PUBLICAÇÃO: 2018, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2018
INDEXADO EM: DBLP
NO MEU: DBLP
115
TÍTULO: *-Liftings for Differential Privacy
AUTORES: Gilles Barthe ; Thomas Espitau; Justin Hsu; Tetsuya Sato; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, VOLUME: 80
INDEXADO EM: DBLP
NO MEU: DBLP
116
TÍTULO: *-Liftings for Differential Privacy PDF
AUTORES: Gilles Barthe ; Thomas Espitau; Justin Hsu; Tetsuya Sato; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1705.00133
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
117
TÍTULO: A Fast and Verified Software Stack for Secure Function Evaluation
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Vitor Pereira ;
PUBLICAÇÃO: 2017, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2017
INDEXADO EM: DBLP
NO MEU: DBLP
118
TÍTULO: A Fast and Verified Software Stack for Secure Function Evaluation  Full Text
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F; Gregoire, B; Laporte, V; Pereira, V ;
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, VOLUME: Part F131467
INDEXADO EM: Scopus WOS DBLP CrossRef: 18 Unpaywall
NO MEU: DBLP
119
TÍTULO: A Note on 'Further Improving Efficiency of Higher-Order Masking Scheme by Decreasing Randomness Complexity'
AUTORES: Gilles Barthe ; François Dupressoir; Benjamin Grégoire;
PUBLICAÇÃO: 2017, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2017
INDEXADO EM: DBLP
NO MEU: DBLP
120
TÍTULO: A Relational Logic for Higher-Order Programs PDF
AUTORES: Alejandro Aguirre; Gilles Barthe ; Marco Gaboardi; Deepak Garg; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1703.05042
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
Página 12 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