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 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
DBLP5
TITLE: Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium
AUTHORS: Manuel Barbosa ; Gilles Barthe; Christian Doczkal; Jelle Don; Serge Fehr; Benjamin Grégoire; Yu Hsuan Huang; Andreas Hülsing; Yi Lee; Xiaodi Wu;
PUBLISHED: 2023, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2023
AUTHORS: Manuel Barbosa ; Gilles Barthe; Christian Doczkal; Jelle Don; Serge Fehr; Benjamin Grégoire; Yu Hsuan Huang; Andreas Hülsing; Yi Lee; Xiaodi Wu;
PUBLISHED: 2023, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2023
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP6
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
DBLP7
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
8
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
DBLP9
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
DBLP10
TITLE: Ultimate SLH: Taking Speculative Load Hardening to the Next Level
AUTHORS: Zhiyuan Zhang; Gilles Barthe; Chitchanok Chuengsatiansup; Peter Schwabe; Yuval Yarom;
PUBLISHED: 2023, SOURCE: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023
AUTHORS: Zhiyuan Zhang; Gilles Barthe; Chitchanok Chuengsatiansup; Peter Schwabe; Yuval Yarom;
PUBLISHED: 2023, SOURCE: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP