Bernardo Portela

Bernardo Portela

Universidade do Porto - Porto / Portugal
Engineering & Technology / Computer Science
AD Scientific Index ID: 4940192
University of Porto
person_outline Bernardo Portela's MOST POPULAR ARTICLES
1-) Secure multiparty computation from SGXR Bahmani, M Barbosa, F Brasser, B Portela, AR Sadeghi, G Scerri, ...International Conference on Financial Cryptography and Data Security, 477-497, 20171112017
2-) Foundations of hardware-based attested computation and application to SGXM Barbosa, B Portela, G Scerri, B Warinschi2016 IEEE European Symposium on Security and Privacy (EuroS&P), 245-260, 2016832016
3-) A practical framework for privacy-preserving nosql databasesR Macedo, J Paulo, R Pontes, B Portela, T Oliveira, M Matos, R Oliveira2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS), 11-20, 2017272017
4-) A machine-checked proof of security for AWS key management serviceJB Almeida, M Barbosa, G Barthe, M Campagna, E Cohen, B Gregoire, ...Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019292019
5-) Boolean searchable symmetric encryption with filters on trusted hardwareB Ferreira, B Portela, T Oliveira, G Borges, H Domingos, J LeitãoIEEE Transactions on Dependable and Secure Computing 19 (2), 1307-1319, 2020192020