Manuel Bernardo Martins Barbosa


AuthID: R-000-A22

Publicações Confirmadas: 120



101
TÍTULO: Verifying Cryptographic Software Correctness with Respect to Reference Implementations  Full Text
AUTORES: Jose Bacelar Almeida ; Manuel Barbosa ; Jorge Sousa Pinto ; Barbara Vieira;
PUBLICAÇÃO: 2009, FONTE: 14th International Workshop on Formal Methods for Industrial Critical Systems in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 5825
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
102
TÍTULO: Certificateless signcryption
AUTORES: Barbosa, M ; Farshim, P;
PUBLICAÇÃO: 2008, FONTE: 2008 ACM Symposium on Information, Computer and Communications Security, ASIACCS '08 in Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, ASIACCS '08
INDEXADO EM: Scopus DBLP CrossRef: 159
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
103
TÍTULO: Certificateless Signcryption
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2008, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2008
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
104
TÍTULO: Secure biometric authentication with improved accuracy  Full Text
AUTORES: Barbosa, M ; Brouard, T; Cauchie, S; de Sousa, SM ;
PUBLICAÇÃO: 2008, FONTE: 13th Australasian Conference on Information Security and Privacy in INFORMATION SECURITY AND PRIVACY, VOLUME: 5107
INDEXADO EM: Scopus WOS DBLP Handle
NO MEU: DBLP
105
TÍTULO: Secure Biometric Authentication With Improved Accuracy
AUTORES: Manuel Barbosa ; Stéphane Cauchie; Thierry Brouard; Simão Melo de Sousa ;
PUBLICAÇÃO: 2008, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2008
INDEXADO EM: DBLP
NO MEU: DBLP
106
TÍTULO: Compiler assisted elliptic curve cryptography
AUTORES: Barbosa, M ; Moss, A; Page, D;
PUBLICAÇÃO: 2007, FONTE: OTM Confederated International Conference and Workshop in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: COOPIS, DOA, ODBASE, GADA, AND IS, PT 2, PROCEEDINGS, VOLUME: 4804, NÚMERO: PART 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
107
TÍTULO: Compiler Assisted Elliptic Curve Cryptography
AUTORES: Manuel Barbosa ; Andrew Moss; Dan Page;
PUBLICAÇÃO: 2007, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2007
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
108
TÍTULO: Randomness reuse: Extensions and improvements
AUTORES: Manuel Barbosal ; Pooya Farshim;
PUBLICAÇÃO: 2007, FONTE: 11th IMA Conference on Cryptography and Coding in CRYPTOGRAPHY AND CODING, PROCEEDINGS, VOLUME: 4887
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
109
TÍTULO: Secure cryptographic workflow in the standard model
AUTORES: Barbosa, M ; Farshim, P;
PUBLICAÇÃO: 2006, FONTE: 7th International Conference on Cryptology in India in Progress in Cryptology - INDOCRYPT 2006, Proceedings, VOLUME: 4329
INDEXADO EM: WOS DBLP CrossRef: 9
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
110
TÍTULO: Secure Cryptographic Workflow in the Standard Model
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2006, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2006
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
Página 11 de 12. Total de resultados: 120.

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

Links Úteis

Ajuda

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