| Secure multiparty computation from SGX R Bahmani, M Barbosa, F Brasser, B Portela, AR Sadeghi, G Scerri, ... Financial Cryptography and Data Security: 21st International Conference, FC …, 2017 | 87 | 2017 |
| 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 | 71 | 2016 |
| 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 | 27 | 2017 |
| 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 | 17 | 2019 |
| 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 | 10 | 2018 |
| Bisen: Efficient boolean searchable symmetric encryption with verifiability and minimal leakage B Ferreira, B Portela, T Oliveira, G Borges, H Domingos, J Leitao 2019 38th Symposium on Reliable Distributed Systems (SRDS), 103-10309, 2019 | 8 | 2019 |
| Secure multiparty computation from SGX B Portela, MBM Barbosa, F Brasser, AR Sadeghi, G Scerri, B Warinschi Financial Cryptography and Data Security 2017: Twenty-First International …, 2017 | 6 | 2017 |
| Secure conflict-free replicated data types M Barbosa, B Ferreira, J Marques, B Portela, N Preguiça Proceedings of the 22nd International Conference on Distributed Computing …, 2021 | 5 | 2021 |
| 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 | 5 | 2019 |
| S2Dedup: SGX-enabled secure deduplication M Miranda, T Esteves, B Portela, J Paulo Proceedings of the 14th ACM International Conference on Systems and Storage …, 2021 | 4 | 2021 |
| BISEN: efficient boolean searchable symmetric encryption with verifiability and minimal leakage B Portela, J Leitao, H Domingos, G Borges, TF Oliveira, B Ferreira | 4 | 2019 |
| Boolean searchable symmetric encryption with filters on trusted hardware B Ferreira, B Portela, T Oliveira, G Borges, H Domingos, J Leitao IEEE Transactions on Dependable and Secure Computing 19 (2), 1307-1319, 2020 | 3 | 2020 |
| A provable security treatment of isolated execution environments and applications to secure computation BLF Portela PQDT-Global, 2018 | 3 | 2018 |
| A formal treatment of the role of verified compilers in secure computation JCB Almeida, M Barbosa, G Barthe, H Pacheco, V Pereira, B Portela Journal of Logical and Algebraic Methods in Programming 125, 100736, 2022 | 1 | 2022 |
| Poster: User Sessions on Tor Onion Services: Can Colluding ISPs Deanonymize Them at Scale? D Lopes, P Medeiros, JD Dong, D Barradas, B Portela, J Vinagre, ... Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022 | | 2022 |
| CODBS: A cascading oblivious search protocol optimized for real-world relational database indexes R Pontes, B Portela, M Barbosa, R Vilaça 2021 40th International Symposium on Reliable Distributed Systems (SRDS …, 2021 | | 2021 |
| S2Dedup: SGX-enabled Secure Deduplication T Esteves, M Miranda, J Paulo, B Portela Cryptology ePrint Archive, 2021 | | 2021 |
| SOTERIA: Privacy-Preserving Machine Learning for Apache Spark C Brito, P Ferreira, B Portela, R Oliveira, J Paulo Cryptology ePrint Archive, 2021 | | 2021 |
| Secure Conflict-free Replicated Data Types B Ferreira, NM Preguiça, M Barbosa, B Portela, JC Marques | | 2021 |
| Boolean Searchable Symmetric Encryption with Filters on Trusted Hardware B Portela, J Leitao, HJ Domingos, G Borges, TF Oliveira, B Ferreira | | 2020 |
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECVerified email at fc.up.pt
