Manuel Bernardo Martins Barbosa


AuthID: R-000-A22

Publicações Confirmadas: 119



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: 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
4
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
5
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
6
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
7
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
8
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
9
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
10
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: ORCID | DBLP | CIÊNCIAVITAE
Página 1 de 12. Total de resultados: 119.

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