Manuel Bernardo Martins Barbosa


AuthID: R-000-A22

Publicações Confirmadas: 120



41
TÍTULO: Universally Composable Relaxed Password Authenticated Key Exchange
AUTORES: Michel Abdalla; Manuel Barbosa ; Tatiana Bradley; Stanislaw Jarecki; Jonathan Katz; Jiayu Y Xu;
PUBLICAÇÃO: 2020, FONTE: 40th Annual International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2020, PT I, VOLUME: 12170
INDEXADO EM: Scopus WOS DBLP CrossRef: 33
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
42
TÍTULO: Universally Composable Relaxed Password Authenticated Key Exchange
AUTORES: Michel Abdalla; Manuel Barbosa ; Tatiana Bradley; Stanislaw Jarecki; Jonathan Katz; Jiayu Xu;
PUBLICAÇÃO: 2020, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2020
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
43
TÍTULO: A Machine-Checked Proof of Security for AWS Key Management Service  Full Text
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Campagna, M; Cohen, E; Gregoire, B; Pereira, V; Portela, B ; Strub, PY; Tasiran, S;
PUBLICAÇÃO: 2019, FONTE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19)
INDEXADO EM: Scopus WOS DBLP CrossRef: 19
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
44
TÍTULO: Efficient Function-Hiding Functional Encryption: From Inner-Products to Orthogonality
AUTORES: Manuel Barbosa ; Dario Catalano; Azam Soleimanian; Bogdan Warinschi;
PUBLICAÇÃO: 2019, FONTE: Cryptographers Track at the RSA Conference 2019, CT-RSA 2019 in Topics in Cryptology - CT-RSA 2019 - The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4-8, 2019, Proceedings, VOLUME: 11405
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
45
TÍTULO: Machine-Checked Proofs for Cryptographic Standards
AUTORES: José Bacelar Almeida ; Cecile Baritel Ruet; Manuel Barbosa ; Gilles Barthe ; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Alley Stoughton; Pierre Yves Strub;
PUBLICAÇÃO: 2019, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2019
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
46
TÍTULO: Machine-Checked Proofs for Cryptographic Standards Indifferentiability of SPONGE and Secure High-Assurance Implementations of SHA-3. Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3  Full Text
AUTORES: Jose Bacelar Almeida ; Cecile Baritel Ruet; Manuel Barbosa ; Gilles Barthe ; Francois Dupressoir; Benjamin Gregoire; Vincent Laporte; Tiago Oliveira ; Alley Stoughton; Pierre Yves Strub;
PUBLICAÇÃO: 2019, FONTE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19)
INDEXADO EM: Scopus WOS DBLP CrossRef: 26
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
47
TÍTULO: Perfect Forward Security of SPAKE2
AUTORES: Michel Abdalla; Manuel Barbosa ;
PUBLICAÇÃO: 2019, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2019
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
48
TÍTULO: SoK: Computer-Aided Cryptography
AUTORES: Manuel Barbosa ; Gilles Barthe ; Karthikeyan Bhargavan; Bruno Blanchet; Cas Cremers; Kevin Liao; Bryan Parno;
PUBLICAÇÃO: 2019, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2019
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
49
TÍTULO: The Last Mile: High-Assurance and High-Speed Cryptographic Implementations PDF
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Benjamin Grégoire; Adrien Koutsos; Vincent Laporte; Tiago Oliveira; Pierre Yves Strub;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1904.04606
INDEXADO EM: DBLP arXiv
NO MEU: ORCID | DBLP
50
TÍTULO: hnforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Pacheco, H ; Pereira, V ; Portela, B ;
PUBLICAÇÃO: 2018, FONTE: 31st IEEE Computer Security Foundations Symposium (CSF) held as part of the Federated Logic Conference (FLoC) in IEEE 31ST COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2018), VOLUME: 2018-July
INDEXADO EM: Scopus WOS DBLP CrossRef: 9 Unpaywall
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 5 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