Manuel Bernardo Martins Barbosa


AuthID: R-000-A22

Publicações Confirmadas: 116



81
TÍTULO: On the Joint Security of Signature and Encryption Schemes under Randomness Reuse: Efficiency and Security Amplification
AUTORES: Afonso Arriaga; Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2012, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2012
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
82
TÍTULO: Practical Realisation and Elimination of an ECC-Related Software Bug Attack
AUTORES: Billy B Brumley; Manuel Barbosa ; Dan Page; Frederik Vercauteren;
PUBLICAÇÃO: 2012, FONTE: 12th Cryptographers' Track - RSA Conference in TOPICS IN CRYPTOLOGY - CT-RSA 2012, VOLUME: 7178
INDEXADO EM: Scopus WOS DBLP CrossRef: 18
NO MEU: ORCID | ResearcherID | DBLP
83
TÍTULO: Semantically Secure Functional Encryption, Revisited
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2012, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2012
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
84
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
85
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
86
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
87
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
88
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
89
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
90
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
Página 9 de 12. Total de resultados: 116.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service