Manuel Bernardo Martins Barbosa


AuthID: R-000-A22

Publicações Confirmadas: 116



91
TÍTULO: Relations among Notions of Complete Non-malleability: Indistinguishability Characterisation and Efficient Construction without Random Oracles  Full Text
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2010, FONTE: 15th Australasian conference, ACISP 2010 in INFORMATION SECURITY AND PRIVACY, VOLUME: 6168
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID | ResearcherID | DBLP
92
TÍTULO: Strong Knowledge Extractors for Public-Key Encryption Schemes  Full Text
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2010, FONTE: 15th Australasian conference, ACISP 2010 in INFORMATION SECURITY AND PRIVACY, VOLUME: 6168
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | ResearcherID | DBLP
93
TÍTULO: Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography  Full Text
AUTORES: Barbosa, M ; Moss, A; Page, D;
PUBLICAÇÃO: 2009, FONTE: JOURNAL OF CRYPTOLOGY, VOLUME: 22, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID | ResearcherID | DBLP
94
TÍTULO: Deductive Verification of Cryptographic Software
AUTORES: Manuel Barbosa ; José Bacelar Almeida ; Jorge Sousa Pinto ; Bárbara Vieira;
PUBLICAÇÃO: 2009, FONTE: First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009., VOLUME: NASA/CP-2009-215407
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
95
TÍTULO: Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2009, FONTE: 2nd International Conference on Cryptology in Africa in PROGRESS IN CRYPTOLOGY - AFRICACRYPT 2009, VOLUME: 5580
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | ResearcherID | DBLP
96
TÍTULO: Using Compilers to Enhance Cryptographic Product Development
AUTORES: Endre Bangerter; Manuel Barbosa ; Bernstein, D; Ivan Damgård; Daniel Page; Jakob Illeborg Pagter; Ahmad Reza Sadeghi; Sovio, S;
PUBLICAÇÃO: 2009, FONTE: ISSE 2009 - Securing Electronic Business Processes, Highlights of the Information Security Solutions Europe 2009 Conference, The Hague, The Netherlands, October 6-8, 2009
INDEXADO EM: DBLP CrossRef: 1
NO MEU: ORCID | DBLP
97
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
98
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: 119
NO MEU: ORCID | DBLP
99
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
100
TÍTULO: Secure biometric authentication with improved accuracy  Full Text
AUTORES: Manuel Barbosa ; Thierry Brouard; Stephane Cauchie; Simao Melo de Sousa ;
PUBLICAÇÃO: 2008, FONTE: 13th Australasian Conference on Information Security and Privacy in INFORMATION SECURITY AND PRIVACY, VOLUME: 5107
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | ResearcherID | DBLP
Página 10 de 12. Total de resultados: 116.

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

Links Úteis

Ajuda

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