???global.info.a_carregar???
Bernardo Luís Fernandes Portela. Concluiu o Doutoramento no programa doutoral MAPi em 2018 pela Universidade do Porto Faculdade de Ciências, Mestrado em Mestrado em Engenharia Informática em 2013 pela Universidade do Minho, Escola de Engenharia, e Licenciatura em Engenharia Informática em 2011 pela Universidade do Minho, Escola de Engenharia. Atua na área de Ciências Exatas com ênfase em Ciências da Computação e da Informação. No seu currículo Ciência Vitae, os termos mais frequentes na contextualização da produção científica, tecnológica e artístico-cultural são: Criptografia; Hardware Seguro; Computacao confiável; Análise de Protocolos; Segurança; Replicação; Bases de Dados; .
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Bernardo Luís Fernandes Portela

Nomes de citação

  • Portela, Bernardo

Identificadores de autor

Ciência ID
6C1B-13F1-86D1
ORCID iD
0000-0002-7203-2621

Endereços de correio eletrónico

  • bernardo.portela@fc.up.pt (Profissional)
  • blfportela@gmail.com (Pessoal)

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português (Idioma materno)
Inglês Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2)
Formação
Grau Classificação
2018/01/11
Concluído
 MAPi Doctoral Programme (Doutoramento)
Especialização em Criptografia e Segurança da Informação
Universidade do Porto Faculdade de Ciências, Portugal
"Provable Security Treatment to Isolated Execution Environments and its Applications to Secure Computation" (TESE/DISSERTAÇÃO)
 n/a
2013
Concluído
 Mestrado em Engenharia Informática (Mestrado)
Especialização em Criptografia e Segurança da Informação
Universidade do Minho Escola de Engenharia, Portugal
"Segurança Criptográfica no Armazenamento e Partilha de Dados em Ambientes Cloud" (TESE/DISSERTAÇÃO)
 17
2011
Concluído
 Licenciatura em Engenharia Informática (Licenciatura)
Universidade do Minho Escola de Engenharia, Portugal
"n/a" (TESE/DISSERTAÇÃO)
 15
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2021/08 - 2022/08 Investigador Contratado (Investigação) Universidade do Porto Faculdade de Ciências, Portugal
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2019/11/01 - 2021/08 Investigador Contratado (Investigação) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019/01/01 - 2019/09/30 Pós-doutorado (Investigação) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2022/08 - Atual Professor Auxiliar (Docente Universitário) Universidade do Porto, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
2018/09/01 - 2022/08 Professor Auxiliar Convidado (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
2017/09/01 - 2018/08/31 Assistente Convidado (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
Projetos

Bolsa

Designação Financiadores
2016/07/01 - 2018/12/31 NanoSTIMA: Macro-to-Nano Human Sensing: Towards Integrated Multimodal Health Monitoring and Analytics
NORTE-01-0145-FEDER-000016
Bolseiro de Doutoramento
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Associação para a Inovação e Desenvolvimento da FCT
Concluído
2013/11/01 - 2016/06 PRACTICE: Privacy-Preserving Computation in the Cloud
info:eu-repo/grantAgreement/EC/FP7/609611/EU
Bolseiro de Doutoramento
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Universidade do Algarve Faculdade de Ciências e Tecnologia
Concluído
2013/03/01 - 2013/10/31 Bolsa de investigação - UMINHO/BIC/8/2013
UMINHO/BIC/8/2013
Bolseiro de Mestrado
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência

Projeto

Designação Financiadores
2019/10/01 - Atual HADES: HArdware-backed trusted and scalable DEcentralized Systems
PTDC/CCI-INF/31698/2017
Investigador
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
 Associação para a Inovação e Desenvolvimento da FCT
Em curso
2021/10 - 2023/12 THEIA - Automated Perception Driving
POCI-01-0247- FEDER-047264
Investigador Pós-doutorado
Universidade do Porto Faculdade de Ciências, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2022/02 - 2023/01 DAnon - Supervised Deanonymization of Dark Web Traffic for Cybercrime Investigation
CMU/TIC/0044/2021
Investigador Pós-doutorado
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2022/02 - 2023/01 DAnon - Supervised Deanonymization of Dark Web Traffic for Cybercrime Investigation
CMU/TIC/0044/2021
 Fundação para a Ciência e a Tecnologia
2015/09/01 - 2018/08/31 Secure and Resilient Cloud Architecture
653884
10.3030/653884
Investigador
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 European Commission
Concluído
2012/02/01 - 2012/08/31 ReD: Resilient Database Clusters
info:eu-repo/grantAgreement/FCT/5876-PPCDTI/109044/PT
Bolseiro de Iniciação Científica
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Universidade do Algarve Faculdade de Ciências e Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. Diogo Barradas; Carlos Novo; Bernardo Portela; Sofia Romeiro; Nuno Santos. "Extending C2 Traffic Detection Methodologies: From TLS 1.2 to TLS 1.3-enabled Malware". 2024.
    10.1145/3678890.3678921
  2. Cláudia Brito; Pedro Ferreira; Bernardo Portela; Rui Oliveira; João Paulo. "SOTERIA: Preserving Privacy in Distributed Machine Learning". 2023.
    10.1145/3555776.3578591
  3. Brito, C; Ferreira, P; Portela, Bernardo; Oliveira, R; Paulo, J. "SOTERIA: Preserving Privacy in Distributed Machine Learning". 2023.
  4. Lopes, D; Medeiros, P; Dong, JD; Barradas, D; Portela, Bernardo; Vinagre, J; Ferreira, B; Christin, N; Santos, N. "Poster: User Sessions on Tor Onion Services: Can Colluding ISPs Deanonymize Them at Scale?". 2022.
  5. Pontes, Rogerio; Portela, Bernardo; Barbosa, Manuel; Vilaca, Ricardo. "CODBS: A cascading oblivious search protocol optimized for real-world relational database indexes". 2021.
    10.1109/srds53918.2021.00026
  6. Barbosa, Manuel; Ferreira, Bernardo; Marques, João; Portela, Bernardo; Preguiça, Nuno. "Secure Conflict-free Replicated Data Types". 2021.
    10.1145/3427796.3427831
  7. Esteves, T.; Macedo, R.; Faria, A.; Portela, Bernardo; Paulo, J.; Pereira, J.; Harnik, D.. "TrusTFS: An SGX-enabled Stackable File System Framework". 2019.
    10.1109/SRDSW49218.2019.00012
  8. Ferreira, B; Portela, Bernardo; Oliveira, T; Borges, G; Domingos, H; Leitão, J. "BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage". 2019.
    10.1109/SRDS47363.2019.00021
  9. Macedo, R.; Paulo, J.; Pontes, R.; Portela, Bernardo; Oliveira, T.; Matos, M.. "A practical framework for privacy-preserving NoSQL databases". 2017.
    10.1109/SRDS.2017.10
  10. Barbosa, M; Portela, Bernardo; Scerri, G; Warinschi, B; Portela, B. "Foundations of Hardware-Based Attested Computation and Application to SGX". 2016.
    10.1109/eurosp.2016.28
Artigo em revista
  1. Portela, Bernardo; Pacheco, H; Jorge, P; Pontes, R. "General-Purpose Secure Conflict-free Replicated Data Types". IACR Cryptol. ePrint Arch. (2023):
    10.1109/csf57540.2023.00030
  2. Cláudia V. Brito; Pedro G. Ferreira; Bernardo L. Portela; Rui C. Oliveira; João T. Paulo. "Privacy-Preserving Machine Learning on Apache Spark". IEEE Access (2023): https://doi.org/10.1109/ACCESS.2023.3332222.
    10.1109/ACCESS.2023.3332222
  3. Bacelar Almeida, José Carlos; Barbosa, Manuel; Barthe, Gilles; Pacheco, Hugo; Pereira, Vitor; Portela, Bernardo. "A formal treatment of the role of verified compilers in secure computation". Journal of Logical and Algebraic Methods in Programming 125 (2022): 100736. http://dx.doi.org/10.1016/j.jlamp.2021.100736.
    10.1016/j.jlamp.2021.100736
  4. Ferreira, Bernardo; Portela, Bernardo; Oliveira, Tiago; Borges, Guilherme; Domingos, Henrique Joao; Leitao, Joao. "Boolean Searchable Symmetric Encryption with Filters on Trusted Hardware". IEEE Transactions on Dependable and Secure Computing (2020): 1-1. http://dx.doi.org/10.1109/tdsc.2020.3012100.
    10.1109/tdsc.2020.3012100
Tese / Dissertação
  1. "A Provable Security Treatment of Isolated Execution Environments and Applications to Secure Computation". 2018.

Outros

Outra produção
  1. S2Dedup: SGX-enabled Secure Deduplication. Proceedings of the 14th ACM International Conference on Systems and Storage. 2021. Miranda, Mariana; Esteves, Tânia; Portela, Bernardo; Paulo, João.
    10.1145/3456727.3463773
  2. Soteria: Privacy-Preserving Machine Learning for Apache Spark. 2021. Brito, C; Ferreira, P; Portela, B; Oliveira, R; Paulo, J.
  3. A Machine-Checked Proof of Security for AWS Key Management Service. 2019. Almeida, JB; Barbosa, M; Barthe, G; Campagna, M; Cohen, E; Grégoire, B; Pereira, V; et al.
    10.1145/3319535.3354228
  4. Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks. 2018. Almeida, J.B.; Barbosa, M.; Barthe, G.; Pacheco, H.; Pereira, V.; Portela, Bernardo.
    10.1109/CSF.2018.00017
  5. Secure Multiparty Computation from SGX. 2016. Bahmani, Raad; Barbosa, Manuel; Brasser, Ferdinand; Portela, Bernardo; Sadeghi, AhmadReza; Scerri, Guillaume; Warinschi, Bogdan.
    10.1007/978-3-319-70972-7_27
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2020/12/02 A Machine-Checked Proof of Security for AWS Key Management Service MAPi Seminar
(Braga, Portugal)
2020/02/12 Provably Secure Computation via Isolated Execution Environments Nova Seminar
Faculdade de Ciência e Tecnologia da Universidade Nova de Lisboa (Lisboa, Portugal)
2019/11/12 A Machine-Checked Proof of Security for AWS Key Management Service ACM Conference on Computer and Communications Security
King’s College London (Londres, Reino Unido)
2019/04/26 Secure Machine Learning DataScienceHub
Imperial College London (Londres, Reino Unido)
2019/03/18 Provably Secure Computation via Isolated Execution Environments CENTRA Webinar
Global CENTRA (Porto, Portugal)
2017/04/05 Secure Multiparty Computation from SGX Financial Cryptography
IACR (Sliema, Malta)
2016/03/23 Foundations of Hardware-Based Attested Computation and Application to SGX European Symposium on Security and Privacy
CISPA, Saarland University, Germany (Saarbrücken, Alemanha)

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2023/08 - Atual Zero-knowledge proofs using MPC-in-the-head
Orientador
 Segurança Informática (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2023/08 - Atual Dynamic Verifiable Secret Sharing for Multiparty Computation
Orientador
 Segurança Informática (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2023/08 - Atual Post-Quantum Secure Tools for Secure Cloud Transition
Orientador
 Segurança Informática (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2020/09 - Atual Detection of Encrypted Malware Command and Control Traffic
Orientador
 Informática (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2019/09/01 - Atual Security in Conflict-Free Replicated Data Types
Coorientador
 Mestrado em Segurança Informática (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2019/09/01 - Atual Formal and Practical Aspects of Trusted Computing Base for Intrusion Tolerant Systems
Coorientador
 Mestrado Integrado de Engenharia de Redes e Sistemas Informáticos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2019/09/01 - Atual Sistema de Deduplicação Seguro
Coorientador
 Mestrado em Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2019/09/01 - Atual Soluções para machine learning seguro
Coorientador
 Mestrado em Segurança Informática (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2022/08 - 2023/09 Modeling attacks on privacy-preserving Machine Learning
Orientador
 Segurança Informática (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2022/08 - 2023/09 Privacy in Telecom Fraud Detection
Orientador
 Segurança Informática (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2022/01 - 2023/09 An efficient Rust implementation of BFT for supporting Byzantine Tolerant Distributed Storage
Orientador
 Segurança Informática (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2022/01 - 2023/09 Speculative Execution Resilient Cryptography
Orientador
 Segurança Informática (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2021/08 - 2022/09 Privacy-Preserving Machine Learning for Network Traffic Analysis
Orientador
 Segurança Informática (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2021/08 - 2022/09 Security in Data Aggregation for Eventually Consistent Systems
Orientador
 Segurança Informática (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2019/09 - 2020/09 S2Dedup: SGX-enabled Secure Deduplication System
Coorientador
 Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2017/09/01 - 2018/12/11 Computação colaborativa segura num cenário de gestão de risco financeiro
Coorientador
 Mestrado em Segurança Informática (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2017/07 - 2018/08 Collaborative Secure Computation in Financial Risk Management Scenarios
Orientador
 Segurança Informática (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2019/07/25 - 2019/07/29 Organização da reunião ISO/IEC JTC1 SC17/WG10 “Motor vehicle driver licence and related documents" nas permissas do INESC TEC. Em discussão esteve a especificação da carta de condução para dispositivos móveis (mDL – Mobile Driver’s License), que dará origem ao standard ISO 18013-5. (2019/07/25 - 2019/07/29)
Encontro (Coorganizador)
 Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Participação em evento

Descrição da atividade
Tipo de evento 		Nome do evento
Instituição / Organização
2018/08/29 - 2018/09/03 Symmetric cryptography and proof techniques.
Outro
 Spotniq IACR school on Symmetric Proof Techniques
2016/01/04 - 2016/01/07 Verifiable computation and other privacy-preserving cryptographic techniques.
Outro
 6th BAR-ILAN Winter School on Cryptography
Bar-Ilan University, Israel
2015/09/23 - 2015/09/27 Trustworthy computing and cryptographic hardware in the cloud setting.
Outro
 Summer School on Secure and Trusted Computing
Universitatea Politehnica din Bucure¿ti, Roménia
2015/02/15 - 2015/02/19 Secure computation – fundamental definitions and state-of-the-art results.
Outro
 5th BAR-ILAN Winter School on Cryptography
Bar-Ilan University, Israel
2014/11/24 - 2014/11/28 Security verification tools: EasyCrypt, F* and CryptoVerif.
Outro
 Joint EasyCrypt-F * -CryptoVerif School
Inria Centre de Recherche de Paris, França
2014/10/13 - 2014/10/16 Vulnerabilities of cryptographic algorithms and protocols – theory and practice.
Outro
 CryptoAction School on Cryptographic Attacks
Universidade do Minho, Portugal
2014/08/31 - 2014/09/06 Formal methods for automated verification of security protocols in the cloud.
Outro
 School on Foundations of Security Analysis and Design (FOSAD)
Università degli Studi di Bologna Dipartimento di Informatica Scienza e Ingegneria, Itália
2014/03/24 - 2014/03/28 Introduction and formal verification of hybrid programs.
Outro
 MAPi Spring School on Logic of Dynamical Systems
Universidade do Minho, Portugal

Júri de grau académico

Tema
Tipo de participação 		Nome do candidato (Tipo de grau)
Instituição / Organização
2023/08 Speculative Execution Resilient Cryptography
Arguente principal
 André Carneiro (Mestrado)
Universidade do Minho, Portugal
2023/08 An efficient Rust implementation of BFT for supporting Byzantine Tolerant Distributed Storage
Orientador
 Nuno Martingo (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2023/08 Privacy in Telecom Fraud Detection
Orientador
 Eduardo Santos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2023/08 Speculative Execution Resilient Cryptography
Orientador
 Rui Fernandes (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2023/07 Authorization and security of MEC applications
Arguente principal
 André Martins (Mestrado)
Universidade do Minho, Portugal
2022/08 Trustworthy and Robust Intra-Vehicle Communication
Orientador
 Patrícia Machado (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2022/08 Privacy-Preserving Machine Learning for Network Traffic Analysis
Orientador
 Inês Macedo (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2022/08 Security in Data Aggregation for Eventually Consistent Systems
Orientador
 Pedro Jorge (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2022/08 Modeling attacks on privacy-preserving Machine Learning
Orientador
 Gabriel Saraiva (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2022/07 The Portuguese citizen’s control over their Citizen Card and their Digital Mobile Key
Arguente principal
 João Martins (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2022/02 Detection of Cyberattacks on a Multi-tenant Service
Arguente principal
 Angelo Moura (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2020/08 S2Dedup: SGX-enabled Secure Deduplication System
Orientador
 Mariana Miranda (Mestrado)
Universidade do Minho, Portugal
2020/06 TrustZone based Attestation in Secure Runtime Verification for Embedded Systems
Arguente principal
 Miguel Quaresma (Mestrado)
Universidade do Minho, Portugal
2019/11/20 Virtual HSM: Building a Hardware-backed Dependable Cryptographic Store
Arguente
 Miguel Gomes Rosa (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018/08 Collaborative Secure Computation in Financial Risk Management Scenarios
Orientador
 Tiago Fernandes (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal

Arbitragem científica em conferência

Nome da conferência Local da conferência
2021/09 - 2021/09 INForum 2021 Lisboa
2021/09 - 2021/09 INForum 2022 Lisboa
2019/09/05 - 2019/09/06 INForum 2019 Instituto Superior de Lisboa
2018/12/10 - 2018/12/10 W-GCS'18 2018 : 1st Workshop on GDPR Compliant Systems Rennes, França
2018/04/23 - 2018/04/23 W-P2DS’18 - Workshop on Privacy by Design in Distributed Systems Porto, Portugal

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
2023/02 - 2023/08 Programação I Matemática (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal
2023/02 - 2023/08 Segurança e Aplicações de Hardware Confiável Segurança Informática (Mestrado integrado) Universidade do Porto Faculdade de Ciências, Portugal
2022/09 - 2023/02 Programação I Engenharia Física (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal
2022/09 - 2023/02 Segurança de Redes Engenharia de Redes e Sistemas Informáticos (Mestrado integrado) Universidade do Porto Faculdade de Ciências, Portugal
2021/09 - 2022/02 Fundamentos de Segurança Informática Engenharia Informática e Computação (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal
2021/02 - 2021/08 Segurança e Aplicações de Hardware Confiável Segurança Informática (Mestrado integrado) Universidade do Porto Faculdade de Ciências, Portugal
2021/02 - 2021/07 Segurança e Aplicações de Hardware Confiável Segurança Informática (Mestrado integrado) Universidade do Porto Faculdade de Ciências, Portugal
2020/09/01 - 2021/02 Programação Imperativa Ciência de Computadores (Mestrado) Universidade do Porto Faculdade de Ciências, Portugal
2020/09 - 2021/02 Criptografia Segurança Informática (Mestrado integrado) Universidade do Porto Faculdade de Ciências, Portugal
2019/03/01 - 2019/08/31 Programação Funcional Ciência de Computadores (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal
2018/09/01 - 2019/02/28 Programação Imperativa Ciência de Computadores (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal
2018/03/01 - 2018/08/31 Programação Funcional Ciência de Computadores (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal
2017/09/01 - 2018/02/28 Programação Imperativa Ciência de Computadores (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal
2017/09/01 - 2018/02/28 Programação Imperativa Ciência de Computadores (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal
Distinções

Prémio

2012 MULTICERT school award
Universidade do Minho, Portugal