Gilles Barthe
AuthID: R-00H-7MM
1
TITLE: Protecting Cryptographic Code Against Spectre-RSB: (and, in Fact, All Known Spectre Variants)
AUTHORS: Santiago Arranz Olmos; Gilles Barthe; Chitchanok Chuengsatiansup; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Peter Schwabe; Yuval Yarom; Zhiyuan Zhang;
PUBLISHED: 2025, SOURCE: 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
AUTHORS: Santiago Arranz Olmos; Gilles Barthe; Chitchanok Chuengsatiansup; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Peter Schwabe; Yuval Yarom; Zhiyuan Zhang;
PUBLISHED: 2025, SOURCE: 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
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP2
TITLE: Preservation of Speculative Constant-Time by Compilation
AUTHORS: Santiago Arranz Olmos; Gilles Barthe; Lionel Blatter; Benjamin Grégoire; Vincent Laporte;
PUBLISHED: 2025, SOURCE: Proc. ACM Program. Lang., VOLUME: 9, ISSUE: POPL
AUTHORS: Santiago Arranz Olmos; Gilles Barthe; Lionel Blatter; Benjamin Grégoire; Vincent Laporte;
PUBLISHED: 2025, SOURCE: Proc. ACM Program. Lang., VOLUME: 9, ISSUE: POPL
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP3
TITLE: A Quantitative Probabilistic Relational Hoare Logic
AUTHORS: Martin Avanzini; Gilles Barthe; Davide Davoli; Benjamin Grégoire;
PUBLISHED: 2025, SOURCE: Proc. ACM Program. Lang., VOLUME: 9, ISSUE: POPL
AUTHORS: Martin Avanzini; Gilles Barthe; Davide Davoli; Benjamin Grégoire;
PUBLISHED: 2025, SOURCE: Proc. ACM Program. Lang., VOLUME: 9, ISSUE: POPL
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP4
TITLE: Automating Equational Proofs in Dirac Notation
AUTHORS: Yingte Xu; Gilles Barthe; Li Zhou;
PUBLISHED: 2025, SOURCE: Proc. ACM Program. Lang., VOLUME: 9, ISSUE: POPL
AUTHORS: Yingte Xu; Gilles Barthe; Li Zhou;
PUBLISHED: 2025, SOURCE: Proc. ACM Program. Lang., VOLUME: 9, ISSUE: POPL
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP5
TITLE: Transparent Decompilation for Timing Side-Channel Analyses
AUTHORS: Santiago Arranz Olmos; Gilles Barthe; Lionel Blatter; Sören van der Wall; Zhiyuan Zhang;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2501.04183
AUTHORS: Santiago Arranz Olmos; Gilles Barthe; Lionel Blatter; Sören van der Wall; Zhiyuan Zhang;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2501.04183
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP6
TITLE: Complete Quantum Relational Hoare Logics from Optimal Transport Duality
AUTHORS: Gilles Barthe; Minbo Gao; Theo Wang; Li Zhou;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2501.15238
AUTHORS: Gilles Barthe; Minbo Gao; Theo Wang; Li Zhou;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2501.15238
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP7
TITLE: CT-LLVM: Automatic Large-Scale Constant-Time Analysis
AUTHORS: Zhiyuan Zhang; Gilles Barthe;
PUBLISHED: 2025, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2025
AUTHORS: Zhiyuan Zhang; Gilles Barthe;
PUBLISHED: 2025, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2025
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP8
TITLE: High-assurance zeroization
AUTHORS: Santiago Arranz Olmos; Gilles Barthe; Ruben Gonzalez; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Peter Schwabe;
PUBLISHED: 2024, SOURCE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2024, ISSUE: 1
AUTHORS: Santiago Arranz Olmos; Gilles Barthe; Ruben Gonzalez; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Peter Schwabe;
PUBLISHED: 2024, SOURCE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2024, ISSUE: 1
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP9
TITLE: Testing Side-channel Security of Cryptographic Implementations against Future Microarchitectures
AUTHORS: Gilles Barthe; Marcel Böhme; Sunjay Cauligi; Chitchanok Chuengsatiansup; Daniel Genkin; Marco Guarnieri; David Mateos Romero; Peter Schwabe; David Wu; Yuval Yarom;
PUBLISHED: 2024, SOURCE: Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, CCS 2024, Salt Lake City, UT, USA, October 14-18, 2024
AUTHORS: Gilles Barthe; Marcel Böhme; Sunjay Cauligi; Chitchanok Chuengsatiansup; Daniel Genkin; Marco Guarnieri; David Mateos Romero; Peter Schwabe; David Wu; Yuval Yarom;
PUBLISHED: 2024, SOURCE: Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, CCS 2024, Salt Lake City, UT, USA, October 14-18, 2024
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP10
TITLE: Decision and Complexity of Dolev-Yao Hyperproperties
AUTHORS: Itsaka Rakotonirina; Gilles Barthe; Clara Schneidewind;
PUBLISHED: 2024, SOURCE: Proc. ACM Program. Lang., VOLUME: 8, ISSUE: POPL
AUTHORS: Itsaka Rakotonirina; Gilles Barthe; Clara Schneidewind;
PUBLISHED: 2024, SOURCE: Proc. ACM Program. Lang., VOLUME: 8, ISSUE: POPL
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP