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
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
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 |
|
Artigo em revista |
|
Tese / Dissertação |
|
Outros
Outra produção |
|
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
|