Gilles Barthe
AuthID: R-00H-7MM
11
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: 2025
AUTHORS: Santiago Arranz Olmos; Gilles Barthe; Chitchanok Chuengsatiansup; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Peter Schwabe; Yuval Yarom; Zhiyuan Zhang;
PUBLISHED: 2025
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: 2025
AUTHORS: Santiago Arranz Olmos; Gilles Barthe; Chitchanok Chuengsatiansup; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Peter Schwabe; Yuval Yarom; Zhiyuan Zhang;
PUBLISHED: 2025
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP13
TITLE: Traq: Estimating the Quantum Cost of Classical Programs
AUTHORS: Anurudh Peduri; Gilles Barthe; Michael Walter;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2509.01508
AUTHORS: Anurudh Peduri; Gilles Barthe; Michael Walter;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2509.01508
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP14
TITLE: Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs
AUTHORS: Almeida, Jose Bacelar ; Barbosa, Manuel ; Barthe, Gilles; Blatter, Lionel; Delerue, Gustavo; Duarte, Joao Diogo; Gregoire, Benjamin; Oliveira, Tiago; Quaresma, Miguel; Strub, Pierre Yves; Tsai, Ming Hsien; Wang, Bow Yaw; Yang, Bo Yin;
PUBLISHED: 2025, SOURCE: 32nd Conference on Computer and Communications Security-CCS in PROCEEDINGS OF THE 2025 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2025
AUTHORS: Almeida, Jose Bacelar ; Barbosa, Manuel ; Barthe, Gilles; Blatter, Lionel; Delerue, Gustavo; Duarte, Joao Diogo; Gregoire, Benjamin; Oliveira, Tiago; Quaresma, Miguel; Strub, Pierre Yves; Tsai, Ming Hsien; Wang, Bow Yaw; Yang, Bo Yin;
PUBLISHED: 2025, SOURCE: 32nd Conference on Computer and Communications Security-CCS in PROCEEDINGS OF THE 2025 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2025
INDEXED IN: 
WOS DBLP
WOS DBLP IN MY: DBLP
DBLP15
TITLE: A Duality Theorem for Classical-Quantum States with Applications to Complete Relational Program Logics
AUTHORS: Gilles Barthe; Minbo Gao; Jam Kabeer Ali Khan; Matthijs Muis; Ivan Renison; Keiya Sakabe; Michael Walter; Yingte Xu; Li Zhou;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2510.07051
AUTHORS: Gilles Barthe; Minbo Gao; Jam Kabeer Ali Khan; Matthijs Muis; Ivan Renison; Keiya Sakabe; Michael Walter; Yingte Xu; Li Zhou;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2510.07051
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP16
TITLE: (Dis)Proving Spectre Security with Speculation-Passing Style
AUTHORS: Santiago Arranz Olmos; Gilles Barthe; Lionel Blatter; Xingyu Xie; Zhiyuan Zhang;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2510.11573
AUTHORS: Santiago Arranz Olmos; Gilles Barthe; Lionel Blatter; Xingyu Xie; Zhiyuan Zhang;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2510.11573
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP17
TITLE: The Jasmin Compiler Preserves Cryptographic Security
AUTHORS: Santiago Arranz Olmos; Gilles Barthe; Lionel Blatter; Benjamin Grégoire; Vincent Laporte; Paolo Torrini;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2511.11292
AUTHORS: Santiago Arranz Olmos; Gilles Barthe; Lionel Blatter; Benjamin Grégoire; Vincent Laporte; Paolo Torrini;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2511.11292
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP18
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
19
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: CCS
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: CCS
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP20
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