Author

Bernardo Portela

Observed names: Bernardo L. Portela, Portela, Bernardo, Portela, Bernardo Luís Fernandes

Institutions: Universidade do Porto, INESC TEC

Observed institutions: Universidade do Porto, INESC TEC, Laboratório para a Ciência da Computação e Informática, University of Minho

ORCID: 0000-0002-7203-2621

Observed ORCID: 0000-0002-7203-2621

OpenAlex ID: A5033372576

Secure Multiparty Computation from SGX

2017 · Raad Bahmani, Manuel Barbosa, et al. · Lecture notes in computer science · 89

PDF

Foundations of Hardware-Based Attested Computation and Application to SGX

2016 · Manuel Barbosa, Bernardo Portela, et al. · IEEE European Symposium on Security and Privacy · 52

PDF

A Machine-Checked Proof of Security for AWS Key Management Service

2019 · José Bacelar Almeida, Manuel Barbosa, et al. · ACM SIGSAC Conference on Computer and Communications Security (CCS) · 24

PDF

Extending C2 Traffic Detection Methodologies: From TLS 1.2 to TLS 1.3-enabled Malware

2024 · Diogo Barradas, Carlos Novo, et al. · International Symposium on Research in Attacks, Intrusions and Defenses (RAID) · 21

Boolean Searchable Symmetric Encryption with Filters on Trusted Hardware

2020 · Bernardo Ferreira, Bernardo Portela, et al. · IEEE Transactions on Dependable and Secure Computing · 21

Flow Correlation Attacks on Tor Onion Service Sessions with Sliding Subset Sum

2024 · Daniela Lopes, Jin-Dong Dong, et al. · Network and Distributed System Security Symposium · 20

PDF

A Practical Framework for Privacy-Preserving NoSQL Databases

2017 · Ricardo Macedo, Joao Paulo, et al. · IEEE Symposium on Reliable Distributed Systems (SRDS) · 19

PDF

Secure Conflict-free Replicated Data Types

2020 · Manuel Barbosa, Bernardo Ferreira, et al. · International Conference on Distributed Computing and Networking (ICDCN) · 13

PDF

Enforcing Ideal-World Leakage Bounds in Real-World Secret Sharing MPC Frameworks

2018 · Jose Bacelar Almeida, Manuel Barbosa, et al. · IEEE Computer Security Foundations Workshop (CSFW) · 11

PDF

SOTERIA: Preserving Privacy in Distributed Machine Learning

2023 · Cláudia Brito, Pedro Ferreira, et al. · ACM Symposium on Applied Computing · 8

PDF

S2Dedup

2021 · Mariana Miranda, Tânia Esteves, et al. · ACM International Conference on Systems and Storage · 8

PDF

BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage

2019 · Bernardo Ferreira, Bernardo Portela, et al. · IEEE Symposium on Reliable Distributed Systems (SRDS) · 7

PDF

General-Purpose Secure Conflict-free Replicated Data Types

2023 · Bernardo Portela, Hugo Pacheco, et al. · IEEE Computer Security Foundations Workshop (CSFW) · 4

PDF

A formal treatment of the role of verified compilers in secure computation

2021 · José Carlos Bacelar Almeida, Manuel Barbosa, et al. · Journal of Logical and Algebraic Methods in Programming · 4

PDF

Privacy-Preserving Machine Learning on Apache Spark

2023 · Cláudia V. Brito, Pedro G. Ferreira, et al. · IEEE Access · 3

PDF

TrustFS: An SGX-Enabled Stackable File System Framework

2019 · Tânia Esteves, Ricardo Macedo, et al. · IEEE Symposium on Reliable Distributed Systems Workshops (SRDSW) · 2

PDF

CODBS: A cascading oblivious search protocol optimized for real-world relational database indexes

2021 · Rogerio Pontes, Bernardo Portela, et al. · IEEE Symposium on Reliable Distributed Systems (SRDS) · 1

PDF

S2Dedup: SGX-enabled Secure Deduplication.

2021 · Tânia Esteves, Mariana Miranda, et al. · IACR Cryptology ePrint Archive · 1

BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage.

2018 · Guilherme Borges, Henrique Domingos, et al. · IACR Cryptology ePrint Archive · 1

DeepCoFFEA models