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)

	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

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

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
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. 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 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 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	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
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

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