Gilles Barthe
AuthID: R-00H-7MM
11
TÃTULO: Automating Equational Proofs in Dirac Notation
AUTORES: Yingte Xu; Gilles Barthe; Li Zhou;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2411.11617
AUTORES: Yingte Xu; Gilles Barthe; Li Zhou;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2411.11617
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP12
TÃTULO: Laws of Quantum Programming
AUTORES: Mingsheng Ying; Li Zhou; Gilles Barthe;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2412.19463
AUTORES: Mingsheng Ying; Li Zhou; Gilles Barthe;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2412.19463
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP13
TÃTULO: Formally verifying Kyber Episode IV: Implementation correctness. Episode IV: Implementation correctness
AUTORES: 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;
PUBLICAÇÃO: 2023, FONTE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2023, NÚMERO: 3
AUTORES: 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;
PUBLICAÇÃO: 2023, FONTE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2023, NÚMERO: 3
14
TÃTULO: Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium
AUTORES: Barbosa, Manuel ; Barthe, Gilles; Doczkal, Christian; Don, Jelle; Fehr, Serge; Gregoire, Benjamin; Huang, Yu Hsuan; Hulsing, Andreas; Lee, Yi; Wu, Xiaodi;
PUBLICAÇÃO: 2023, FONTE: 43rd International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT V, VOLUME: 14085
AUTORES: Barbosa, Manuel ; Barthe, Gilles; Doczkal, Christian; Don, Jelle; Fehr, Serge; Gregoire, Benjamin; Huang, Yu Hsuan; Hulsing, Andreas; Lee, Yi; Wu, Xiaodi;
PUBLICAÇÃO: 2023, FONTE: 43rd International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT V, VOLUME: 14085
15
TÃTULO: CoqQ: Foundational Verification of Quantum Programs
AUTORES: Li Zhou; Gilles Barthe; Pierre Yves Strub; Junyi Liu; Mingsheng Ying;
PUBLICAÇÃO: 2023, FONTE: Proc. ACM Program. Lang., VOLUME: 7, NÚMERO: POPL
AUTORES: Li Zhou; Gilles Barthe; Pierre Yves Strub; Junyi Liu; Mingsheng Ying;
PUBLICAÇÃO: 2023, FONTE: Proc. ACM Program. Lang., VOLUME: 7, NÚMERO: POPL
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP16
TÃTULO: Spectre Declassified: Reading from the Right Place at the Wrong Time
AUTORES: Basavesh Ammanaghatta Shivakumar; Jack Barnes; Gilles Barthe; Sunjay Cauligi; Chitchanok Chuengsatiansup; Daniel Genkin; Sioli O'Connell; Peter Schwabe; Rui Qi Sim; Yuval Yarom;
PUBLICAÇÃO: 2023, FONTE: 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023
AUTORES: Basavesh Ammanaghatta Shivakumar; Jack Barnes; Gilles Barthe; Sunjay Cauligi; Chitchanok Chuengsatiansup; Daniel Genkin; Sioli O'Connell; Peter Schwabe; Rui Qi Sim; Yuval Yarom;
PUBLICAÇÃO: 2023, FONTE: 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP17
TÃTULO: Typing High-Speed Cryptography against Spectre v1
AUTORES: Basavesh Ammanaghatta Shivakumar; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Swarn Priya; Peter Schwabe; Lucas Tabary Maujean;
PUBLICAÇÃO: 2023, FONTE: 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023
AUTORES: Basavesh Ammanaghatta Shivakumar; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Swarn Priya; Peter Schwabe; Lucas Tabary Maujean;
PUBLICAÇÃO: 2023, FONTE: 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP18
TÃTULO: Ultimate SLH: Taking Speculative Load Hardening to the Next Level
AUTORES: Zhiyuan Zhang; Gilles Barthe; Chitchanok Chuengsatiansup; Peter Schwabe; Yuval Yarom;
PUBLICAÇÃO: 2023, FONTE: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023
AUTORES: Zhiyuan Zhang; Gilles Barthe; Chitchanok Chuengsatiansup; Peter Schwabe; Yuval Yarom;
PUBLICAÇÃO: 2023, FONTE: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP19
TÃTULO: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
AUTORES: Barbosa, Manuel ; Barthe, Gilles; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
PUBLICAÇÃO: 2023, FONTE: ACM TRANSACTIONS ON PRIVACY AND SECURITY, VOLUME: 26, NÚMERO: 3
AUTORES: Barbosa, Manuel ; Barthe, Gilles; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
PUBLICAÇÃO: 2023, FONTE: ACM TRANSACTIONS ON PRIVACY AND SECURITY, VOLUME: 26, NÚMERO: 3
20
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: 2023, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2023, 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: 2023, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2023, NÚMERO: 1
