Gilles Barthe


AuthID: R-00H-7MM

Publicações Confirmadas: 163



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
NO MEU: 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 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26 - March 1, 2024, VOLUME: P-343
INDEXADO EM: DBLP
NO MEU: 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
NO MEU: DBLP
4
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: 43rd IEEE Symposium on Security and Privacy, SP 2022, San Francisco, CA, USA, May 22-26, 2022
INDEXADO EM: DBLP
NO MEU: DBLP
5
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: 2
NO MEU: DBLP
6
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
NO MEU: DBLP
7
TÍTULO: CoqQ: Foundational Verification of Quantum Programs
AUTORES: Li Zhou; Gilles Barthe ; Pierre Yves Strub; Junyi Liu; Mingsheng Ying;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2207.11350
INDEXADO EM: DBLP
NO MEU: DBLP
8
TÍTULO: Enforcing Fine-grained Constant-time Policies
AUTORES: Basavesh Ammanaghatta Shivakumar; Gilles Barthe ; Benjamin Grégoire; Vincent Laporte; Swarn Priya;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022
INDEXADO EM: DBLP
NO MEU: DBLP
9
TÍTULO: Enforcing fine-grained constant-time policies
AUTORES: Basavesh Ammanaghatta Shivakumar; Gilles Barthe ; Benjamin Grégoire; Vincent Laporte; Swarn Priya;
PUBLICAÇÃO: 2022, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2022
INDEXADO EM: DBLP
NO MEU: DBLP
10
TÍTULO: Flux: Liquid Types for Rust
AUTORES: Nico Lehmann; Adam Geller; Gilles Barthe ; Niki Vazou; Ranjit Jhala;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2207.04034
INDEXADO EM: DBLP
NO MEU: DBLP
Página 1 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