Gilles Barthe
AuthID: R-00H-7MM
11
TÃTULO: Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs
AUTORES: Junyi Liu; Li Zhou; Gilles Barthe; Mingsheng Ying;
PUBLICAÇÃO: 2025, FONTE: J. ACM, VOLUME: 72, NÚMERO: 3
AUTORES: Junyi Liu; Li Zhou; Gilles Barthe; Mingsheng Ying;
PUBLICAÇÃO: 2025, FONTE: J. ACM, VOLUME: 72, NÚMERO: 3
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP12
TÃTULO: Protecting cryptographic code against Spectre-RSB
AUTORES: Santiago Arranz Olmos; Gilles Barthe; Chitchanok Chuengsatiansup; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Peter Schwabe; Yuval Yarom; Zhiyuan Zhang;
PUBLICAÇÃO: 2025
AUTORES: Santiago Arranz Olmos; Gilles Barthe; Chitchanok Chuengsatiansup; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Peter Schwabe; Yuval Yarom; Zhiyuan Zhang;
PUBLICAÇÃO: 2025
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP13
TÃTULO: Protecting cryptographic code against Spectre-RSB
AUTORES: Santiago Arranz Olmos; Gilles Barthe; Chitchanok Chuengsatiansup; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Peter Schwabe; Yuval Yarom; Zhiyuan Zhang;
PUBLICAÇÃO: 2025
AUTORES: Santiago Arranz Olmos; Gilles Barthe; Chitchanok Chuengsatiansup; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Peter Schwabe; Yuval Yarom; Zhiyuan Zhang;
PUBLICAÇÃO: 2025
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP14
TÃTULO: CCS25 - Artifact for "Jazzline: Composable CryptoLine functional correctness proofs for Jasmin programs"
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Lionel Blatter; João Diogo Duarte; Gustavo Xavier Delerue Marinho Alves; Benjamin Grégoire; Tiago Oliveira; Miguel Quaresma; Pierre Yves Strub; Ming Hsien Tsai; Bow Yaw Wang; Bo Yin Yang;
PUBLICAÇÃO: 2025, FONTE: Ccs 2025 Proceedings of the 2025 ACM Sigsac Conference on Computer and Communications Security
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Lionel Blatter; João Diogo Duarte; Gustavo Xavier Delerue Marinho Alves; Benjamin Grégoire; Tiago Oliveira; Miguel Quaresma; Pierre Yves Strub; Ming Hsien Tsai; Bow Yaw Wang; Bo Yin Yang;
PUBLICAÇÃO: 2025, FONTE: Ccs 2025 Proceedings of the 2025 ACM Sigsac Conference on Computer and Communications Security
15
TÃTULO: Traq: Estimating the Quantum Cost of Classical Programs
AUTORES: Anurudh Peduri; Gilles Barthe; Michael Walter;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2509.01508
AUTORES: Anurudh Peduri; Gilles Barthe; Michael Walter;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2509.01508
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP16
TÃTULO: Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs
AUTORES: 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;
PUBLICAÇÃO: 2025, FONTE: 32nd Conference on Computer and Communications Security-CCS in PROCEEDINGS OF THE 2025 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2025
AUTORES: 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;
PUBLICAÇÃO: 2025, FONTE: 32nd Conference on Computer and Communications Security-CCS in PROCEEDINGS OF THE 2025 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2025
INDEXADO EM: 
WOS DBLP
WOS DBLP NO MEU: DBLP
DBLP17
TÃTULO: A Duality Theorem for Classical-Quantum States with Applications to Complete Relational Program Logics
AUTORES: Gilles Barthe; Minbo Gao; Jam Kabeer Ali Khan; Matthijs Muis; Ivan Renison; Keiya Sakabe; Michael Walter; Yingte Xu; Li Zhou;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2510.07051
AUTORES: Gilles Barthe; Minbo Gao; Jam Kabeer Ali Khan; Matthijs Muis; Ivan Renison; Keiya Sakabe; Michael Walter; Yingte Xu; Li Zhou;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2510.07051
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP18
TÃTULO: (Dis)Proving Spectre Security with Speculation-Passing Style
AUTORES: Santiago Arranz Olmos; Gilles Barthe; Lionel Blatter; Xingyu Xie; Zhiyuan Zhang;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2510.11573
AUTORES: Santiago Arranz Olmos; Gilles Barthe; Lionel Blatter; Xingyu Xie; Zhiyuan Zhang;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2510.11573
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP19
TÃTULO: The Jasmin Compiler Preserves Cryptographic Security
AUTORES: Santiago Arranz Olmos; Gilles Barthe; Lionel Blatter; Benjamin Grégoire; Vincent Laporte; Paolo Torrini;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2511.11292
AUTORES: Santiago Arranz Olmos; Gilles Barthe; Lionel Blatter; Benjamin Grégoire; Vincent Laporte; Paolo Torrini;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2511.11292
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP20
TÃTULO: High-assurance zeroization
AUTORES: Santiago Arranz Olmos; Gilles Barthe; Ruben Gonzalez; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Peter Schwabe;
PUBLICAÇÃO: 2024, FONTE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2024, NÚMERO: 1
AUTORES: Santiago Arranz Olmos; Gilles Barthe; Ruben Gonzalez; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Peter Schwabe;
PUBLICAÇÃO: 2024, FONTE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2024, NÚMERO: 1
