Manuel Bernardo Martins Barbosa


AuthID: R-000-A22

Publicações Confirmadas: 120



1
TÍTULO: A Tight Security Proof for SPHINCS+, Formally Verified
AUTORES: Barbosa, Manuel ; Dupressoir, Francois; Hulsing, Andreas; Meijers, Matthias; Strub, Pierre Yves;
PUBLICAÇÃO: 2025, FONTE: 30th International Conference on the Theory and Application of Cryptology and Information Security in ADVANCES IN CRYPTOLOGY - ASIACRYPT 2024, PT IV, VOLUME: 15487
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: DBLP
2
TÍTULO: C'est Tres CHIC: A Compact Password-Authenticated Key Exchange from Lattice-Based KEM
AUTORES: Arriaga, Afonso; Barbosa, Manuel ; Jarecki, Stanislaw; Skrobot, Marjan;
PUBLICAÇÃO: 2025, FONTE: 30th International Conference on the Theory and Application of Cryptology and Information Security in ADVANCES IN CRYPTOLOGY - ASIACRYPT 2024, PT V, VOLUME: 15488
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: DBLP
3
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
INDEXADO EM: DBLP
NO MEU: DBLP
4
TÍTULO: Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt
AUTORES: Almeida, Jose Bacelar ; Alves, Gustavo Xavier Delerue Marinho; Barbosa, Manuel ; Barthe, Gilles; Esquivel, Luis; Hwang, Vincent; Oliveira, Tiago; Pacheco, Hugo ; Schwabe, Peter; Strub, Pierre Yves;
PUBLICAÇÃO: 2025, FONTE: 2025 Symposium on Security and Privacy-SP in 2025 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, SP
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
5
TÍTULO: Formally Verified Correctness Bounds for Lattice-Based Cryptography
AUTORES: Manuel Barbosa ; Matthias J Kannwischer; Thing Han Lim; Peter Schwabe; Pierre Yves Strub;
PUBLICAÇÃO: 2025, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2025
INDEXADO EM: DBLP
NO MEU: DBLP
6
TÍTULO: NoIC: PAKE from KEM without Ideal Ciphers
AUTORES: Afonso Arriaga; Manuel Barbosa ; Stanislaw Jarecki;
PUBLICAÇÃO: 2025, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2025
INDEXADO EM: DBLP
NO MEU: DBLP
7
TÍTULO: Privacy and Security of FIDO2 Revisited
AUTORES: Manuel Barbosa ; Alexandra Boldyreva; Shan Chen; Kaishuo Cheng; Luís Esquível;
PUBLICAÇÃO: 2025, FONTE: Proc. Priv. Enhancing Technol., VOLUME: 2025, NÚMERO: 3
INDEXADO EM: DBLP
NO MEU: DBLP
8
TÍTULO: Revisiting the Security and Privacy of FIDO2
AUTORES: Manuel Barbosa ; Alexandra Boldyreva; Shan Chen; Kaishuo Cheng; Luís Esquível;
PUBLICAÇÃO: 2025, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2025
INDEXADO EM: DBLP
NO MEU: DBLP
9
TÍTULO: Tempo: ML-KEM to PAKE Compiler Resilient to Timing Attacks
AUTORES: Afonso Arriaga; Manuel Barbosa ; Stanislaw Jarecki;
PUBLICAÇÃO: 2025, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2025
INDEXADO EM: DBLP
NO MEU: DBLP
10
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 CrossRef: 5
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 1 de 12. Total de resultados: 120.

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