Gilles Barthe
AuthID: R-00H-7MM
1
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
DBLP2
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: CoRR, VOLUME: abs/2402.00641
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: CoRR, VOLUME: abs/2402.00641
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP3
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
DBLP4
TITLE: Formally Verifying Kyber Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt
AUTHORS: Almeida, Jose Bacelar ; Olmos, Santiago Arranz; Barbosa, Manuel ; Barthe, Gilles; Dupressoir, Francois; Gregoire, Benjamin; Laporte, Vincent; Lechenet, Jean Christophe; Low, Cameron; Oliveira, Tiago; Pacheco, Hugo ; Quaresma, Miguel; Schwabe, Peter; Strub, Pierre Yves;
PUBLISHED: 2024, SOURCE: 44th Annual International Cryptology Conference on Advances in Cryptology (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2024, PT II, VOLUME: 14921
AUTHORS: Almeida, Jose Bacelar ; Olmos, Santiago Arranz; Barbosa, Manuel ; Barthe, Gilles; Dupressoir, Francois; Gregoire, Benjamin; Laporte, Vincent; Lechenet, Jean Christophe; Low, Cameron; Oliveira, Tiago; Pacheco, Hugo ; Quaresma, Miguel; Schwabe, Peter; Strub, Pierre Yves;
PUBLISHED: 2024, SOURCE: 44th Annual International Cryptology Conference on Advances in Cryptology (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2024, PT II, VOLUME: 14921
INDEXED IN: 
Scopus 
WOS DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP5
TITLE: Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs
AUTHORS: Martin Avanzini; Gilles Barthe; Benjamin Grégoire; Georg Moser; Gabriele Vanoni;
PUBLISHED: 2024, SOURCE: Proc. ACM Program. Lang., VOLUME: 8, ISSUE: OOPSLA1
AUTHORS: Martin Avanzini; Gilles Barthe; Benjamin Grégoire; Georg Moser; Gabriele Vanoni;
PUBLISHED: 2024, SOURCE: Proc. ACM Program. Lang., VOLUME: 8, ISSUE: OOPSLA1
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP6
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
DBLP7
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
DBLP8
TITLE: Preservation of Speculative Constant-time by Compilation
AUTHORS: Santiago Arranz Olmos; Gilles Barthe; Lionel Blatter; Benjamin Grégoire; Vincent Laporte;
PUBLISHED: 2024, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2024
AUTHORS: Santiago Arranz Olmos; Gilles Barthe; Lionel Blatter; Benjamin Grégoire; Vincent Laporte;
PUBLISHED: 2024, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2024
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP9
TITLE: A quantitative probabilistic relational Hoare logic
AUTHORS: Martin Avanzini; Gilles Barthe; Davide Davoli; Benjamin Grégoire;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2407.17127
AUTHORS: Martin Avanzini; Gilles Barthe; Davide Davoli; Benjamin Grégoire;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2407.17127
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP10
TITLE: Formally verifying Kyber Part I: 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 Cryptol. ePrint Arch., VOLUME: 2023
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 Cryptol. ePrint Arch., VOLUME: 2023
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP