Manuel Bernardo Martins Barbosa


AuthID: R-000-A22

Publicações Confirmadas: 94



71
TÍTULO: Type Checking Cryptography Implementations
AUTORES: Manuel Barbosa ; Andrew Moss; Dan Page; Nuno F Rodrigues ; Paulo F Silva ;
PUBLICAÇÃO: 2011, FONTE: FSEN, VOLUME: 7141 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: DBLP | CIÊNCIAVITAE
72
TÍTULO: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Σ-Protocols
AUTORES: Almeida, JB ; Bangerter, E; Barbosa, M ; Krenn, S; Sadeghi, AR; Schneider, T;
PUBLICAÇÃO: 2010, FONTE: 15th European Symposium on Research in Computer Security in COMPUTER SECURITY-ESORICS 2010, VOLUME: 6345
INDEXADO EM: Scopus WOS DBLP CrossRef: 23
NO MEU: DBLP | CIÊNCIAVITAE
73
TÍTULO: A Deductive Verification Platform for Cryptographic Software
AUTORES: Manuel Barbosa ; Jorge Sousa Pinto ; Jean Christophe Filliâtre; Bárbara Vieira;
PUBLICAÇÃO: 2010, FONTE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 33
INDEXADO EM: DBLP
NO MEU: DBLP | CIÊNCIAVITAE
74
TÍTULO: Deductive verification of cryptographic software
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Jorge Sousa Pinto ; Bárbara Vieira;
PUBLICAÇÃO: 2010, FONTE: Innov. Syst. Softw. Eng., VOLUME: 6, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: DBLP | CIÊNCIAVITAE
75
TÍTULO: Relations among Notions of Complete Non-malleability: Indistinguishability Characterisation and Efficient Construction without Random Oracles  Full Text
AUTORES: Barbosa, M ; Farshim, P;
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: DBLP | CIÊNCIAVITAE
76
TÍTULO: Strong Knowledge Extractors for Public-Key Encryption Schemes  Full Text
AUTORES: Barbosa, M ; Farshim, P;
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: DBLP | CIÊNCIAVITAE
77
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: 8
NO MEU: DBLP | CIÊNCIAVITAE
78
TÍTULO: Deductive Verification of Cryptographic Software
AUTORES: Manuel Barbosa ; José Bacelar Almeida ; Jorge Sousa Pinto ; Bárbara Vieira;
PUBLICAÇÃO: 2009, FONTE: NASA Formal Methods
INDEXADO EM: DBLP
NO MEU: DBLP
79
TÍTULO: Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps
AUTORES: Barbosa, M ; Farshim, P;
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: DBLP | CIÊNCIAVITAE
80
TÍTULO: Using Compilers to Enhance Cryptographic Product Development
AUTORES: Endre Bangerter; Manuel Barbosa ; Daniel J Bernstein; Ivan Damgård; Daniel Page; Jakob Illeborg Pagter; Ahmad Reza Sadeghi; Sampo Sovio;
PUBLICAÇÃO: 2009, FONTE: ISSE
INDEXADO EM: DBLP CrossRef: 1
NO MEU: DBLP
Página 8 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