Concepedia

Bernardo Portela

BP

6

Publications

112

Citations

6

H-Index

2016

Active since

Affiliations

INESC TEC(Current)

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento

Universidade do Porto

University of Lisbon

University of Waterloo

Bernardo Portela is an author at INESC TEC specializing in data security, cryptography, and data privacy.

Top concepts

EngineeringCryptographyData PrivacyData SecurityInformation SecurityFormal MethodsComputer ScienceHardware SecuritySoftware AnalysisFormal Verification

Publications per year

2016–2024

6

Publications

6

Foundations of Hardware-Based Attested Computation and Application to SGX

Manuel Barbosa, Bernardo Portela, Guillaume Scerri et al. · 2016 · 48 citations · Full text

Cryptographic Primitive, Engineering, Hardware-based Attested Computation +20

Boolean Searchable Symmetric Encryption with Filters on Trusted Hardware

Bernardo Ferreira, Bernardo Portela, Tiago Oliveira et al. · IEEE Transactions on Dependable and Secure Computing · 2020 · 16 citations · Full text

A Practical Framework for Privacy-Preserving NoSQL Databases

Ricardo Macedo, João Paulo, Rogério Pontes et al. · 2017 · 15 citations · Full text

Engineering, Information Security, Data-centric Security +20

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

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe et al. · 2018 · 12 citations · Full text

Cryptographic Primitive, Engineering, Protocol Security +22

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

Daniela Lopes, Jin-Dong Dong, Daniel Castro et al. · 2024 · 11 citations · Full text

Rows per page

1–5 of 6