Gilles Barthe


AuthID: R-00H-7MM

Confirmed Publications: 123



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
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
INDEXED IN: 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
4
TITLE: CoqQ: Foundational Verification of Quantum Programs
AUTHORS: Li Zhou; Gilles Barthe ; Pierre Yves Strub; Junyi Liu; Mingsheng Ying;
PUBLISHED: 2023, SOURCE: Proc. ACM Program. Lang., VOLUME: 7, ISSUE: POPL
INDEXED IN: DBLP
5
TITLE: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
AUTHORS: Barbosa, Manuel ; Barthe, Gilles ; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
PUBLISHED: 2023, SOURCE: ACM TRANSACTIONS ON PRIVACY AND SECURITY, VOLUME: 26, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 1
6
TITLE: Spectre Declassified: Reading from the Right Place at the Wrong Time
AUTHORS: Basavesh Ammanaghatta Shivakumar; Jack Barnes; Gilles Barthe ; Sunjay Cauligi; Chitchanok Chuengsatiansup; Daniel Genkin; Sioli O'Connell; Peter Schwabe; Rui Qi Sim; Yuval Yarom;
PUBLISHED: 2023, SOURCE: SP
INDEXED IN: DBLP
7
TITLE: Typing High-Speed Cryptography against Spectre v1  Full Text
AUTHORS: Basavesh Ammanaghatta Shivakumar; Gilles Barthe ; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Swarn Priya; Peter Schwabe; Lucas Tabary Maujean;
PUBLISHED: 2023, SOURCE: SP, VOLUME: 2023-May
INDEXED IN: Scopus DBLP CrossRef: 15
8
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: SP
INDEXED IN: DBLP
9
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: 3
10
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
Page 1 of 13. Total results: 123.

footer slogan

Useful Links

Get Help

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