Manuel Bernardo Martins Barbosa


AuthID: R-000-A22

Publicações Confirmadas: 94



51
TÍTULO: A Tool-Chain for High-Assurance Cryptographic Software
AUTORES: Almeida, J ; Barbosa, M ; Pacheco, H ; Pereira, V;
PUBLICAÇÃO: 2016, FONTE: ERCIM NEWS, VOLUME: 2016, NÚMERO: 106
INDEXADO EM: WOS DBLP
NO MEU: DBLP
52
TÍTULO: Foundations of Hardware-Based Attested Computation and Application to SGX
AUTORES: Barbosa, M ; Portela, B ; Scerri, G; Warinschi, B;
PUBLICAÇÃO: 2016, FONTE: 1st IEEE European Symposium on Security and Privacy (Euro S&P) in 1ST IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY
INDEXADO EM: Scopus WOS DBLP CrossRef: 36
NO MEU: DBLP | CIÊNCIAVITAE
53
TÍTULO: Private Functional Encryption: Indistinguishability-Based Definitions and Constructions from Obfuscation
AUTORES: Arriaga, A; Barbosa, M ; Farshim, P;
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: DBLP | CIÊNCIAVITAE
54
TÍTULO: Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F;
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: 26
NO MEU: DBLP | CIÊNCIAVITAE
55
TÍTULO: Verifying Constant-Time Implementations
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F; Emmi, M;
PUBLICAÇÃO: 2016, FONTE: 25th USENIX Security Symposium in PROCEEDINGS OF THE 25TH USENIX SECURITY SYMPOSIUM
INDEXADO EM: WOS DBLP
NO MEU: DBLP | CIÊNCIAVITAE
56
TÍTULO: ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data
AUTORES: Backes, M; Barbosa, M ; Fiore, D; Reischuk, RM;
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: 58
NO MEU: DBLP | CIÊNCIAVITAE
57
TÍTULO: The Related-Key Analysis of Feistel Constructions
AUTORES: Barbosa, M ; Farshim, P;
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: DBLP | CIÊNCIAVITAE
58
TÍTULO: CAOVerif: An open-source deductive verification platform for cryptographic software implementations  Full Text
AUTORES: Almeida, JB ; Barbosa, M ; Filliatre, JC; Pinto, JS ; Vieira, B;
PUBLICAÇÃO: 2014, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, NÚMERO: PART B
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: DBLP | CIÊNCIAVITAE
59
TÍTULO: Compiling CAO: From Cryptographic Specifications to C Implementations
AUTORES: Manuel Barbosa ; David Castro; Paulo F Silva ;
PUBLICAÇÃO: 2014, FONTE: POST, VOLUME: 8414 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: DBLP | CIÊNCIAVITAE
60
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 Cryptol. ePrint Arch., VOLUME: 2014
INDEXADO EM: DBLP
NO MEU: DBLP
Página 6 de 10. Total de resultados: 94.

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

Links Úteis

Ajuda

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