Manuel Bernardo Martins Barbosa


AuthID: R-000-A22

Publicações Confirmadas: 116



71
TÍTULO: Certified computer-aided cryptography: Efficient provably secure machine code from high-level implementations. efficient provably secure machine code from high-level implementations  Full Text
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F;
PUBLICAÇÃO: 2013, FONTE: 2013 ACM SIGSAC Conference on Computer and Communications Security, CCS 2013 in Proceedings of the ACM Conference on Computer and Communications Security
INDEXADO EM: Scopus DBLP CrossRef: 29
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
72
TÍTULO: Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir;
PUBLICAÇÃO: 2013, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2013
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
73
TÍTULO: Formal verification of side-channel countermeasures using self-composition  Full Text
AUTORES: Bacelar Almeida, JB ; Manuel Barbosa ; Jorge S Pinto ; Barbara Vieira;
PUBLICAÇÃO: 2013, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, NÚMERO: 7
INDEXADO EM: Scopus WOS DBLP CrossRef: 32
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
74
TÍTULO: On the relationship between functional encryption, obfuscation, and fully homomorphic encryption
AUTORES: Alwen, J; Barbosa, M ; Farshim, P; Gennaro, R; Gordon, SD; Tessaro, S; Wilson, DA;
PUBLICAÇÃO: 2013, FONTE: 14th IMA International Conference on Cryptography and Coding, IMACC 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8308 LNCS
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
75
TÍTULO: On the Semantic Security of Functional Encryption Schemes
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2013, FONTE: 16th International Conference on Practice and Theory in Public-Key Cryptography (PKC) in PUBLIC-KEY CRYPTOGRAPHY - PKC 2013, VOLUME: 7778
INDEXADO EM: Scopus WOS DBLP CrossRef: 19
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
76
TÍTULO: Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of Computation
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2012, FONTE: 12th Cryptographers' Track - RSA Conference in TOPICS IN CRYPTOLOGY - CT-RSA 2012, VOLUME: 7178
INDEXADO EM: Scopus WOS DBLP CrossRef: 42
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
77
TÍTULO: Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols. verifiable compilation of efficient zero-knowledge protocols  Full Text
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Endre Bangerter; Gilles Barthe ; Stephan Krenn; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: 2012 ACM Conference on Computer and Communications Security, CCS 2012 in the ACM Conference on Computer and Communications Security, CCS'12, Raleigh, NC, USA, October 16-18, 2012
INDEXADO EM: Scopus DBLP CrossRef: 15
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
78
TÍTULO: Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Endre Bangerter; Gilles Barthe ; Stephan Krenn; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2012
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
79
TÍTULO: Generically extending anonymization algorithms to deal with successive queries
AUTORES: Barbosa, M ; Pinto, A; Gomes, B;
PUBLICAÇÃO: 2012, FONTE: 21st ACM International Conference on Information and Knowledge Management, CIKM 2012 in ACM International Conference Proceeding Series
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
80
TÍTULO: On the joint security of signature and encryption schemes under randomness reuse: Efficiency and security amplification
AUTORES: Arriaga, A; Barbosa, M ; Farshim, P;
PUBLICAÇÃO: 2012, FONTE: 10th International Conference on Applied Cryptography and Network Security, ACNS 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7341 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 6
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 8 de 12. Total de resultados: 116.

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