Bernardo Portela
Bernardo Portela
NOVA-LINCS, FCUP
Verified email at fct.unl.pt
Title
Cited by
Cited by
Year
Secure multiparty computation from SGX
R Bahmani, M Barbosa, F Brasser, B Portela, AR Sadeghi, G Scerri, ...
International Conference on Financial Cryptography and Data Security, 477-497, 2017
582017
Foundations of hardware-based attested computation and application to SGX
M Barbosa, B Portela, G Scerri, B Warinschi
2016 IEEE European Symposium on Security and Privacy (EuroS&P), 245-260, 2016
502016
A practical framework for privacy-preserving NoSQL databases
R Macedo, J Paulo, R Pontes, B Portela, T Oliveira, M Matos, R Oliveira
2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS), 11-20, 2017
192017
Bisen: Efficient boolean searchable symmetric encryption with verifiability and minimal leakage
B Ferreira, B Portela, T Oliveira, G Borges, H Domingos, J Leitão
2019 38th Symposium on Reliable Distributed Systems (SRDS), 103-10309, 2019
72019
Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
JB Almeida, M Barbosa, G Barthe, H Pacheco, V Pereira, B Portela
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 132-146, 2018
52018
A machine-checked proof of security for AWS key management service
JB Almeida, M Barbosa, G Barthe, M Campagna, E Cohen, B Gregoire, ...
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
42019
Secure multiparty computation from sgx
B Portela, M Barbosa, G Scerri, B Warinschi, R Bahmani, F Brasser, ...
42017
A Provable Security Treatment of Isolated Execution Environments and Applications to Secure Computation
BLF Portela
32018
Boolean Searchable Symmetric Encryption with Filters on Trusted Hardware
B Ferreira, B Portela, T Oliveira, G Borges, HJ Domingos, J Leitao
IEEE Transactions on Dependable and Secure Computing, 2020
2020
Boolean Searchable Symmetric Encryption with Filters on Trusted Hardware
B Portela, J Leitao, HJ Domingos, G Borges, TF Oliveira, B Ferreira
2020
Secure Conflict-free Replicated Data Types
M Barbosa, B Ferreira, J Marques, B Portela, N Preguiça
Cryptology ePrint Archive, Report 2020/944. https://eprint. iacr. org/2020/944, 2020
2020
TRUSTFS: An SGX-enabled Stackable File System Framework
T Esteves, R Macedo, A Faria, B Portela, J Paulo, J Pereira, D Harnik
2019 38th International Symposium on Reliable Distributed Systems Workshops …, 2019
2019
BISEN: Efficient boolean searchable symmetric encryption with verifiability and minimal leakage
B Portela, J Leitao, H Domingos, G Borges, TF Oliveira, B Ferreira
2019
TrustFS: An SGX-Enabled Stackable File System Framework
RG Macedo, D Harnik, J Pereira, J Paulo, B Portela, TC Araújo, AC Faria
2019
Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
HP Pacheco, BL Portela, VP Pereira, JB Almeida, M Barbosa, G Barthe
2018
Secure Multiparty Computation from SGX
M Barbosa, A Sadeghi, BL Portela, F Brasser, R Bahmani, B Warinschi, ...
2017
Foundations of Hardware-Based Attested Computation and Application to SGX
G Scerri, B Warinschi, M Barbosa, B Portela
2016
Segurança criptográfica no armazenamento e partilha de dados em ambientes cloud
BLF Portela
2013
The system can't perform the operation now. Try again later.
Articles 1–18