Gilles Barthe


AuthID: R-00H-7MM

Confirmed Publications: 163



1
TITLE: Masking the GLP Lattice-Based Signature Scheme at Any Order
AUTHORS: Gilles Barthe ; Sonia Belaïd; Thomas Espitau; Pierre Alain Fouque; Benjamin Grégoire; Mélissa Rossi; Mehdi Tibouchi;
PUBLISHED: 2024, SOURCE: J. Cryptol., VOLUME: 37, ISSUE: 1
INDEXED IN: DBLP
IN MY: DBLP
2
TITLE: They're not that hard to mitigate: What Cryptographic Library Developers Think About Timing Attacks
AUTHORS: Jan Jancar; Marcel Fourné; Daniel De Almeida Braga; Mohamed Sabt; Peter Schwabe; Gilles Barthe ; Pierre Alain Fouque; Yasemin Acar;
PUBLISHED: 2024, SOURCE: Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26 - March 1, 2024, VOLUME: P-343
INDEXED IN: DBLP
IN MY: DBLP
3
TITLE: A Survey of Algorithmic Recourse: Contrastive Explanations and Consequential Recommendations
AUTHORS: Amir Hossein Karimi; Gilles Barthe ; Bernhard Schölkopf; Isabel Valera;
PUBLISHED: 2023, SOURCE: ACM Comput. Surv., VOLUME: 55, ISSUE: 5
INDEXED IN: DBLP
IN MY: DBLP
4
TITLE: "They're not that hard to mitigate": What Cryptographic Library Developers Think About Timing Attacks
AUTHORS: Jan Jancar; Marcel Fourné; Daniel De Almeida Braga; Mohamed Sabt; Peter Schwabe; Gilles Barthe ; Pierre Alain Fouque; Yasemin Acar;
PUBLISHED: 2022, SOURCE: 43rd IEEE Symposium on Security and Privacy, SP 2022, San Francisco, CA, USA, May 22-26, 2022
INDEXED IN: DBLP
IN MY: DBLP
5
TITLE: A formal treatment of the role of verified compilers in secure computation
AUTHORS: Bacelar Almeida, Jose Carlos ; Barbosa, Manuel ; Barthe, Gilles ; Pacheco, Hugo ; Pereira, Vitor; Portela, Bernardo ;
PUBLISHED: 2022, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 125
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: DBLP
6
TITLE: Breaking and Fixing Speculative Load Hardening
AUTHORS: Zhiyuan Zhang; Gilles Barthe ; Chitchanok Chuengsatiansup; Peter Schwabe; Yuval Yarom;
PUBLISHED: 2022, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2022
INDEXED IN: DBLP
IN MY: DBLP
7
TITLE: CoqQ: Foundational Verification of Quantum Programs
AUTHORS: Li Zhou; Gilles Barthe ; Pierre Yves Strub; Junyi Liu; Mingsheng Ying;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2207.11350
INDEXED IN: DBLP
IN MY: DBLP
8
TITLE: Enforcing Fine-grained Constant-time Policies
AUTHORS: Basavesh Ammanaghatta Shivakumar; Gilles Barthe ; Benjamin Grégoire; Vincent Laporte; Swarn Priya;
PUBLISHED: 2022, SOURCE: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022
INDEXED IN: DBLP
IN MY: DBLP
9
TITLE: Enforcing fine-grained constant-time policies
AUTHORS: Basavesh Ammanaghatta Shivakumar; Gilles Barthe ; Benjamin Grégoire; Vincent Laporte; Swarn Priya;
PUBLISHED: 2022, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2022
INDEXED IN: DBLP
IN MY: DBLP
10
TITLE: Flux: Liquid Types for Rust
AUTHORS: Nico Lehmann; Adam Geller; Gilles Barthe ; Niki Vazou; Ranjit Jhala;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2207.04034
INDEXED IN: DBLP
IN MY: DBLP
Page 1 of 17. Total results: 163.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service