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
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
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 |
|
Journal article |
|
Thesis / Dissertation |
|
Other
Other output |
|
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
|