Manuel Bernardo Martins Barbosa


AuthID: R-000-A22

Confirmed Publications: 114



71
TITLE: On the relationship between functional encryption, obfuscation, and fully homomorphic encryption
AUTHORS: Alwen, J; Barbosa, M ; Farshim, P; Gennaro, R; Gordon, SD; Tessaro, S; Wilson, DA;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
72
TITLE: On the Semantic Security of Functional Encryption Schemes
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2013, SOURCE: 16th International Conference on Practice and Theory in Public-Key Cryptography (PKC) in PUBLIC-KEY CRYPTOGRAPHY - PKC 2013, VOLUME: 7778
INDEXED IN: Scopus WOS DBLP CrossRef: 19
IN MY: ORCID | DBLP
73
TITLE: Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of Computation
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2012, SOURCE: 12th Cryptographers' Track - RSA Conference in TOPICS IN CRYPTOLOGY - CT-RSA 2012, VOLUME: 7178
INDEXED IN: Scopus WOS DBLP CrossRef: 40
IN MY: ORCID | ResearcherID | DBLP
74
TITLE: Full proof cryptography. verifiable compilation of efficient zero-knowledge protocols
AUTHORS: José Bacelar Almeida; Manuel Barbosa ; Endre Bangerter; Gilles Barthe; Stephan Krenn; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: Proceedings of the 2012 ACM conference on Computer and communications security - CCS '12
INDEXED IN: CrossRef: 13
IN MY: ORCID
75
TITLE: Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols  Full Text
AUTHORS: Almeida, JB ; Barbosa, M ; Bangerter, E; Barthe, G ; Krenn, S; Beguelin, SZ;
PUBLISHED: 2012, SOURCE: 2012 ACM Conference on Computer and Communications Security, CCS 2012 in Proceedings of the ACM Conference on Computer and Communications Security
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
76
TITLE: Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Endre Bangerter; Gilles Barthe ; Stephan Krenn; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2012
INDEXED IN: DBLP
IN MY: ORCID | DBLP
77
TITLE: Generically extending anonymization algorithms to deal with successive queries
AUTHORS: Barbosa, M ; Pinto, A; Gomes, B;
PUBLISHED: 2012, SOURCE: 21st ACM International Conference on Information and Knowledge Management, CIKM 2012 in ACM International Conference Proceeding Series
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | DBLP
78
TITLE: On the joint security of signature and encryption schemes under randomness reuse: Efficiency and security amplification
AUTHORS: Arriaga, A; Barbosa, M ; Farshim, P;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 6
IN MY: ORCID | DBLP
79
TITLE: On the Joint Security of Signature and Encryption Schemes under Randomness Reuse: Efficiency and Security Amplification
AUTHORS: Afonso Arriaga; Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2012, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2012
INDEXED IN: DBLP
IN MY: ORCID | DBLP
80
TITLE: Practical Realisation and Elimination of an ECC-Related Software Bug Attack
AUTHORS: Billy B Brumley; Manuel Barbosa ; Dan Page; Frederik Vercauteren;
PUBLISHED: 2012, SOURCE: 12th Cryptographers' Track - RSA Conference in TOPICS IN CRYPTOLOGY - CT-RSA 2012, VOLUME: 7178
INDEXED IN: Scopus WOS DBLP CrossRef: 18
IN MY: ORCID | ResearcherID | DBLP
Page 8 of 12. Total results: 114.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service