Manuel Bernardo Martins Barbosa


AuthID: R-000-A22

Confirmed Publications: 117



81
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
82
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
83
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
84
TITLE: Semantically Secure Functional Encryption, Revisited
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2012, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2012
INDEXED IN: DBLP
IN MY: ORCID | DBLP
85
TITLE: Type checking cryptography implementations
AUTHORS: Barbosa, M ; Moss, A; Page, D; Rodrigues, NF ; Silva, PF ;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
86
TITLE: Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of Computation
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2011, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2011
INDEXED IN: DBLP
IN MY: ORCID | DBLP
87
TITLE: Practical realisation and elimination of an ECC-related software bug attack
AUTHORS: Billy Bob Brumley; Manuel Barbosa ; Dan Page; Frederik Vercauteren;
PUBLISHED: 2011, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2011
INDEXED IN: DBLP
IN MY: ORCID | DBLP
88
TITLE: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
AUTHORS: Jose Bacelar Almeida ; Endre Bangerter; Manuel Barbosa ; Stephan Krenn; Ahmad Reza Sadeghi; Thomas Schneider;
PUBLISHED: 2010, SOURCE: 15th European Symposium on Research in Computer Security in COMPUTER SECURITY-ESORICS 2010, VOLUME: 6345
INDEXED IN: Scopus WOS DBLP CrossRef: 20
IN MY: ORCID | ResearcherID | DBLP
89
TITLE: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
AUTHORS: José Bacelar Almeida ; Endre Bangerter; Manuel Barbosa ; Stephan Krenn; Ahmad Reza Sadeghi; Thomas Schneider;
PUBLISHED: 2010, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2010
INDEXED IN: DBLP
IN MY: ORCID | DBLP
90
TITLE: A Deductive Verification Platform for Cryptographic Software
AUTHORS: Manuel Barbosa ; Jorge Sousa Pinto ; Jean Christophe Filliâtre; Bárbara Vieira;
PUBLISHED: 2010, SOURCE: ECEASST, VOLUME: 33
INDEXED IN: DBLP
IN MY: ORCID | DBLP
Page 9 of 12. Total results: 117.

A place for researchers and their institutions

Useful Links

Get Help

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