Bernardo Portela
Bernardo Portela
Verified email at
TitleCited byYear
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
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
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
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
A Provable Security Treatment of Isolated Execution Environments and Applications to Secure Computation
BLF Portela
Secure multiparty computation from sgx
B Portela, M Barbosa, G Scerri, B Warinschi, R Bahmani, F Brasser, ...
Financial Cryptography, 2017
BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage
B Ferreira, B Portela, T Oliveira, G Borges, H Domingos, J Leitao
IACR Cryptology 38 ePrint Archive, 2018: 588, 2018. 39, 37
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
Foundations of Hardware-Based Attested Computation and Application to SGX
G Scerri, B Warinschi, M Barbosa, B Portela
Segurança criptográfica no armazenamento e partilha de dados em ambientes cloud
BLF Portela
The system can't perform the operation now. Try again later.
Articles 1–10