???global.info.a_carregar???
Identificação

Identificação pessoal

Nome completo
David Rogério Póvoa de Matos

Nomes de citação

  • MATOS, DAVID

Identificadores de autor

Ciência ID
481B-2CFE-1CB6
ORCID iD
0000-0001-6834-705X
Google Scholar ID
3bD1cwQAAAAJ

Websites

  • https://www.gsd.inesc-id.pt/~dmatos/ (Académico)

Domínios de atuação

  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português (Idioma materno)
Inglês Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2)
Formação
Grau Classificação
2015/02/13 - 2019/06/27
Concluído
Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Intrusion Recovery in Cloud Computing" (TESE/DISSERTAÇÃO)
2012/09/12 - 2013/11/18
Concluído
Engenharia Informática (Mestrado)
Especialização em Arquitetura, Sistemas e Redes de Computadores
Universidade de Lisboa Faculdade de Ciências, Portugal
"Achieving fault-tolerant consensus in ad hoc networks" (TESE/DISSERTAÇÃO)
2007/09/16 - 2012/01/10
Concluído
Engenharia Informática (Licenciatura)
Universidade de Lisboa Faculdade de Ciências, Portugal
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento
Empregador
2021/03/01 - 2022/06/30 Investigador Contratado (Investigação) FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal
2020/01/05 - 2021/02/28 Investigador Contratado (Investigação) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2015/09/01 - 2019/03/12 Estagiário de Investigação (Investigação) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2012/09/01 - 2014/03/31 Estagiário de Investigação (Investigação) Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
Universidade de Lisboa Faculdade de Ciências, Portugal
2010/11/15 - 2011/04/15 Estagiário de Investigação (Investigação) Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
Universidade de Lisboa Faculdade de Ciências, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento
Empregador
2023/08/01 - Atual Professor Auxiliar (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
Universidade de Lisboa Instituto Superior Técnico, Portugal
2022/07/01 - 2023/07/31 Professor Auxiliar Convidado (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
Universidade de Lisboa Instituto Superior Técnico, Portugal

Outros

Categoria Profissional
Instituição de acolhimento
Empregador
2019/03/13 - 2020/01/05 Cientista de Dados Caixa Geral de Depositos, Portugal
2014/05/05 - 2015/08/31 Administração e gestão de sistemas de computação na nuvem Pharol SGPS SA, Portugal
2008/07/02 - 2011/08/31 Desenvolvimento de Software SIAG, S.A., Portugal
Projetos

Projeto

Designação Financiadores
2020/01/06 - Atual SEAL (SEcurity progrAmming of web appLications)
Investigador Pós-doutorado
FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal
Fundação para a Ciência e a Tecnologia
Em curso
2020/09/01 - 2025/08/31 Enhancing the research and innovation potential of Tecnico through Blockchain technologies and design Innovation for social Good
952226
Universidade de Lisboa Instituto Superior Técnico, Portugal
European Commission
Em curso
2015/09/01 - 2018/08/31 SafeCloud
Bolseiro de Doutoramento
European Union
Concluído
2012/09/01 - 2014/03/31 SITAN - Services for Intrusion Tolerant Ad Hoc Networks
Bolseiro de Mestrado
Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
Associação para a Inovação e Desenvolvimento da FCT
Concluído
2010/11/15 - 2011/04/15 PATI - IoT-Aware business Processes
Bolseiro de Iniciação Científica
Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
Associação para a Inovação e Desenvolvimento da FCT
Concluído
Produções

Publicações

Artigo em conferência
  1. Diogo Vaz; MATOS, DAVID; Miguel Filipe Leitão Pardal; Miguel Nuno Dias Alves Pupo Correia. "MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks". Trabalho apresentado em EAI MobiQuitous 2020 - 17th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, 2020.
  2. Figueiredo, Alexandra; Lide, Tatjana; Matos, David; Correia, Miguel. "MERLIN: Multi-Language Web Vulnerability Detection". 2020.
    10.1109/nca51143.2020.9306735
  3. Martins, Filipe F.; Matos, David R.; Pardal, Miguel L.; Correia, Miguel. "Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum". 2020.
    10.1109/nca51143.2020.9306738
  4. Ricardo Moura; MATOS, DAVID; Miguel Filipe Leitão Pardal; Miguel Nuno Dias Alves Pupo Correia. "MultiTLS: Secure communication channel with cipher suite diversity". Trabalho apresentado em 35th International Conference on ICT Systems Security and Privacy Protection – IFIP SEC 2020, Maribor, 2020.
    Aceite para publicação
  5. David Rogério Póvoa de Matos; Miguel Filipe Leitão Pardal; Georg Carle; Miguel Nuno Dias Alves Pupo Correia. "RockFS: Cloud-backed File System Resilience to Client-Side Attacks". Trabalho apresentado em Middleware '18: Proceedings of the 19th International Middleware Conference, Rennes, 2018.
    Aceite para publicação • 10.1145/3274808.3274817
  6. Matos, David R.; Miguel Filipe Leitão Pardal; Pedro Adão; António Rito Silva; Miguel Nuno Dias Alves Pupo Correia. "Securing Electronic Health Records in the Cloud". Trabalho apresentado em P2DS'18: Workshop on Privacy by Design in Distributed Systems, Porto, 2018.
    Aceite para publicação • 10.1145/3195258.3195259
  7. David Rogério Póvoa de Matos; Miguel Filipe Leitão Pardal; Miguel Nuno Dias Alves Pupo Correia. "Rectify: black-box intrusion recovery in PaaS clouds". Trabalho apresentado em Middleware '17: Proceedings of the 18th ACM/IFIP/USENIX Middleware Conference, Las Vegas, 2017.
    Aceite para publicação • 10.1145/3135974.3135978
  8. Matos, David R; Miguel Nuno Dias Alves Pupo Correia. "NoSQL Undo: Recovering NoSQL databases by undoing operations". Trabalho apresentado em 2016 IEEE 15th International Symposium on Network Computing and Applications (NCA), Cambridge, 2016.
    Aceite para publicação • 10.1109/nca.2016.7778616
  9. MATOS, DAVID; Emanuel Alves; Nuno Fuentecilla Maia Ferreira Neves; Alysson Bessani. "MiCCS4Mobile Middleware para Comunicação e Coordenação Segura em Redes Ad-hoc com Participantes Desconhecidos". Trabalho apresentado em Inforum Simpósio de Informática 2013, Évora, 2013.
    Aceite para publicação
Artigo em revista
  1. Diogo Vaz; David R. Matos; Miguel L. Pardal; Miguel Correia. "MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service". IEEE Transactions on Cloud Computing (2023): https://doi.org/10.1109/TCC.2022.3178982.
    10.1109/TCC.2022.3178982
  2. David R. Matos; Miguel L. Pardal; António Rito Silva; Miguel Correia. "µVerum: Intrusion Recovery for Microservice Applications". IEEE Access (2023): https://doi.org/10.1109/ACCESS.2023.3298113.
    10.1109/ACCESS.2023.3298113
  3. Diogo Vaz; David R. Matos; Miguel L. Pardal; Miguel Correia. "Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning". IEEE Access (2023): https://doi.org/10.1109/ACCESS.2023.3287405.
    10.1109/ACCESS.2023.3287405
  4. Matos, David; Pardal, Miguel; Correia, Miguel. "Sanare: Pluggable Intrusion Recovery for Web Applications". IEEE Transactions on Dependable and Secure Computing (2022): 1-1. http://dx.doi.org/10.1109/tdsc.2021.3139472.
    10.1109/tdsc.2021.3139472
Capítulo de livro
  1. Ricardo Moura; David R. Matos; Miguel L. Pardal; Miguel Correia. "MultiTLS: Secure Communication Channels with Cipher Suite Diversity". 64-77. Springer International Publishing, 2020.
    10.1007/978-3-030-58201-2_5
Resumo em conferência
  1. David Rogério Póvoa de Matos; Nuno Fuentecilla Maia Ferreira Neves; Alysson Bessani. "SITAN : Services for Ad Hoc Networks with Unknown Participants". Trabalho apresentado em The 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2014), Atlanta, 2014.
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2017/03/30 NoSQL Undo: Recovering NoSQL Databases by Undoing Operations ICT Cost Action (IC1405) Meeting
Serbian Academy of Sciences and Arts (Belgrado, Sérvia)

Orientação

Título / Tema
Papel desempenhado
Curso (Tipo)
Instituição / Organização
2021/02/15 - Atual Efficient Distributed Communication
Coorientador de Diogo Lopes Vaz
Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/09/01 - 2022/11/30 MACHET3 - multi-path communication solution using secret sharing
Coorientador de João Miguel do Ó Matos Soares
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal

Júri de grau académico

Tema
Tipo de participação
Nome do candidato (Tipo de grau)
Instituição / Organização
2024/01/17 A Hybrid Machine Learning System for Vulnerability Detection in Web Applications
Arguente principal
Miguel César de Albuquerque Oliveira (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2022/11/24 Automated Smart Fuzzing Vulnerability Testing
Arguente principal
João Coutinho (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2022/11/11 Preventing misinformation with a private blockchain: A case study on a news industry application
Arguente principal
Diogo Filipe Pinto Nogueira (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/11/22 Best Way to Squeeze: A Comparison of Model Compression Techniques in Natural Language Processing
Arguente principal
João Carlos Lopes Antunes (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
2024/04/01 - 2024/07/31 Computação Móvel e Ubíqua Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2024/02/01 - 2024/07/31 Cibersegurança Forense Mestrado em Segurança de Informação e Direito no Ciberespaço (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2023/11/02 - 2024/02/02 Segurança Informática em Redes e Sistemas Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2022/11/21 - 2023/02/22 Segurança Informática em Redes e Sistemas Engenharia Informática e de Computadores (Mestrado integrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/07 - 2019/01/28 Segurança Informática em Redes e Sistemas Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2017/02/20 - 2017/07/14 Sistemas Distribuídos Engenharia Informática e de Computadores (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
2016/09/10 - 2017/01/27 Segurança Informática em Redes e Sistemas Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2016/02/01 - 2016/07/31 Sistemas Distribuídos Engenharia Informática e de Computadores (Licenciatura) Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal

Revisão ad hoc de artigos em revista

Nome da revista (ISSN) Editora
2021/02/07 - 2021/02/07 IEEE Transaction on Cloud Computing IEEE
2019/11/28 - 2019/11/28 IEEE Journal of Biomedical and Health Informatics
Distinções

Outra distinção

2024 Diploma de excelência pedagógica
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018 Diploma de excelência pedagógica
Universidade de Lisboa Instituto Superior Técnico, Portugal