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://web.tecnico.ulisboa.pt/david.r.matos/ (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)

	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

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

Projeto

	Designação	Financiadores
2020/01/06 - Atual	SEAL (SEcurity progrAmming of web appLications) PTDC/CCI-INF/29058/2017 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/03/01 - 2021/04/01	Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa UID/CEC/50021/2019 SFRH/BPD/110695/2015 Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2019/01/01 - 2019/12/31	Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa UID/CEC/50021/2019 Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2015/09/01 - 2018/08/31	SafeCloud H2020-653884 Bolseiro de Doutoramento	European Union Concluído
2012/09/01 - 2014/03/31	SITAN - Services for Intrusion Tolerant Ad Hoc Networks info:eu-repo/grantAgreement/FCT/3599-PPCDT/113729/PT 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 info:eu-repo/grantAgreement/FCT/3599-PPCDT/103751/PT 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

Publicações

Artigo em conferência	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. Figueiredo, Alexandra; Lide, Tatjana; Matos, David; Correia, Miguel. "MERLIN: Multi-Language Web Vulnerability Detection". 2020. 10.1109/nca51143.2020.9306735 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 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 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 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 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 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 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	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 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 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 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	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
Pré-impressão	David R. Matos; Ibéria Medeiros; Miguel L. Pardal; Miguel Correia. "Intrusion Recovery Systems: A survey". 2024. https://doi.org/10.36227/techrxiv.172296768.82082288/v1. 10.36227/techrxiv.172296768.82082288/v1
Resumo em conferência	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.

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