Manuel Bernardo Martins Barbosa


AuthID: R-000-A22

Confirmed Publications: 110



61
TITLE: Compiling CAO: From cryptographic specifications to C implementations
AUTHORS: Barbosa, M ; Castro, D; Silva, PF ;
PUBLISHED: 2014, SOURCE: 3rd International Conference on Principles of Security and Trust, POST 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8414 LNCS
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
62
TITLE: The Related-Key Analysis of Feistel Constructions
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2014, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2014
INDEXED IN: DBLP
IN MY: ORCID | DBLP
63
TITLE: Verified Implementations for Secure and Verifiable Computation
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Guillaume Davy; François Dupressoir; Benjamin Grégoire; Pierre Yves Strub;
PUBLISHED: 2014, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2014
INDEXED IN: DBLP
IN MY: ORCID | DBLP
64
TITLE: Certified computer-aided cryptography: Efficient provably secure machine code from high-level implementations. efficient provably secure machine code from high-level implementations  Full Text
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F;
PUBLISHED: 2013, SOURCE: 2013 ACM SIGSAC Conference on Computer and Communications Security, CCS 2013 in Proceedings of the ACM Conference on Computer and Communications Security
INDEXED IN: Scopus DBLP CrossRef: 28
IN MY: ORCID | DBLP
65
TITLE: Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir;
PUBLISHED: 2013, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2013
INDEXED IN: DBLP
IN MY: ORCID | DBLP
66
TITLE: Formal verification of side-channel countermeasures using self-composition  Full Text
AUTHORS: Bacelar Almeida, JB ; Manuel Barbosa ; Jorge S Pinto ; Barbara Vieira;
PUBLISHED: 2013, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, ISSUE: 7
INDEXED IN: Scopus WOS DBLP CrossRef: 28
IN MY: ORCID | ResearcherID | DBLP
67
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
68
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
69
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
70
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
Page 7 of 11. Total results: 110.

A place for researchers and their institutions

Useful Links

Get Help

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