Gilles Barthe
AuthID: R-00H-7MM
21
TÃTULO: Testing Side-channel Security of Cryptographic Implementations against Future Microarchitectures
AUTORES: Gilles Barthe; Marcel Böhme; Sunjay Cauligi; Chitchanok Chuengsatiansup; Daniel Genkin; Marco Guarnieri; David Mateos Romero; Peter Schwabe; David Wu; Yuval Yarom;
PUBLICAÇÃO: 2024, FONTE: CCS
AUTORES: Gilles Barthe; Marcel Böhme; Sunjay Cauligi; Chitchanok Chuengsatiansup; Daniel Genkin; Marco Guarnieri; David Mateos Romero; Peter Schwabe; David Wu; Yuval Yarom;
PUBLICAÇÃO: 2024, FONTE: CCS
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP22
TÃTULO: Decision and Complexity of Dolev-Yao Hyperproperties
AUTORES: Itsaka Rakotonirina; Gilles Barthe; Clara Schneidewind;
PUBLICAÇÃO: 2024, FONTE: Proc. ACM Program. Lang., VOLUME: 8, NÚMERO: POPL
AUTORES: Itsaka Rakotonirina; Gilles Barthe; Clara Schneidewind;
PUBLICAÇÃO: 2024, FONTE: Proc. ACM Program. Lang., VOLUME: 8, NÚMERO: POPL
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP23
TÃTULO: Formally Verifying Kyber Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt. Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt
AUTORES: 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;
PUBLICAÇÃO: 2024, FONTE: 44th Annual International Cryptology Conference on Advances in Cryptology (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2024, PT II, VOLUME: 14921
AUTORES: 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;
PUBLICAÇÃO: 2024, FONTE: 44th Annual International Cryptology Conference on Advances in Cryptology (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2024, PT II, VOLUME: 14921
24
TÃTULO: Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs
AUTORES: Martin Avanzini; Gilles Barthe; Benjamin Grégoire; Georg Moser; Gabriele Vanoni;
PUBLICAÇÃO: 2024, FONTE: Proc. ACM Program. Lang., VOLUME: 8, NÚMERO: OOPSLA1
AUTORES: Martin Avanzini; Gilles Barthe; Benjamin Grégoire; Georg Moser; Gabriele Vanoni;
PUBLICAÇÃO: 2024, FONTE: Proc. ACM Program. Lang., VOLUME: 8, NÚMERO: OOPSLA1
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP25
TÃTULO: "These results must be false": A usability evaluation of constant-time analysis tools
AUTORES: Marcel Fourné; Daniel De Almeida Braga; Jan Jancar; Mohamed Sabt; Peter Schwabe; Gilles Barthe; Pierre Alain Fouque; Yasemin Acar;
PUBLICAÇÃO: 2024, FONTE: USENIX Security Symposium
AUTORES: Marcel Fourné; Daniel De Almeida Braga; Jan Jancar; Mohamed Sabt; Peter Schwabe; Gilles Barthe; Pierre Alain Fouque; Yasemin Acar;
PUBLICAÇÃO: 2024, FONTE: USENIX Security Symposium
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP26
TÃTULO: OBRA: Oracle-Based, Relational, Algorithmic Type Verification
AUTORES: Elizaveta Vasilenko; Niki Vazou; Gilles Barthe;
PUBLICAÇÃO: 2024, FONTE: APLAS
AUTORES: Elizaveta Vasilenko; Niki Vazou; Gilles Barthe;
PUBLICAÇÃO: 2024, FONTE: APLAS
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP27
TÃTULO: A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs
AUTORES: Vineet Rajani; Gilles Barthe; Deepak Garg;
PUBLICAÇÃO: 2024, FONTE: Proc. ACM Program. Lang., VOLUME: 8, NÚMERO: OOPSLA2
AUTORES: Vineet Rajani; Gilles Barthe; Deepak Garg;
PUBLICAÇÃO: 2024, FONTE: Proc. ACM Program. Lang., VOLUME: 8, NÚMERO: OOPSLA2
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP28
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
DBLP29
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
30
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
