Gilles Barthe


AuthID: R-00H-7MM

Publicações Confirmadas: 123



1
TÍTULO: Masking the GLP Lattice-Based Signature Scheme at Any Order
AUTORES: Gilles Barthe ; Sonia Belaïd; Thomas Espitau; Pierre Alain Fouque; Benjamin Grégoire; Mélissa Rossi; Mehdi Tibouchi;
PUBLICAÇÃO: 2024, FONTE: J. Cryptol., VOLUME: 37, NÚMERO: 1
INDEXADO EM: DBLP
2
TÍTULO: They're not that hard to mitigate: What Cryptographic Library Developers Think About Timing Attacks
AUTORES: Jan Jancar; Marcel Fourné; Daniel De Almeida Braga; Mohamed Sabt; Peter Schwabe; Gilles Barthe ; Pierre Alain Fouque; Yasemin Acar;
PUBLICAÇÃO: 2024, FONTE: Software Engineering
INDEXADO EM: DBLP
3
TÍTULO: A Survey of Algorithmic Recourse: Contrastive Explanations and Consequential Recommendations
AUTORES: Amir Hossein Karimi; Gilles Barthe ; Bernhard Schölkopf; Isabel Valera;
PUBLICAÇÃO: 2023, FONTE: ACM Comput. Surv., VOLUME: 55, NÚMERO: 5
INDEXADO EM: DBLP
4
TÍTULO: CoqQ: Foundational Verification of Quantum Programs
AUTORES: Li Zhou; Gilles Barthe ; Pierre Yves Strub; Junyi Liu; Mingsheng Ying;
PUBLICAÇÃO: 2023, FONTE: Proc. ACM Program. Lang., VOLUME: 7, NÚMERO: POPL
INDEXADO EM: DBLP
5
TÍTULO: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
AUTORES: Barbosa, Manuel ; Barthe, Gilles ; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
PUBLICAÇÃO: 2023, FONTE: ACM TRANSACTIONS ON PRIVACY AND SECURITY, VOLUME: 26, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
6
TÍTULO: Spectre Declassified: Reading from the Right Place at the Wrong Time
AUTORES: Basavesh Ammanaghatta Shivakumar; Jack Barnes; Gilles Barthe ; Sunjay Cauligi; Chitchanok Chuengsatiansup; Daniel Genkin; Sioli O'Connell; Peter Schwabe; Rui Qi Sim; Yuval Yarom;
PUBLICAÇÃO: 2023, FONTE: SP
INDEXADO EM: DBLP
7
TÍTULO: Typing High-Speed Cryptography against Spectre v1  Full Text
AUTORES: Basavesh Ammanaghatta Shivakumar; Gilles Barthe ; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Swarn Priya; Peter Schwabe; Lucas Tabary Maujean;
PUBLICAÇÃO: 2023, FONTE: SP, VOLUME: 2023-May
INDEXADO EM: Scopus DBLP CrossRef: 15
8
TÍTULO: "They're not that hard to mitigate": What Cryptographic Library Developers Think About Timing Attacks
AUTORES: Jan Jancar; Marcel Fourné; Daniel De Almeida Braga; Mohamed Sabt; Peter Schwabe; Gilles Barthe ; Pierre Alain Fouque; Yasemin Acar;
PUBLICAÇÃO: 2022, FONTE: SP
INDEXADO EM: DBLP
9
TÍTULO: A formal treatment of the role of verified compilers in secure computation
AUTORES: Bacelar Almeida, Jose Carlos ; Barbosa, Manuel ; Barthe, Gilles ; Pacheco, Hugo ; Pereira, Vitor; Portela, Bernardo ;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 125
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
10
TÍTULO: Breaking and Fixing Speculative Load Hardening
AUTORES: Zhiyuan Zhang; Gilles Barthe ; Chitchanok Chuengsatiansup; Peter Schwabe; Yuval Yarom;
PUBLICAÇÃO: 2022, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2022
INDEXADO EM: DBLP
Página 1 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