???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)
16
2007/09/16 - 2012/01/10
Concluído
Engenharia Informática (Licenciatura)
Universidade de Lisboa Faculdade de Ciências, Portugal
13
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento
Empregador
2021/03/01 - Atual 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

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
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. Martins, Filipe F.; Matos, David R.; Pardal, Miguel L.; Correia, Miguel. "Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum". Trabalho apresentado em 2020 IEEE 19th International Symposium on Network Computing and Applications (NCA), Boston, MA, 2020.
    Aceite para publicação • 10.1109/nca51143.2020.9306738
  3. Figueiredo, Alexandra; Lide, Tatjana; Matos, David; Correia, Miguel. "MERLIN: Multi-Language Web Vulnerability Detection". Trabalho apresentado em 2020 IEEE 19th International Symposium on Network Computing and Applications (NCA), Boston, MA, 2020.
    Aceite para publicação • 10.1109/nca51143.2020.9306735
  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. 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
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
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

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