Gilles Barthe
AuthID: R-00H-7MM
11
TITLE: "These results must be false": A usability evaluation of constant-time analysis tools
AUTHORS: Marcel Fourné; Daniel De Almeida Braga; Jan Jancar; Mohamed Sabt; Peter Schwabe; Gilles Barthe; Pierre Alain Fouque; Yasemin Acar;
PUBLISHED: 2024, SOURCE: 33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024
AUTHORS: Marcel Fourné; Daniel De Almeida Braga; Jan Jancar; Mohamed Sabt; Peter Schwabe; Gilles Barthe; Pierre Alain Fouque; Yasemin Acar;
PUBLISHED: 2024, SOURCE: 33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP12
TITLE: Protecting cryptographic code against Spectre-RSB
AUTHORS: Santiago Arranz Olmos; Gilles Barthe; Chitchanok Chuengsatiansup; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Peter Schwabe; Yuval Yarom; Zhiyuan Zhang;
PUBLISHED: 2024, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2024
AUTHORS: Santiago Arranz Olmos; Gilles Barthe; Chitchanok Chuengsatiansup; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Peter Schwabe; Yuval Yarom; Zhiyuan Zhang;
PUBLISHED: 2024, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2024
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP13
TITLE: OBRA: Oracle-Based, Relational, Algorithmic Type Verification
AUTHORS: Elizaveta Vasilenko; Niki Vazou; Gilles Barthe;
PUBLISHED: 2024, SOURCE: Programming Languages and Systems - 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings, VOLUME: 15194
AUTHORS: Elizaveta Vasilenko; Niki Vazou; Gilles Barthe;
PUBLISHED: 2024, SOURCE: Programming Languages and Systems - 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings, VOLUME: 15194
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP14
TITLE: A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs
AUTHORS: Vineet Rajani; Gilles Barthe; Deepak Garg;
PUBLISHED: 2024, SOURCE: Proc. ACM Program. Lang., VOLUME: 8, ISSUE: OOPSLA2
AUTHORS: Vineet Rajani; Gilles Barthe; Deepak Garg;
PUBLISHED: 2024, SOURCE: Proc. ACM Program. Lang., VOLUME: 8, ISSUE: OOPSLA2
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP15
TITLE: Laws of Quantum Programming
AUTHORS: Mingsheng Ying; Li Zhou; Gilles Barthe;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2412.19463
AUTHORS: Mingsheng Ying; Li Zhou; Gilles Barthe;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2412.19463
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP16
TITLE: Formally verifying Kyber Episode IV: Implementation correctness. Episode IV: Implementation correctness
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Hugo Pacheco ; Miguel Quaresma; Peter Schwabe; Antoine Séré; Pierre Yves Strub;
PUBLISHED: 2023, SOURCE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2023, ISSUE: 3
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Hugo Pacheco ; Miguel Quaresma; Peter Schwabe; Antoine Séré; Pierre Yves Strub;
PUBLISHED: 2023, SOURCE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2023, ISSUE: 3
17
TITLE: Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium
AUTHORS: Barbosa, Manuel ; Barthe, Gilles; Doczkal, Christian; Don, Jelle; Fehr, Serge; Gregoire, Benjamin; Huang, Yu Hsuan; Hulsing, Andreas; Lee, Yi; Wu, Xiaodi;
PUBLISHED: 2023, SOURCE: 43rd International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT V, VOLUME: 14085
AUTHORS: Barbosa, Manuel ; Barthe, Gilles; Doczkal, Christian; Don, Jelle; Fehr, Serge; Gregoire, Benjamin; Huang, Yu Hsuan; Hulsing, Andreas; Lee, Yi; Wu, Xiaodi;
PUBLISHED: 2023, SOURCE: 43rd International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT V, VOLUME: 14085
18
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
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
DBLP IN MY: DBLP
DBLP19
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: 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023
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: 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP20
TITLE: Typing High-Speed Cryptography against Spectre v1
AUTHORS: Basavesh Ammanaghatta Shivakumar; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Swarn Priya; Peter Schwabe; Lucas Tabary Maujean;
PUBLISHED: 2023, SOURCE: 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023
AUTHORS: Basavesh Ammanaghatta Shivakumar; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Swarn Priya; Peter Schwabe; Lucas Tabary Maujean;
PUBLISHED: 2023, SOURCE: 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP