???global.info.a_carregar???
Information and Communications Technology (ICT) is a pillar of today's society. In the last decades we have progressed to a point where most of our critical infrastructure is managed using highly complex distributed systems, with large numbers of heterogeneous computing machines. Cybersecurity and security protection in ICT however, are lagging behind, as it is in general very costly to achieve. This delay in securing ICT infrastructures can have dire consequences in practice, as has already been shown by recent security incidents targeting critical sectors of society, including energy and water management infrastructures, healthcare organisations, and confidential data storage. Improving the security, dependability, and efficiency of ICT systems for critical society sectors has been the main research focus of the author since the start of his scientific career. In the last five years he has focused mostly on secure distributed systems, in particular how to efficiently store, share, and search data with strong privacy, integrity, and availability guarantees. In this scientific area, he has contributed by proposing new protocols for securely storing and querying data in distributed NoSQL databases, confidential blockchains, and cloud data repositories. These contributions have paved the way for building more secure distributed systems that can support different applications scenarios. Google Scholar Profile: https://scholar.google.pt/citations?user=M_bf0BIAAAAJ&hl=en
Read full resume ↓
Identification

Personal identification

Full name
Bernardo Ferreira

Citation names

  • Bernardo Ferreira

Author identifiers

Ciência ID
7B1C-9608-847D
ORCID iD
0000-0002-6956-0968
Google Scholar ID
M_bf0BIAAAAJ

Email addresses

  • blferreira@fc.ul.pt (Professional)

Websites

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese (Mother tongue)
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
Education
Degree Classification
2011/09/01 - 2016/12/12
Concluded
 PhD in Computer Science (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
"Privacy-Preserving Efficient Searchable Encryption" (THESIS/DISSERTATION)
 Unanimously Approved
2008/09/01 - 2010/12/06
Concluded
 MSc in Computer Science (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
"Plataforma Unificada e Extensível para Colaboração com Dispositivos Heterogéneos" (THESIS/DISSERTATION)
 17
2005/09/01 - 2008/07/22
Concluded
 BSc in Computer Science (Licenciatura)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
"n/a" (THESIS/DISSERTATION)
 15
2005/08/10
Concluded
 Certificate in Advanced English (Outros)
University of Cambridge, United Kingdom
 C
Affiliation

Science

Category
Host institution 		Employer
2019/09/01 - Current Principal Investigator (Research) LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2019/01/01 - 2019/09/30 Contracted Researcher (Research) Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
2017/01/01 - 2018/12/31 Postdoc (Research) Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
2011/09/01 - 2016/12/31 Research Trainee (Research) Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2019/10/01 - Current Assistant Professor (University Teacher) Universidade de Lisboa Faculdade de Ciências, Portugal

Others

Category
Host institution 		Employer
2017/02/01 - 2019/07/31 Teaching Assistant Fellowship Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
2011/09/01 - 2015/01/31 Teaching Assistant Fellowship Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
2009/10/26 - 2011/07/31 Academic and Professional Internship Altice Labs, Portugal
2008/09/01 - 2009/07/31 Teaching Assistant Fellowship Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
Projects

Grant

Designation Funders
2023/03/01 - 2026/02/28 SMaRtChain - Fast and Energy-efficient Distributed Consensus for Blockchains
2022.08431.PTDC
Co-Principal Investigator (Co-PI)
Fundação para a Ciência e a Tecnologia, I.P.
Ongoing
2023/03/01 - 2026/02/28 FraMewoRk for a multI-ARCHitecture Internet
2022.09325.PTDC
Researcher
Fundação para a Ciência e a Tecnologia, I.P.
Ongoing
2022/02/01 - 2023/01/31 DaNon - Supervised Deanonymization of Dark Web Traffic for Cybercrime Investigation
CMU/TIC/0044/2021
Researcher
Fundação para a Ciência e a Tecnologia, I.P.
Concluded
2018/10/01 - 2022/03/31 HADES - HArdware-backed trusted and scalable DEcentralized Systems
PTDC/CCI-INF/31698/2017
Principal investigator
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
2018/07/01 - 2021/06/30 SAMOA - Secure and Scalable Platform for Massive-scale Mobile Applications
PTDC/CCI-INF/32662/2017
Researcher
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
2017/01/01 - 2019/12/31 LightKone: Lightweight computation for networks at the edge
732505
Post-doc Fellow
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 European Union
Ongoing
2019/01/01 - 2019/09/30 VORTEX - Collaborative Laboratory on Cyber-Physical Systems and Cyber Security
VORTEX Colab
Researcher
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2014/10/01 - 2016/03/31 MyPrivateEC2 - End-to-end Privacy Enhanced Services using AWS EC2
MyPrivateEC2
PhD Student Fellow
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 Amazon Web Services Inc
Concluded
2011/04/01 - 2014/09/30 SITAN - Services for Intrusion Tolerant Ad Hoc Networks
PTDC/EIA-EIA/113729/2009
PhD Student Fellow
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded

Other

Designation Funders
2011 - 2011 Modernization of Portugal Telecom Mobile 3G/LTE Core Network
4G
Other
Altice Labs, Portugal
2009 - 2010 PUC - Unified Collaborative Platform
PUC
Other
Altice Labs, Portugal
Concluded
Outputs

Publications

Conference abstract
  1. Martins, Jorge; Medeiros, Ibéria; Ferreira, Bernardo. "Code Privacy in Detection of Web Vulnerabilities". Paper presented in EASE '23: Proceedings of the 27th International Conference on Evaluation and Assessment in Software Engineering, 2023.
    Published • 10.1145/3593434.3593483
  2. Lopes, Daniela; Medeiros, Pedro; Dong, Jin-Dong; Barradas, Diogo; Portela, Bernardo; Vinagre, João; Ferreira, Bernardo; Christin, Nicolas; Santos, Nuno. "Poster: User Sessions on Tor Onion Services: Can Colluding ISPs Deanonymize Them at Scale?". Paper presented in CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022.
    Published • 10.1145/3548606.3563520
Conference paper
  1. Lopes, Daniela; Medeiros, Pedro; Dong, Jin-Dong; Barradas, Diogo; Portela, Bernardo; Vinagre, João; Bernardo Ferreira; Christin, Nicolas; Santos, Nuno. "Flow Correlation Attacks on Tor Onion Service Sessions with Sliding Subset Sum". Paper presented in The 2024 Network and Distributed System Security Symposium (NDSS'24), 2024.
    Accepted
  2. Vassantlal, Robin; Eduardo Alchieri; Bernardo Ferreira; Bessani, Alysson. Corresponding author: Vassantlal, Robin. "COBRA: Dynamic Proactive Secret Sharing for Confidential BFT Services". Paper presented in 43rd IEEE Symposium on Security and Privacy (SP'22), San Francisco, 2022.
    Published • 10.1109/SP46214.2022.9833658
  3. Barbosa, Manuel; Ferreira, Bernardo; Marques, João; Portela, Bernardo; Preguiça, Nuno; Bernardo Ferreira. "Secure Conflict-free Replicated Data Types". Paper presented in The 2021 International Conference on Distributed Computing and Networking (ICDCN'21), 2021.
    Published • 10.1145/3427796.3427831
  4. Adriano Serckumecka; Ibéria Medeiros; Bernardo Ferreira; Alysson Bessani. "SLiCER: Safe Long-term Cloud Event Archival". Paper presented in 24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2019), 2019.
    Published • 10.1109/PRDC47002.2019.00021
  5. Bernardo Ferreira; Bernardo Portela; Tiago Oliveira; Borges, Guilherme; Henrique João Lopes Domingos; João Leitão. "BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage". Paper presented in 38th Symposium on Reliable Distributed Systems (SRDS'19), 2019.
    Published • 10.1109/SRDS47363.2019.00021
  6. Serckumecka, Adriano; Medeiros, Iberia; Ferreira, Bernardo; Bessani, Alysson; Bernardo Ferreira. "A Cost-Effective Cloud Event Archival for SIEMs". Paper presented in 2019 38th International Symposium on Reliable Distributed Systems Workshops (SRDSW), 2019.
    Published • 10.1109/srdsw49218.2019.00013
  7. Bernardo Ferreira; João Leitão; Henrique Domingos. "MuSE: Multimodal Searchable Encryption for Cloud Applications". Paper presented in 2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS'18), 2018.
    Published • 10.1109/srds.2018.00029
  8. Guilherme Borges; João Leitão; Henrique Domingos; Bernardo Ferreira. "Pesquisa Booleana Cifrada usando Hardware Confiável". Paper presented in INForum 2018 Proceedings of the 10th Portuguese Symposium on Informatics, 2018.
    Published
  9. Joana Tavares; Nuno Preguiça; Bernardo Ferreira. "SCRDTs: Tipos de Dados Seguros e Replicados sem Conflitos". Paper presented in INForum 2018 Proceedings of the 10th Portuguese Symposium on Informatics, 2018.
    Published
  10. Bernardo Ferreira; João Leitão; Henrique Domingos. "Multimodal Indexable Encryption for Mobile Cloud-Based Applications". Paper presented in 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - DSN'17, 2017.
    Published • 10.1109/DSN.2017.31
  11. Bernardo Ferreira; João Rodrigues; João Leitão; Henrique Domingos. "Privacy-Preserving Content-Based Image Retrieval in the Cloud". Paper presented in 2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS'15), Montreal, 2015.
    Published • 10.1109/srds.2015.27
  12. Bernardo Ferreira; João Leitão; Henrique Domingos. "Cifra Multimodal Indexável para Aplicações Móveis baseadas na Núvem". Paper presented in INForum 2015 Proceedings of the 7th Portuguese Symposium on Informatics, 2015.
    Published
  13. Bernardo Ferreira; João Rodrigues; João Leitão; Henrique Domingos. "Towards an image encryption scheme with content-based image retrieval properties". Paper presented in 9th International Workshop on Data Privacy Management, 2014.
    Published • 10.1007/978-3-319-17016-9_20
  14. João Rodrigues; Bernardo Ferreira; João Leitão; Henrique Domingos. "DocNuvem: Edição Colaborativa de Documentos na Nuvem com Garantias de Privacidade". Paper presented in INForum 2014 Proceedings of the 6th Portuguese Symposium on Informatics, 2014.
    Published
  15. João Rodrigues; Bernardo Ferreira; Henrique Domingos. "TMS: a trusted mail repository service using public storage clouds". Paper presented in Proceedings of the 8th Workshop on Middleware for Next Generation Internet Computing - MW4NextGen '13, 2013.
    Published • 10.1145/2541608.2541610
  16. Bernardo Ferreira; Henrique Domingos. "Searching private data in a cloud encrypted domain". Paper presented in OAIR '13 Proceedings of the 10th Conference on Open Research Areas in Information Retrieval, 2013.
  17. João Rodrigues; Bernardo Ferreira; Henrique Domingos. "A Secure Email Repository Service using Public Untrusted Storage Clouds". Paper presented in INForum 2013 Proceedings of the 5th Portuguese Symposium on Informatics, 2013.
  18. Bernardo Ferreira; Henrique Domingos. "Management and search of private data on storage clouds". Paper presented in Proceedings of the Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management - SDMCMM '12, 2012.
    10.1145/2405186.2405190
  19. Bernardo Ferreira; Henrique Domingos. "Gestão e Pesquisa de Dados Privados em Nuvens de Armazenamento". Paper presented in INForum 2012 Proceedings of the 4th Portuguese Symposium on Informatics, 2012.
Conference poster
  1. Bernardo Ferreira; João Leitão; Henrique Domingos. "Multimodal Indexable Encryption for Mobile Cloud-based Applications". Paper presented in 10th ACM European Conference on Computer Systems (EuroSys'15), 2015.
  2. Bernardo Ferreira; Henrique Domingos. "Security and Dependability in Cloud based Critical Online Applications". Paper presented in 7th EuroSys Doctoral Workshop, 2013.
  3. Bernardo Ferreira; Henrique Domingos. "CloudCryptoSearch: a prototype for secure searching of private data in cloud encrypted domains". Paper presented in 10th Conference on Open Areas in Information Retrieval (OAIR'13), 2013.
Edited book
  1. Proceedings of the 22nd International Conference on Principles of Distributed Systems - OPODIS'18. Germany: Schloss Dagstuhl. 2018.
    Published • 10.4230/LIPIcs.OPODIS.2018.0 • Editor
Journal article
  1. Bernardo Ferreira; 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.
    Published • 10.1109/tdsc.2020.3012100
  2. Bernardo Ferreira; Joao Rodrigues; Joao Leitao; Henrique Domingos. "Practical Privacy-Preserving Content-Based Retrieval in Cloud Image Repositories". IEEE Transactions on Cloud Computing (2017): 1-1. https://doi.org/10.1109%2Ftcc.2017.2669999.
    Published • 10.1109/TCC.2017.2669999
Thesis / Dissertation
  1. Ferreira, Bernardo. "Privacy-preserving efficient searchable encryption". PhD, Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, 2016. https://run.unl.pt/handle/10362/19797.
  2. Ferreira, Bernardo. "Plataforma unificada e extensível para colaboração com dispositivos heterogéneos". Master, Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, 2010. https://run.unl.pt/handle/10362/5007.
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2022 COBRA: Dynamic Proactive Secret Sharing for Confidential BFT Services 1st National Meeting of Distributed Systems
(Portugal)
2018/09 Searching Encrypted Data in the Cloud EU COST Action IC1402 Workshop on Security and Privacy (Invited Communication)
(Siracusa, Italy)
2018/01 Searching Encrypted Data in the Cloud: the Quest for Practical Security 73rd Workshop of the IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance (Invited Communication)
(India)
2016 Privacy-Preserving Content-Based Image Retrieval in the Cloud NOVA LINCS Workshop with External Advisory Board
(Portugal)
2015 Indexable Encryption: Searching Cloud-Stored Multimodal Data on Mobile Devices PhD Forum of the 34th IEEE Symposium on Reliable Distributed Systems
2013 Security and Dependability in Cloud based Critical Online Applications 7th EuroSys Doctoral Workshop

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2023/09 - Current Development of an Accessible Password Manager for Elderly People
Co-supervisor
Faculdade de Ciências, Universidade de Lisboa, Portugal
2023/09 - Current Path Verification at Terabit speed for the SCION Internet Architecture
Supervisor
Faculdade de Ciências, Universidade de Lisboa, Portugal
2023/09 - Current Virtual and Distributed Hardware Security Module for Secure Key Management
Supervisor
Faculdade de Ciências, Universidade de Lisboa, Portugal
2023/09 - Current Multi-Party Computation as a Service for Privacy-Preserving Distributed Applications
Supervisor
Faculdade de Ciências, Universidade de Lisboa, Portugal
2022 - Current SAFEX - Safer exchange of private pictures
Supervisor
Faculdade de Ciências, Universidade de Lisboa, Portugal
2022 - Current Detection, classification and reporting of early evidence of malware attacks - Backups Ecosystem
Supervisor
Faculdade de Ciências, Universidade de Lisboa, Portugal
2022 - Current Improving Confidential BFT State Machine Replication
Co-supervisor
Faculdade de Ciências, Universidade de Lisboa, Portugal
2021 - Current Migration of Networks
Co-supervisor
Faculdade de Ciências, Universidade de Lisboa, Portugal
2022/09 - 2023/09 Ensino de Sistemas de Comunicação Baseados em Web Sockets
Co-supervisor
Instituto de Educação, Universidade de Lisboa, Portugal
2021/09 - 2023/01 Building a Confidential Cryptocurrency
Supervisor
Faculdade de Ciências, Universidade de Lisboa, Portugal
2021/09 - 2023/01 Privacy-preserving Deanonymization of Dark Web Tor Onion Services for Criminal Investigations
Supervisor
Faculdade de Ciências, Universidade de Lisboa, Portugal
2021/09 - 2023/01 Hardware-Backed Confidential Blockchain
Supervisor
Faculdade de Ciências, Universidade de Lisboa, Portugal
2021/09 - 2023/01 Code Privacy in Detection of Web Vulnerabilities
Co-supervisor
Faculdade de Ciências, Universidade de Lisboa, Portugal
2020/10/01 - 2021/09/30 Privacy-preserving key-value store
Co-supervisor
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020/10/01 - 2021/09/30 Azure2SOC: Integração de Tecnologias de Segurança MS AZURE no Ecossistema do CyberSOC da Altice Portugal
Supervisor
Faculdade de Ciências, Universidade de Lisboa, Portugal

Altice, Portugal
2021 - 2021 Integrating BFT-SMaRt with Tendermint through Inter-Blockchain Communication
Supervisor
Faculdade de Ciências, Universidade de Lisboa, Portugal
2021 - 2021 Building a web interface for the BISEN framework
Supervisor
Faculdade de Ciências, Universidade de Lisboa, Portugal
2020 - 2021 Hardware-backed Trusted Decentralised Systems
Supervisor
 Post-Doc (Other)
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
2019/10/01 - 2020/09/30 Security Testing Framework based on ICS/SCADA Security
Supervisor
Universidade de Lisboa Faculdade de Ciências, Portugal

Siemens AG, Germany
2019/10/01 - 2020/09/30 Multi-RFID embedded Ticketing Kernel for MaaS
Supervisor
Universidade de Lisboa Faculdade de Ciências, Portugal

Card4B, Portugal
2019/10/01 - 2020/09/22 A Systems Approach to Searchable Encryption
Supervisor
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018/10/01 - 2020/04/30 A Systems approach to Minimize Wasted Work in Blockchain Systems
Co-supervisor
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018/09/01 - 2019/10/25 Virtual HSM: Building a Hardware-backed Dependable Cryptographic Store
Supervisor of Miguel Rosa
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019/01/01 - 2019/06/30 Automative Security
Supervisor of Nuno Fernandes
 APDC Research (Degree)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017/09/01 - 2018/12/13 Towards more Secure and Efficient Password Databases
Supervisor of Miguel Madeira
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017/09/01 - 2018/12/12 Practical Isolated Searchable Encryption in a Trusted Computing Environment
Supervisor of Guilherme Rosas Borges
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017/09/01 - 2018/12/11 Secure Abstractions for Trusted Cloud Computing
Supervisor of Joana da Silva Tavares
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2018 - Current Ciência Viva 2018: Começar cedo a programar - Coordination of an activity on security and cryptography for elementary school 3rd cycle students. (2018)
Other (Member of the Scientific Committee)
 Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2024 - 2024 INFORUM 2024 Financial Chair (2024 - 2024)
Conference (Member of the Organising Committee)
2020/09/15 - 2020/09/18 39th International Conference on Computer Safety, Reliability and Security - Publicity Chair (2020/09/15 - 2020/09/18)
Conference (Member of the Organising Committee)
 Faculdade de Ciências, Universidade de Lisboa, Portugal
2019 - 2019 5th International Workshop on Planetary-Scale Distributed Systems (WPSDS'19) - Organization Co-Chair (2019 - 2019)
Workshop (Co-organisor)
2018 - 2018 22nd International Conference on Principles of Distributed Systems (OPODIS'18) - Proceedings Chair (2018 - 2018)
Conference (Member of the Organising Committee)
 The Hong Kong Polytechnic University, China

Jury of academic degree

Topic
Role 		Candidate name (Type of degree)
Institution / Organization
2023 How secure are blockchains?
(Thesis) Main arguer
 João Regateiro (Master)
Faculdade de Ciências, Universidade do Porto, Portugal
2023 Chia Bread Pudding: a blockchain of useful storage
(Thesis) Main arguer
 Monica Jin (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2023 TrustGlass: Human-Computer Trusted Paths with Augmented Reality Smart Glasses
(Thesis) Main arguer
 Hélio Borges (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2023 Distributed Attestation Service for IoT
(Thesis) Main arguer
 Tiago Carvalho (Master)
Faculdade de Ciências, Universidade de Lisboa, Portugal
2023 Securing the Internet at the Exchange Points
(Thesis) Main arguer
 Tomás Vale (Master)
Faculdade de Ciências, Universidade de Lisboa, Portugal
2022 Aplicação de esteganografia para segurança e privacidade em comunicações IoT
(Thesis) Main arguer
 João Cunha (Master)
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
2022 Malware Analysis with Machine Learning
(Thesis) Main arguer
 João Cruz (Master)
Faculdade de Ciências, Universidade de Lisboa, Portugal
2022 CloudTICKETING: integrating advanced features for MaaS in a back-office Ticketing System
(Thesis) Main arguer
 Luis Costa (Master)
Faculdade de Ciências, Universidade de Lisboa, Portugal
2022 ZERODays: Sistema de Gestão de Ameaças de Ciber-segurança de Dia-Zero
(Thesis) Main arguer
 Jorge Vigário (Master)
Faculdade de Ciências, Universidade de Lisboa, Portugal
2021 Efficent Verified MPC
(Thesis) Main arguer
 Manuel Correia (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2021 Injecting Faults in Byzantine Fault Tolerant Protocols
(Thesis) Main arguer
 Ricardo Fernandez (Master)
Faculdade de Ciências, Universidade do Porto, Portugal
2021 RoboCISO: Um sistema de robôs de software (RPA) para alertar o CISO sobre o status dos seus vetores de risco mais críticos
(Thesis) Main arguer
 Cátia Rodrigues (Master)
Faculdade de Ciências, Universidade de Lisboa, Portugal
2021 Data Management for Cloud Supported Cooperative Driving
(Thesis) Main arguer
 Miguel Lourenço (Master)
Faculdade de Ciências, Universidade de Lisboa, Portugal
2021 Automatização de Requisitos de Segurança em Aplicações Android
(Thesis) Main arguer
 Rui Pereira (Master)
Faculdade de Ciências, Universidade de Lisboa, Portugal
2020 Efficient, Dependable Storage of Human Genome Sequencing Data
Thesis Member
 Vin ´icius Vielmo Cogo (PhD)
Faculdade de Ciências, Universidade de Lisboa, Portugal
2020 LOCKSMITH: Secure Android Keystore based on Virtualized Trusted Environments
(Thesis) Main arguer
 Luis Tonicha (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020 WArdian: Securing WebAssembly Applications on Untrusted Mobile Operating Systems
(Thesis) Main arguer
 José Canana (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 Securing Metadata for Data Storage on the Edge
(Thesis) Main arguer
 Cláudio Correia (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 Sistema de Análise e Gestão de Vulnerabilidades: Implementação numa Instituição Bancária
(Thesis) Main arguer
 José Almeida (Master)
Faculdade de Ciências, Universidade de Lisboa, Portugal
2019 A digital vault solution for banking institutions
(Thesis) Main arguer
 Vladyslav Yultyyev (Master)
Faculdade de Ciências, Universidade de Lisboa, Portugal
2018 Security Analysis of a Closed-Source Signal Protocol Implementation
(Thesis) Main arguer
 João Alves (Master)
Faculdade de Ciências, Universidade do Porto, Portugal

Ad Hoc journal article review

Journal title (ISSN) Publisher
2023 - 2023 IEEE Communications Magazine
2023 - 2023 IEEE Transactions on Circuits and Systems for Video Technology
2023 - 2023 IEEE Transactions on Cloud Computing
2023 - 2023 Springer Knowledge and Information Systems
2022 - 2022 ELSEVIER Information Systems
2022 - 2022 IEEE Transactions on Computers
2020 - 2020 ELSEVIER Information Systems
2020 - 2020 IEEE Access
2020 - 2020 IEEE Transactions on Information Forensics and Security
2020 - 2020 IEEE Transactions on Services Computing
2020 - 2020 IEEE Transactions on Emerging Topics in Computing
2020 - 2020 ACM Transactions on Multimedia Computing, Communications and Applications
2019 - 2019 IEEE Transactions on Computers
2017 - 2019 IEEE Transactions on Cloud Computing
2018 - 2018 IEEE Transactions on Services Computing
2017 - 2018 IEEE Transactions on Information Forensics and Security
2016 - 2016 IEEE Transactions on Computers
2015 - 2016 Wiley Security and Communication Networks

Conference scientific committee

Conference name Conference host
2023/12/06 - Current OPODIS'23 - 2023 CONFERENCE ON PRINCIPLES OF DISTRIBUTED SYSTEMS
2024 - 2024 INFORUM 2024 - Computer Systems and Networks Security Track - PC Co-Chair
2019 - 2019 2019 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN'19) - External Reviewer
2019 - 2019 INForum 2019 - Computer Systems and Communications Security Track - PC Member
2019 - 2019 5th International Workshop on Planetary-Scale Distributed Systems (W-PSDS'19) - PC Co-Chair
2018 - 2018 INForum 2018 Computer Systems and Communications Security track - PC Co-Chair
2017 - 2017 2017 IEEE Symposium on Reliable Distributed Systems (SRDS'17) - External Reviewer
2016 - 2016 2016 IEEE 12th Image, Video, and Multidimensional Signal Processing Workshop (IVMSP) - External Reviewer
2016 - 2016 ACM European Conference on Computer Systems (EuroSys 2016) - Shadow Program Committee
2015 - 2015 International conference on World Wide Web (WWW '15) - External Reviewer
2015 - 2015 Portuguese Symposium on Informatics (INForum 2015) - External Reviewer
2015 - 2015 ACM European Conference on Computer Systems (EuroSys 2015) - Shadow Program Committee
2014 - 2014 Portuguese Symposium on Informatics (INForum 2014) - External Reviewer
2014 - 2014 Haifa Verification Conference (HVC 2014) - External Reviewer
Distinctions

Award

2022 LASIGE Distinguished Publication
LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2020 LASIGE Distinguished Publication
LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2018 Individual Call to Scientific Employment Stimulus
Fundação para a Ciência e a Tecnologia, Portugal

Other distinction

2016 EuroSys 2016 Student Travel Grant
2015 EuroSys 2015 Student Travel Grant
2013 Middleware 2013 Student Travel Grant
2013 EuroSys 2013 Student Travel Grant
2012 Middleware 2012 Student Travel Grant