Bernardo Luís Fernandes Portela


AuthID: R-00G-VZ3

Publicações Confirmadas: 21



11
TÍTULO: S2Dedup: SGX-enabled Secure Deduplication
AUTORES: Tânia Esteves; Mariana Miranda ; João Paulo ; Bernardo Portela ;
PUBLICAÇÃO: 2021, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2021
INDEXADO EM: DBLP
NO MEU: ORCID
12
TÍTULO: Secure Conflict-free Replicated Data Types
AUTORES: Barbosa, M ; Ferreira, B; Marques, J ; Portela, B ; Preguiça, N ;
PUBLICAÇÃO: 2021, FONTE: 22nd International Conference on Distributed Computing and Networking (ICDCN) in PROCEEDINGS OF THE 2021 INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING AND NETWORKING (ICDCN '21)
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID
13
TÍTULO: A Machine-Checked Proof of Security for AWS Key Management Service
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Campagna, M; Cohen, E; Gregoire, B; Pereira, V; Portela, B ; Strub, PY; Tasiran, S;
PUBLICAÇÃO: 2019, FONTE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19)
INDEXADO EM: Scopus WOS DBLP CrossRef: 19
NO MEU: ORCID
14
TÍTULO: BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage  Full Text
AUTORES: Bernardo Ferreira; Bernardo Portela ; Tiago Oliveira ; Guilherme Borges ; Henrique João L Domingos; João Leitão;
PUBLICAÇÃO: 2019, FONTE: SRDS
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID
15
TÍTULO: TRUSTFS: An SGX-enabled Stackable File System Framework
AUTORES: Esteves, T ; Macedo, R ; Faria, A ; Portela, B ; Paulo, J ; Pereira, J ; Harnik, D;
PUBLICAÇÃO: 2019, FONTE: 38th International Symposium on Reliable Distributed Systems (SRDS) in 2019 38TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS WORKSHOPS (SRDSW 2019)
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID
16
17
TÍTULO: BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage
AUTORES: Guilherme Borges; Henrique João L Domingos; Bernardo Ferreira; João Leitão; Tiago Oliveira; Bernardo Portela ;
PUBLICAÇÃO: 2018, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2018
INDEXADO EM: DBLP
NO MEU: ORCID
18
TÍTULO: hnforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Pacheco, H ; Pereira, V ; Portela, B ;
PUBLICAÇÃO: 2018, FONTE: 31st IEEE Computer Security Foundations Symposium (CSF) held as part of the Federated Logic Conference (FLoC) in IEEE 31ST COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2018), VOLUME: 2018-July
INDEXADO EM: Scopus WOS DBLP CrossRef: 9 Unpaywall
NO MEU: ORCID
19
TÍTULO: A Practical Framework for Privacy-Preserving NoSQL Databases  Full Text
AUTORES: Macedo, R ; Paulo, J ; Pontes, R ; Portela, B ; Oliveira, T ; Matos, M ; Oliveira, R ;
PUBLICAÇÃO: 2017, FONTE: 36th IEEE Symposium on Reliable Distributed Systems (SRDS) in 2017 IEEE 36TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), VOLUME: 2017-September
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
NO MEU: ORCID
20
TÍTULO: Secure Multiparty Computation from SGX  Full Text
AUTORES: Raad Bahmani; Manuel Barbosa ; Ferdinand Brasser; Bernardo Portela ; Ahmad Reza Sadeghi; Guillaume Scerri; Bogdan Warinschi;
PUBLICAÇÃO: 2017, FONTE: Financial Cryptography, VOLUME: 10322 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 52
NO MEU: ORCID
Página 2 de 3. Total de resultados: 21.

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