Gilles Barthe


AuthID: R-00H-7MM

Publicações a aguardar confirmação

1
TÍTULO: Protecting Cryptographic Code Against Spectre-RSB: (and, in Fact, All Known Spectre Variants)
AUTORES: Santiago Arranz Olmos; Gilles Barthe; Chitchanok Chuengsatiansup; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Peter Schwabe; Yuval Yarom; Zhiyuan Zhang;
PUBLICAÇÃO: 2025, FONTE: Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2, ASPLOS 2025, Rotterdam, Netherlands, 30 March 2025 - 3 April 2025
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
2
TÍTULO: Preservation of Speculative Constant-Time by Compilation
AUTORES: Santiago Arranz Olmos; Gilles Barthe; Lionel Blatter; Benjamin Grégoire; Vincent Laporte;
PUBLICAÇÃO: 2025, FONTE: Proc. ACM Program. Lang., VOLUME: 9, NÚMERO: POPL
INDEXADO EM: DBLP
NO MEU: DBLP
3
TÍTULO: A Quantitative Probabilistic Relational Hoare Logic
AUTORES: Martin Avanzini; Gilles Barthe; Davide Davoli; Benjamin Grégoire;
PUBLICAÇÃO: 2025, FONTE: Proc. ACM Program. Lang., VOLUME: 9, NÚMERO: POPL
INDEXADO EM: DBLP
NO MEU: DBLP
4
TÍTULO: Automating Equational Proofs in Dirac Notation
AUTORES: Yingte Xu; Gilles Barthe; Li Zhou;
PUBLICAÇÃO: 2025, FONTE: Proc. ACM Program. Lang., VOLUME: 9, NÚMERO: POPL
INDEXADO EM: DBLP
NO MEU: DBLP
5
TÍTULO: Transparent Decompilation for Timing Side-Channel Analyses
AUTORES: Santiago Arranz Olmos; Gilles Barthe; Lionel Blatter; Sören van der Wall; Zhiyuan Zhang;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2501.04183
INDEXADO EM: DBLP
NO MEU: DBLP
6
TÍTULO: Complete Quantum Relational Hoare Logics from Optimal Transport Duality
AUTORES: Gilles Barthe; Minbo Gao; Theo Wang; Li Zhou;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2501.15238
INDEXADO EM: DBLP
NO MEU: DBLP
7
TÍTULO: CT-LLVM: Automatic Large-Scale Constant-Time Analysis
AUTORES: Zhiyuan Zhang; Gilles Barthe;
PUBLICAÇÃO: 2025, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2025
INDEXADO EM: DBLP
NO MEU: DBLP
8
TÍTULO: Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt
AUTORES: José Bacelar Almeida; Gustavo Xavier Delerue Marinho Alves; Manuel Barbosa; Gilles Barthe; Luís Esquível; Vincent Hwang; Tiago Oliveira; Hugo Pacheco; Peter Schwabe; Pierre Yves Strub;
PUBLICAÇÃO: 2025, FONTE: 46th IEEE Symposium on Security and Privacy, SP 2025 in IEEE Symposium on Security and Privacy, SP 2025, San Francisco, CA, USA, May 12-15, 2025
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
9
TÍTULO: D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation
AUTORES: Yingte Xu; Li Zhou; Gilles Barthe;
PUBLICAÇÃO: 2025, FONTE: Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV, VOLUME: 15934
INDEXADO EM: DBLP
NO MEU: DBLP
10
TÍTULO: Let's DOIT: Using Intel's Extended HW/SW Contract for Secure Compilation of Crypto Code
AUTORES: Santiago Arranz Olmos; Gilles Barthe; Benjamin Grégoire; Jan Jancar; Vincent Laporte; Tiago Oliveira; Peter Schwabe;
PUBLICAÇÃO: 2025, FONTE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2025, NÚMERO: 3
INDEXADO EM: DBLP
NO MEU: DBLP
Página 1 de 22. Total de resultados: 214.

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

Links Úteis

Ajuda

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