Manuel Bernardo Martins Barbosa


AuthID: R-000-A22

Publicações Confirmadas: 120



31
32
TÍTULO: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
AUTORES: Barbosa, Manuel ; Barthe, Gilles ; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
PUBLICAÇÃO: 2021, FONTE: ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY
INDEXADO EM: WOS DBLP CrossRef: 10
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
33
TÍTULO: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
AUTORES: Manuel Barbosa ; Gilles Barthe ; Benjamin Grégoire; Adrien Koutsos; Pierre Yves Strub;
PUBLICAÇÃO: 2021, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2021
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
34
TÍTULO: Provable Security Analysis of FIDO2
AUTORES: Barbosa, M ; Boldyreva, A; Chen, S; Warinschi, B;
PUBLICAÇÃO: 2021, FONTE: 41st Annual International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2021, PT III, VOLUME: 12827
INDEXADO EM: Scopus WOS DBLP CrossRef: 25
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
35
TÍTULO: Secure Conflict-free Replicated Data Types
AUTORES: Barbosa, M ; Ferreira, B; Marques, J ; Portela, B ; Preguica, N ;
PUBLICAÇÃO: 2021, FONTE: 22nd International Conference on Distributed Computing and Networking (ICDCN) in PROCEEDINGS OF THE 2021 INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING AND NETWORKING (ICDCN '21)
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
36
TÍTULO: Security Characterization of J-PAKE and its Variants
AUTORES: Michel Abdalla; Manuel Barbosa ; Peter B Rønne; Peter Y A Ryan; Petra Sala;
PUBLICAÇÃO: 2021, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2021
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
37
TÍTULO: SoK: Computer-Aided Cryptography
AUTORES: Manuel Barbosa ; Gilles Barthe ; Karthik Bhargavan; Bruno Blanchet; Cas Cremers; Kevin Liao; Bryan Parno;
PUBLICAÇÃO: 2021, FONTE: 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
38
TÍTULO: Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Vincent Laporte; Tiago Oliveira ;
PUBLICAÇÃO: 2020, FONTE: 21st International Conference on Cryptology in India, INDOCRYPT 2020 in Progress in Cryptology - INDOCRYPT 2020 - 21st International Conference on Cryptology in India, Bangalore, India, December 13-16, 2020, Proceedings, VOLUME: 12578
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
39
TÍTULO: Provable Security Analysis of FIDO2
AUTORES: Shan Chen; Manuel Barbosa ; Alexandra Boldyreva; Bogdan Warinschi;
PUBLICAÇÃO: 2020, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2020
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
40
TÍTULO: The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Gregoire, B; Koutsos, A; Laporte, V; Oliveira, T ; Strub, PY;
PUBLICAÇÃO: 2020, FONTE: 41st IEEE Symposium on Security and Privacy (SP) in 2020 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2020), VOLUME: 2020-May
INDEXADO EM: Scopus WOS DBLP CrossRef: 31
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 4 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