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
2
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: Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt
AUTHORS: José Bacelar Almeida; Gustavo Xavier Delerue Marinho Alves; Manuel Barbosa; Gilles Barthe; Luís Esquível; Vincent Hwang; Tiago Oliveira; Hugo Pacheco; Peter Schwabe; Pierre Yves Strub;
PUBLISHED: 2025, SOURCE: 46th IEEE Symposium on Security and Privacy, SP 2025 in IEEE Symposium on Security and Privacy, SP 2025, San Francisco, CA, USA, May 12-15, 2025
AUTHORS: José Bacelar Almeida; Gustavo Xavier Delerue Marinho Alves; Manuel Barbosa; Gilles Barthe; Luís Esquível; Vincent Hwang; Tiago Oliveira; Hugo Pacheco; Peter Schwabe; Pierre Yves Strub;
PUBLISHED: 2025, SOURCE: 46th IEEE Symposium on Security and Privacy, SP 2025 in IEEE Symposium on Security and Privacy, SP 2025, San Francisco, CA, USA, May 12-15, 2025
INDEXED IN: 
Scopus DBLP
Scopus DBLP IN MY: DBLP
DBLP9
TITLE: D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation
AUTHORS: Yingte Xu; Li Zhou; Gilles Barthe;
PUBLISHED: 2025, SOURCE: Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV, VOLUME: 15934
AUTHORS: Yingte Xu; Li Zhou; Gilles Barthe;
PUBLISHED: 2025, SOURCE: Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV, VOLUME: 15934
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP10
TITLE: Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs
AUTHORS: Junyi Liu; Li Zhou; Gilles Barthe; Mingsheng Ying;
PUBLISHED: 2025, SOURCE: J. ACM, VOLUME: 72, ISSUE: 3
AUTHORS: Junyi Liu; Li Zhou; Gilles Barthe; Mingsheng Ying;
PUBLISHED: 2025, SOURCE: J. ACM, VOLUME: 72, ISSUE: 3
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP