Manuel Bernardo Martins Barbosa


AuthID: R-000-A22

Publicações Confirmadas: 117



61
TÍTULO: Private Functional Encryption: Indistinguishability-Based Definitions and Constructions from Obfuscation
AUTORES: Afonso Arriaga; Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2016, FONTE: 17th International Conference on Cryptology in India (INDOCRYPT) in PROGRESS IN CRYPTOLOGY - INDOCRYPT 2016, VOLUME: 10095
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
62
TÍTULO: Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC
AUTORES: Jose Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Francois Dupressoir;
PUBLICAÇÃO: 2016, FONTE: 23rd International Conference on Fast Software Encryption (FSE) in FAST SOFTWARE ENCRYPTION (FSE 2016), VOLUME: 9783
INDEXADO EM: Scopus WOS DBLP CrossRef: 23
NO MEU: ORCID | DBLP
63
TÍTULO: Verifying Constant-Time Implementations
AUTORES: Jose Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Francois Dupressoir; Michael Emmi;
PUBLICAÇÃO: 2016, FONTE: 25th USENIX Security Symposium in PROCEEDINGS OF THE 25TH USENIX SECURITY SYMPOSIUM
INDEXADO EM: WOS DBLP
NO MEU: ORCID | DBLP
64
TÍTULO: ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data
AUTORES: Michael Backes; Manuel Barbosa ; Dario Fiore; Raphael M Reischuk;
PUBLICAÇÃO: 2015, FONTE: IEEE Symposium on Security and Privacy SP in 2015 IEEE SYMPOSIUM ON SECURITY AND PRIVACY SP 2015, VOLUME: 2015-July
INDEXADO EM: Scopus WOS DBLP CrossRef: 46
NO MEU: ORCID | DBLP
65
TÍTULO: The Related-Key Analysis of Feistel Constructions
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2015, FONTE: 21st International Workshop on Fast Software Encryption (FSE) in FAST SOFTWARE ENCRYPTION, FSE 2014, VOLUME: 8540
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
NO MEU: ORCID | DBLP
66
TÍTULO: Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir;
PUBLICAÇÃO: 2015, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2015
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
67
TÍTULO: CAOVerif: An open-source deductive verification platform for cryptographic software implementations  Full Text
AUTORES: Jose Bacelar Almeida ; Manuel Barbosa ; Jean Christophe Filliatre; Jorge Sousa Pinto ; Barbara Vieira;
PUBLICAÇÃO: 2014, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, NÚMERO: PART B
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
68
TÍTULO: Compiling CAO: From cryptographic specifications to C implementations
AUTORES: Barbosa, M ; Castro, D; Silva, PF ;
PUBLICAÇÃO: 2014, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
69
TÍTULO: The Related-Key Analysis of Feistel Constructions
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2014, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2014
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
70
TÍTULO: Verified Implementations for Secure and Verifiable Computation
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Guillaume Davy; François Dupressoir; Benjamin Grégoire; Pierre Yves Strub;
PUBLICAÇÃO: 2014, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2014
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
Página 7 de 12. Total de resultados: 117.

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