Manuel Bernardo Martins Barbosa


AuthID: R-000-A22

Publicações Confirmadas: 94



81
TÍTULO: Verifying Cryptographic Software Correctness with Respect to Reference Implementations  Full Text
AUTORES: Almeida, JB ; Barbosa, M ; Pinto, JS ; Vieira, B;
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: DBLP | CIÊNCIAVITAE
82
TÍTULO: Certificateless signcryption
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2008, FONTE: AsiaCCS
INDEXADO EM: Scopus DBLP CrossRef: 180
NO MEU: DBLP | CIÊNCIAVITAE
83
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 CrossRef: 25 Handle
NO MEU: CIÊNCIAVITAE
84
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: DBLP | CIÊNCIAVITAE
85
TÍTULO: Randomness reuse: Extensions and improvements
AUTORES: Barbosal, M ; Farshim, P;
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: DBLP | CIÊNCIAVITAE
86
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: DBLP | CIÊNCIAVITAE
87
TÍTULO: Efficient identity-based key encapsulation to multiple parties
AUTORES: Barbosa, M ; Farshim, P;
PUBLICAÇÃO: 2005, FONTE: 10th IMA International Conference on Cryptography and Coding in CRYPTOGRAPHY AND CODING, PROCEEDINGS, VOLUME: 3796
INDEXADO EM: Scopus WOS DBLP CrossRef: 21
NO MEU: DBLP | CIÊNCIAVITAE
88
TÍTULO: First Steps Toward a Cryptography-Aware Language and Compiler
AUTORES: Manuel Barbosa ; Richard Noad; Daniel Page; Nigel P Smart;
PUBLICAÇÃO: 2005, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2005
INDEXADO EM: DBLP
NO MEU: DBLP
89
TÍTULO: On the automatic construction of indistinguishable operations
AUTORES: Barbosa, M ; Page, D;
PUBLICAÇÃO: 2005, FONTE: 10th IMA International Conference on Cryptography and Coding in CRYPTOGRAPHY AND CODING, PROCEEDINGS, VOLUME: 3796
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
NO MEU: DBLP | CIÊNCIAVITAE
90
TÍTULO: Recursion patterns and time-analysis
AUTORES: Barbosa, A ; Cunha, A ; Pinto, JS ;
PUBLICAÇÃO: 2005, FONTE: ACM SIGPLAN NOTICES, VOLUME: 40, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: DBLP | CIÊNCIAVITAE
Página 9 de 10. Total de resultados: 94.

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