???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
Identificação

Identificação pessoal

Nome completo
Bernardo Ferreira

Nomes de citação

  • Bernardo Ferreira

Identificadores de autor

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

Endereços de correio eletrónico

  • blferreira@fc.ul.pt (Profissional)

Websites

Domínios de atuaçã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 (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Formação
Grau Classificação
2011/09/01 - 2016/12/12
Concluído
PhD in Computer Science (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
"Privacy-Preserving Efficient Searchable Encryption" (TESE/DISSERTAÇÃO)
Unanimously Approved
2008/09/01 - 2010/12/06
Concluído
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" (TESE/DISSERTAÇÃO)
17
2005/09/01 - 2008/07/22
Concluído
BSc in Computer Science (Licenciatura)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
"n/a" (TESE/DISSERTAÇÃO)
15
2005/08/10
Concluído
Certificate in Advanced English (Outros)
University of Cambridge, Reino Unido
C
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento
Empregador
2019/09/01 - Atual Investigador principal (carreira) (Investigação) LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2019/01/01 - 2019/09/30 Investigador Contratado (Investigação) Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
2017/01/01 - 2018/12/31 Pós-doutorado (Investigação) Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
2011/09/01 - 2016/12/31 Estagiário de Investigação (Investigação) Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento
Empregador
2019/10/01 - Atual Professor Auxiliar (Docente Universitário) Universidade de Lisboa Faculdade de Ciências, Portugal

Outros

Categoria Profissional
Instituição de acolhimento
Empregador
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
Projetos

Bolsa

Designação Financiadores
2023/03/01 - 2026/02/28 SMaRtChain - Fast and Energy-efficient Distributed Consensus for Blockchains
Co-Investigador Responsável (Co-IR)
Fundação para a Ciência e a Tecnologia, I.P.
Em curso
2023/03/01 - 2026/02/28 FraMewoRk for a multI-ARCHitecture Internet
Investigador
Fundação para a Ciência e a Tecnologia, I.P.
Em curso
2022/02/01 - 2023/01/31 DaNon - Supervised Deanonymization of Dark Web Traffic for Cybercrime Investigation
Investigador
Fundação para a Ciência e a Tecnologia, I.P.
Concluído
2018/10/01 - 2022/03/31 HADES - HArdware-backed trusted and scalable DEcentralized Systems
Investigador responsável
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
Em curso
2018/07/01 - 2021/06/30 SAMOA - Secure and Scalable Platform for Massive-scale Mobile Applications
Investigador
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
Em curso
2017/01/01 - 2019/12/31 LightKone: Lightweight computation for networks at the edge
Bolseiro de Pós-Doutoramento
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
European Union
Em curso
2019/01/01 - 2019/09/30 VORTEX - Collaborative Laboratory on Cyber-Physical Systems and Cyber Security
VORTEX Colab
Investigador
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
Concluído
2014/10/01 - 2016/03/31 MyPrivateEC2 - End-to-end Privacy Enhanced Services using AWS EC2
Bolseiro de Doutoramento
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
Amazon Web Services Inc
Concluído
2011/04/01 - 2014/09/30 SITAN - Services for Intrusion Tolerant Ad Hoc Networks
Bolseiro de Doutoramento
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
Concluído

Outro

Designação Financiadores
2011 - 2011 Modernization of Portugal Telecom Mobile 3G/LTE Core Network
4G
Outra
Altice Labs, Portugal
2009 - 2010 PUC - Unified Collaborative Platform
PUC
Outra
Altice Labs, Portugal
Concluído
Produções

Publicações

Artigo em conferência
  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". Trabalho apresentado em The 2024 Network and Distributed System Security Symposium (NDSS'24), 2024.
    Aceite para publicação
  2. Vassantlal, Robin; Eduardo Alchieri; Bernardo Ferreira; Bessani, Alysson. Autor correspondente: Vassantlal, Robin. "COBRA: Dynamic Proactive Secret Sharing for Confidential BFT Services". Trabalho apresentado em 43rd IEEE Symposium on Security and Privacy (SP'22), San Francisco, 2022.
    Publicado • 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". Trabalho apresentado em The 2021 International Conference on Distributed Computing and Networking (ICDCN'21), 2021.
    Publicado • 10.1145/3427796.3427831
  4. Adriano Serckumecka; Ibéria Medeiros; Bernardo Ferreira; Alysson Bessani. "SLiCER: Safe Long-term Cloud Event Archival". Trabalho apresentado em 24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2019), 2019.
    Publicado • 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". Trabalho apresentado em 38th Symposium on Reliable Distributed Systems (SRDS'19), 2019.
    Publicado • 10.1109/SRDS47363.2019.00021
  6. Serckumecka, Adriano; Medeiros, Iberia; Ferreira, Bernardo; Bessani, Alysson; Bernardo Ferreira. "A Cost-Effective Cloud Event Archival for SIEMs". Trabalho apresentado em 2019 38th International Symposium on Reliable Distributed Systems Workshops (SRDSW), 2019.
    Publicado • 10.1109/srdsw49218.2019.00013
  7. Bernardo Ferreira; João Leitão; Henrique Domingos. "MuSE: Multimodal Searchable Encryption for Cloud Applications". Trabalho apresentado em 2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS'18), 2018.
    Publicado • 10.1109/srds.2018.00029
  8. Guilherme Borges; João Leitão; Henrique Domingos; Bernardo Ferreira. "Pesquisa Booleana Cifrada usando Hardware Confiável". Trabalho apresentado em INForum 2018 Proceedings of the 10th Portuguese Symposium on Informatics, 2018.
    Publicado
  9. Joana Tavares; Nuno Preguiça; Bernardo Ferreira. "SCRDTs: Tipos de Dados Seguros e Replicados sem Conflitos". Trabalho apresentado em INForum 2018 Proceedings of the 10th Portuguese Symposium on Informatics, 2018.
    Publicado
  10. Bernardo Ferreira; João Leitão; Henrique Domingos. "Multimodal Indexable Encryption for Mobile Cloud-Based Applications". Trabalho apresentado em 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - DSN'17, 2017.
    Publicado • 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". Trabalho apresentado em 2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS'15), Montreal, 2015.
    Publicado • 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". Trabalho apresentado em INForum 2015 Proceedings of the 7th Portuguese Symposium on Informatics, 2015.
    Publicado
  13. Bernardo Ferreira; João Rodrigues; João Leitão; Henrique Domingos. "Towards an image encryption scheme with content-based image retrieval properties". Trabalho apresentado em 9th International Workshop on Data Privacy Management, 2014.
    Publicado • 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". Trabalho apresentado em INForum 2014 Proceedings of the 6th Portuguese Symposium on Informatics, 2014.
    Publicado
  15. João Rodrigues; Bernardo Ferreira; Henrique Domingos. "TMS: a trusted mail repository service using public storage clouds". Trabalho apresentado em Proceedings of the 8th Workshop on Middleware for Next Generation Internet Computing - MW4NextGen '13, 2013.
    Publicado • 10.1145/2541608.2541610
  16. Bernardo Ferreira; Henrique Domingos. "Searching private data in a cloud encrypted domain". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em INForum 2012 Proceedings of the 4th Portuguese Symposium on Informatics, 2012.
Artigo em revista
  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.
    Publicado • 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.
    Publicado • 10.1109/TCC.2017.2669999
Edição de livro
  1. Proceedings of the 22nd International Conference on Principles of Distributed Systems - OPODIS'18. Alemanha: Schloss Dagstuhl. 2018.
    Publicado • 10.4230/LIPIcs.OPODIS.2018.0 • Editor
Poster em conferência
  1. Bernardo Ferreira; João Leitão; Henrique Domingos. "Multimodal Indexable Encryption for Mobile Cloud-based Applications". Trabalho apresentado em 10th ACM European Conference on Computer Systems (EuroSys'15), 2015.
  2. Bernardo Ferreira; Henrique Domingos. "Security and Dependability in Cloud based Critical Online Applications". Trabalho apresentado em 7th EuroSys Doctoral Workshop, 2013.
  3. Bernardo Ferreira; Henrique Domingos. "CloudCryptoSearch: a prototype for secure searching of private data in cloud encrypted domains". Trabalho apresentado em 10th Conference on Open Areas in Information Retrieval (OAIR'13), 2013.
Resumo em conferência
  1. Martins, Jorge; Medeiros, Ibéria; Ferreira, Bernardo. "Code Privacy in Detection of Web Vulnerabilities". Trabalho apresentado em EASE '23: Proceedings of the 27th International Conference on Evaluation and Assessment in Software Engineering, 2023.
    Publicado • 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?". Trabalho apresentado em CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022.
    Publicado • 10.1145/3548606.3563520
Tese / Dissertação
  1. Ferreira, Bernardo. "Privacy-preserving efficient searchable encryption". Doutoramento, 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". Mestrado, Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, 2010. https://run.unl.pt/handle/10362/5007.
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
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, Itália)
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)
(Índia)
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

Orientação

Título / Tema
Papel desempenhado
Curso (Tipo)
Instituição / Organização
2023/09 - Atual Development of an Accessible Password Manager for Elderly People
Coorientador
Faculdade de Ciências, Universidade de Lisboa, Portugal
2023/09 - Atual Path Verification at Terabit speed for the SCION Internet Architecture
Orientador
Faculdade de Ciências, Universidade de Lisboa, Portugal
2023/09 - Atual Virtual and Distributed Hardware Security Module for Secure Key Management
Orientador
Faculdade de Ciências, Universidade de Lisboa, Portugal
2023/09 - Atual Multi-Party Computation as a Service for Privacy-Preserving Distributed Applications
Orientador
Faculdade de Ciências, Universidade de Lisboa, Portugal
2022 - Atual SAFEX - Safer exchange of private pictures
Orientador
Faculdade de Ciências, Universidade de Lisboa, Portugal
2022 - Atual Detection, classification and reporting of early evidence of malware attacks - Backups Ecosystem
Orientador
Faculdade de Ciências, Universidade de Lisboa, Portugal
2022 - Atual Improving Confidential BFT State Machine Replication
Coorientador
Faculdade de Ciências, Universidade de Lisboa, Portugal
2021 - Atual Migration of Networks
Coorientador
Faculdade de Ciências, Universidade de Lisboa, Portugal
2022/09 - 2023/09 Ensino de Sistemas de Comunicação Baseados em Web Sockets
Coorientador
Instituto de Educação, Universidade de Lisboa, Portugal
2021/09 - 2023/01 Building a Confidential Cryptocurrency
Orientador
Faculdade de Ciências, Universidade de Lisboa, Portugal
2021/09 - 2023/01 Privacy-preserving Deanonymization of Dark Web Tor Onion Services for Criminal Investigations
Orientador
Faculdade de Ciências, Universidade de Lisboa, Portugal
2021/09 - 2023/01 Hardware-Backed Confidential Blockchain
Orientador
Faculdade de Ciências, Universidade de Lisboa, Portugal
2021/09 - 2023/01 Code Privacy in Detection of Web Vulnerabilities
Coorientador
Faculdade de Ciências, Universidade de Lisboa, Portugal
2020/10/01 - 2021/09/30 Privacy-preserving key-value store
Coorientador
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
Orientador
Faculdade de Ciências, Universidade de Lisboa, Portugal

Altice, Portugal
2021 - 2021 Integrating BFT-SMaRt with Tendermint through Inter-Blockchain Communication
Orientador
Faculdade de Ciências, Universidade de Lisboa, Portugal
2021 - 2021 Building a web interface for the BISEN framework
Orientador
Faculdade de Ciências, Universidade de Lisboa, Portugal
2020 - 2021 Hardware-backed Trusted Decentralised Systems
Orientador
Post-Doc (Outra)
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
Orientador
Universidade de Lisboa Faculdade de Ciências, Portugal

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

Card4B, Portugal
2019/10/01 - 2020/09/22 A Systems Approach to Searchable Encryption
Orientador
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
Coorientador
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
Orientador de Miguel Rosa
Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019/01/01 - 2019/06/30 Automative Security
Orientador de Nuno Fernandes
APDC Research (Licenciatura/Bacharelato)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017/09/01 - 2018/12/13 Towards more Secure and Efficient Password Databases
Orientador de Miguel Madeira
Engenharia Informática (Mestrado)
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
Orientador de Guilherme Rosas Borges
Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017/09/01 - 2018/12/11 Secure Abstractions for Trusted Cloud Computing
Orientador de Joana da Silva Tavares
Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação)
Instituição / Organização
2018 - Atual Ciência Viva 2018: Começar cedo a programar - Coordination of an activity on security and cryptography for elementary school 3rd cycle students. (2018)
Outro (Membro da Comissão Científica)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2024 - 2024 INFORUM 2024 Financial Chair (2024 - 2024)
Conferência (Membro da Comissão Organizadora)
2020/09/15 - 2020/09/18 39th International Conference on Computer Safety, Reliability and Security - Publicity Chair (2020/09/15 - 2020/09/18)
Conferência (Membro da Comissão Organizadora)
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)
Oficina (workshop) (Coorganizador)
2018 - 2018 22nd International Conference on Principles of Distributed Systems (OPODIS'18) - Proceedings Chair (2018 - 2018)
Conferência (Membro da Comissão Organizadora)
The Hong Kong Polytechnic University, China

Júri de grau académico

Tema
Tipo de participação
Nome do candidato (Tipo de grau)
Instituição / Organização
2023 How secure are blockchains?
Arguente principal
João Regateiro (Mestrado)
Faculdade de Ciências, Universidade do Porto, Portugal
2023 Chia Bread Pudding: a blockchain of useful storage
Arguente principal
Monica Jin (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2023 TrustGlass: Human-Computer Trusted Paths with Augmented Reality Smart Glasses
Arguente principal
Hélio Borges (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2023 Distributed Attestation Service for IoT
Arguente principal
Tiago Carvalho (Mestrado)
Faculdade de Ciências, Universidade de Lisboa, Portugal
2023 Securing the Internet at the Exchange Points
Arguente principal
Tomás Vale (Mestrado)
Faculdade de Ciências, Universidade de Lisboa, Portugal
2022 Aplicação de esteganografia para segurança e privacidade em comunicações IoT
Arguente principal
João Cunha (Mestrado)
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
2022 Malware Analysis with Machine Learning
Arguente principal
João Cruz (Mestrado)
Faculdade de Ciências, Universidade de Lisboa, Portugal
2022 CloudTICKETING: integrating advanced features for MaaS in a back-office Ticketing System
Arguente principal
Luis Costa (Mestrado)
Faculdade de Ciências, Universidade de Lisboa, Portugal
2022 ZERODays: Sistema de Gestão de Ameaças de Ciber-segurança de Dia-Zero
Arguente principal
Jorge Vigário (Mestrado)
Faculdade de Ciências, Universidade de Lisboa, Portugal
2021 Efficent Verified MPC
Arguente principal
Manuel Correia (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2021 Injecting Faults in Byzantine Fault Tolerant Protocols
Arguente principal
Ricardo Fernandez (Mestrado)
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
Arguente principal
Cátia Rodrigues (Mestrado)
Faculdade de Ciências, Universidade de Lisboa, Portugal
2021 Data Management for Cloud Supported Cooperative Driving
Arguente principal
Miguel Lourenço (Mestrado)
Faculdade de Ciências, Universidade de Lisboa, Portugal
2021 Automatização de Requisitos de Segurança em Aplicações Android
Arguente principal
Rui Pereira (Mestrado)
Faculdade de Ciências, Universidade de Lisboa, Portugal
2020 Efficient, Dependable Storage of Human Genome Sequencing Data
Vogal
Vin ´icius Vielmo Cogo (Doutoramento)
Faculdade de Ciências, Universidade de Lisboa, Portugal
2020 LOCKSMITH: Secure Android Keystore based on Virtualized Trusted Environments
Arguente principal
Luis Tonicha (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020 WArdian: Securing WebAssembly Applications on Untrusted Mobile Operating Systems
Arguente principal
José Canana (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 Securing Metadata for Data Storage on the Edge
Arguente principal
Cláudio Correia (Mestrado)
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
Arguente principal
José Almeida (Mestrado)
Faculdade de Ciências, Universidade de Lisboa, Portugal
2019 A digital vault solution for banking institutions
Arguente principal
Vladyslav Yultyyev (Mestrado)
Faculdade de Ciências, Universidade de Lisboa, Portugal
2018 Security Analysis of a Closed-Source Signal Protocol Implementation
Arguente principal
João Alves (Mestrado)
Faculdade de Ciências, Universidade do Porto, Portugal

Arbitragem científica em conferência

Nome da conferência Local da conferência
2023/12/06 - Atual 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

Revisão ad hoc de artigos em revista

Nome da revista (ISSN) Editora
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
Distinções

Prémio

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

Outra distinção

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