Gilles Barthe


AuthID: R-00H-7MM

Publicações a aguardar confirmação

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
INDEXADO EM: DBLP
NO MEU: DBLP
12
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
INDEXADO EM: DBLP
NO MEU: DBLP
13
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
INDEXADO EM: DBLP
NO MEU: DBLP
14
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
INDEXADO EM: DBLP
NO MEU: DBLP
15
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: Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, CCS 2024, Salt Lake City, UT, USA, October 14-18, 2024
INDEXADO EM: DBLP
NO MEU: DBLP
16
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
INDEXADO EM: DBLP
NO MEU: DBLP
17
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
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: DBLP
18
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
INDEXADO EM: DBLP
NO MEU: DBLP
19
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: 33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024
INDEXADO EM: DBLP
NO MEU: DBLP
20
TÍTULO: OBRA: Oracle-Based, Relational, Algorithmic Type Verification
AUTORES: Elizaveta Vasilenko; Niki Vazou; Gilles Barthe;
PUBLICAÇÃO: 2024, FONTE: Programming Languages and Systems - 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings, VOLUME: 15194
INDEXADO EM: DBLP
NO MEU: DBLP
Página 2 de 22. Total de resultados: 214.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service