???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; .
Read full resume ↓
Identification

Personal identification

Full name
Bernardo Luís Fernandes Portela

Citation names

  • Portela, Bernardo

Author identifiers

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

Email addresses

  • bernardo.portela@fc.up.pt (Professional)
  • blfportela@gmail.com (Personal)

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences
  • Exact Sciences - Computer and Information Sciences - Computer Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese (Mother tongue)
English Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2)
Education
Degree Classification
2018/01/11
Concluded
 MAPi Doctoral Programme (Doutoramento)
Major in 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" (THESIS/DISSERTATION)
 n/a
2013
Concluded
 Mestrado em Engenharia Informática (Mestrado)
Major in 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" (THESIS/DISSERTATION)
 17
2011
Concluded
 Licenciatura em Engenharia Informática (Licenciatura)
Universidade do Minho Escola de Engenharia, Portugal
"n/a" (THESIS/DISSERTATION)
 15
Affiliation

Science

Category
Host institution 		Employer
2021/08 - 2022/08 Contracted Researcher (Research) 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 Contracted Researcher (Research) 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 Postdoc (Research) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2022/08 - Current Assistant Professor (University Teacher) Universidade do Porto, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
2018/09/01 - 2022/08 Invited Assistant Professor (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
2017/09/01 - 2018/08/31 Invited Assistant (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
Projects

Grant

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

Contract

Designation Funders
2019/10/01 - Current HADES: HArdware-backed trusted and scalable DEcentralized Systems
PTDC/CCI-INF/31698/2017
Researcher
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
 Associação para a Inovação e Desenvolvimento da FCT
Ongoing
2021/10 - 2023/12 THEIA - Automated Perception Driving
POCI-01-0247- FEDER-047264
Post-doc
Universidade do Porto Faculdade de Ciências, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2022/02 - 2023/01 DAnon - Supervised Deanonymization of Dark Web Traffic for Cybercrime Investigation
CMU/TIC/0044/2021
Post-doc
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
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
Researcher
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 European Commission
Concluded
2012/02/01 - 2012/08/31 ReD: Resilient Database Clusters
info:eu-repo/grantAgreement/FCT/5876-PPCDTI/109044/PT
Scientific Initiation Fellow
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Universidade do Algarve Faculdade de Ciências e Tecnologia
Concluded
Outputs

Publications

Conference paper
  1. Brito, C; Ferreira, P; Portela, Bernardo; Oliveira, R; Paulo, J. "SOTERIA: Preserving Privacy in Distributed Machine Learning". 2023.
  2. 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.
  3. 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
  4. Barbosa, Manuel; Ferreira, Bernardo; Marques, João; Portela, Bernardo; Preguiça, Nuno. "Secure Conflict-free Replicated Data Types". 2021.
    10.1145/3427796.3427831
  5. 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
  6. 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
  7. 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
  8. 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
Journal article
  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. 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
  3. 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
Thesis / Dissertation
  1. "A Provable Security Treatment of Isolated Execution Environments and Applications to Secure Computation". 2018.

Other

Other output
  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
Activities

Oral presentation

Presentation title Event name
Host (Event location)
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, United Kingdom)
2019/04/26 Secure Machine Learning DataScienceHub
Imperial College London (Londres, United Kingdom)
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, Germany)

Supervision

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

Event organisation

Event name
Type of event (Role) 		Institution / Organization
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)
Meeting (Co-organisor)
 Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Event participation

Activity description
Type of event 		Event name
Institution / Organization
2018/08/29 - 2018/09/03 Symmetric cryptography and proof techniques.
Other
 Spotniq IACR school on Symmetric Proof Techniques
2016/01/04 - 2016/01/07 Verifiable computation and other privacy-preserving cryptographic techniques.
Other
 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.
Other
 Summer School on Secure and Trusted Computing
Universitatea Politehnica din Bucure¿ti, Romania
2015/02/15 - 2015/02/19 Secure computation – fundamental definitions and state-of-the-art results.
Other
 5th BAR-ILAN Winter School on Cryptography
Bar-Ilan University, Israel
2014/11/24 - 2014/11/28 Security verification tools: EasyCrypt, F* and CryptoVerif.
Other
 Joint EasyCrypt-F * -CryptoVerif School
Inria Centre de Recherche de Paris, France
2014/10/13 - 2014/10/16 Vulnerabilities of cryptographic algorithms and protocols – theory and practice.
Other
 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.
Other
 School on Foundations of Security Analysis and Design (FOSAD)
Università degli Studi di Bologna Dipartimento di Informatica Scienza e Ingegneria, Italy
2014/03/24 - 2014/03/28 Introduction and formal verification of hybrid programs.
Other
 MAPi Spring School on Logic of Dynamical Systems
Universidade do Minho, Portugal

Jury of academic degree

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

Conference scientific committee

Conference name Conference host
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

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
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
Distinctions

Award

2012 MULTICERT school award
Universidade do Minho, Portugal