Manuel Bernardo Martins Barbosa


AuthID: R-000-A22

Publicações Confirmadas: 117



1
TÍTULO: A Tight Security Proof for $\mathrm{SPHINCS^{+}}$, Formally Verified
AUTORES: Manuel Barbosa ; François Dupressoir; Andreas Hülsing; Matthias Meijers; Pierre Yves Strub;
PUBLICAÇÃO: 2024, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2024
INDEXADO EM: DBLP
NO MEU: DBLP
2
TÍTULO: Bare PAKE: Universally Composable Key Exchange from Just Passwords
AUTORES: Barbosa, Manuel ; Gellert, Kai; Hesse, Julia; Jarecki, Stanislaw;
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
NO MEU: DBLP
3
TÍTULO: C'est très CHIC: A compact password-authenticated key exchange from lattice-based KEM
AUTORES: Afonso Arriaga; Manuel Barbosa ; Stanislaw Jarecki; Marjan Skrobot;
PUBLICAÇÃO: 2024, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2024
INDEXADO EM: DBLP
NO MEU: DBLP
4
TÍTULO: Formally Verifying Kyber 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
NO MEU: DBLP
5
TÍTULO: X-Wing
AUTORES: Manuel Barbosa ; Deirdre Connolly; João Diogo Duarte; Aaron Kaiser; Peter Schwabe; Karoline Varner; Bas Westerbaan;
PUBLICAÇÃO: 2024, FONTE: IACR Commun. Cryptol., VOLUME: 1, NÚMERO: 1
INDEXADO EM: DBLP
NO MEU: DBLP
6
TÍTULO: X-Wing: The Hybrid KEM You've Been Looking For
AUTORES: Manuel Barbosa ; Deirdre Connolly; João Diogo Duarte; Aaron Kaiser; Peter Schwabe; Karoline Varner; Bas Westerbaan;
PUBLICAÇÃO: 2024, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2024
INDEXADO EM: DBLP
NO MEU: DBLP
7
TÍTULO: Execution Time Program Verification with Tight Bounds
AUTORES: Silva, Ana Carolina; Barbosa, Manuel ; Florido, Mario ;
PUBLICAÇÃO: 2023, FONTE: 25th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2023, VOLUME: 13880
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
8
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
INDEXADO EM: Scopus WOS DBLP CrossRef
9
TÍTULO: Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium
AUTORES: Manuel Barbosa ; Gilles Barthe; Christian Doczkal; Jelle Don; Serge Fehr; Benjamin Grégoire; Yu Hsuan Huang; Andreas Hülsing; Yi Lee; Xiaodi Wu;
PUBLICAÇÃO: 2023, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2023
INDEXADO EM: DBLP
10
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
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
Página 1 de 12. Total de resultados: 117.

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

Links Úteis

Ajuda

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