Bernardo Portela

Contact: bernardo (dot) portela (at) fc (dot) up (dot) pt

Short bio

I am a lecturer at the Department of Computer Sciences of the Faculty of Sciences of the University of Porto, as well as a researcher at INESC TEC.

My research interests lie in cryptography and distributed systems, with a specific focus on provable security, trusted hardware, and multiparty computation.

Selected Publications

Almeida, José Bacelar, Manuel Barbosa, Gilles Barthe, Matthew Campagna, Ernie Cohen, Benjamin Gregoire, Vitor Pereira, Bernardo Portela, Pierre-Yves Strub, and Serdar Tasiran. "A machine-checked proof of security for AWS key management service." In Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, pp. 63-78. 2019.
Bahmani, R., Barbosa, M., Brasser, F., Portela, B., Sadeghi, A. R., Scerri, G., & Warinschi, B. (2017). "Secure multiparty computation from SGX." In Financial Cryptography and Data Security: 21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017, Revised Selected Papers 21 (pp. 477-497). Springer International Publishing.
Barbosa, M., Portela, B., Scerri, G., & Warinschi, B. (2016, March). "Foundations of hardware-based attested computation and application to SGX." In 2016 IEEE European Symposium on Security and Privacy (EuroS&P) (pp. 245-260). IEEE.
Almeida, J. B., Barbosa, M., Barthe, G., Pacheco, H., Pereira, V., & Portela, B. (2018, July). "Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks." In 2018 IEEE 31st Computer Security Foundations Symposium (CSF) (pp. 132-146). IEEE.
Barbosa, M., Ferreira, B., Marques, J., Portela, B., & Preguiça, N. (2021, January). "Secure conflict-free replicated data types." In Proceedings of the 22nd International Conference on Distributed Computing and Networking (pp. 6-15).

You can check out the full list at DBLP or Google Scholar