Manuel Bernardo Martins Barbosa


AuthID: R-000-A22

Publicações Confirmadas: 113



81
TÍTULO: Type checking cryptography implementations
AUTORES: Barbosa, M ; Moss, A; Page, D; Rodrigues, NF ; Silva, PF ;
PUBLICAÇÃO: 2012, FONTE: 4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7141 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP
82
TÍTULO: Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of Computation
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2011, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2011
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
83
TÍTULO: Practical realisation and elimination of an ECC-related software bug attack
AUTORES: Billy Bob Brumley; Manuel Barbosa ; Dan Page; Frederik Vercauteren;
PUBLICAÇÃO: 2011, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2011
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
84
TÍTULO: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
AUTORES: Jose Bacelar Almeida ; Endre Bangerter; Manuel Barbosa ; Stephan Krenn; Ahmad Reza Sadeghi; Thomas Schneider;
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: 20
NO MEU: ORCID | ResearcherID | DBLP
85
TÍTULO: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
AUTORES: José Bacelar Almeida ; Endre Bangerter; Manuel Barbosa ; Stephan Krenn; Ahmad Reza Sadeghi; Thomas Schneider;
PUBLICAÇÃO: 2010, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2010
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
86
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: ECEASST, VOLUME: 33
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
87
TÍTULO: Deductive verification of cryptographic software  Full Text
AUTORES: Almeida, JB ; Barbosa, M ; Pinto, JS ; Vieira, B;
PUBLICAÇÃO: 2010, FONTE: Innovations in Systems and Software Engineering, VOLUME: 6, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
88
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
89
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
90
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
Página 9 de 12. Total de resultados: 113.

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