Bernardo Luís Fernandes Portela


AuthID: R-00G-VZ3

Confirmed Publications: 21



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

footer slogan

Useful Links

Get Help

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