Personal identification

Full name

David Rogério Póvoa de Matos

Citation names

• MATOS, DAVID

Author identifiers

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/ (Scholar)

Knowledge fields

• Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics

Languages

Language	Speaking	Reading	Writing	Listening	Peer-review
Portuguese (Mother tongue)
English	Proficiency (C2)	Proficiency (C2)	Proficiency (C2)	Proficiency (C2)	Proficiency (C2)

	Degree	Classification
2015/02/13 - 2019/06/27 Concluded	Engenharia Informática e de Computadores (Doutoramento) Universidade de Lisboa Instituto Superior Técnico, Portugal "Intrusion Recovery in Cloud Computing" (THESIS/DISSERTATION)
2012/09/12 - 2013/11/18 Concluded	Engenharia Informática (Mestrado) Major in Arquitetura, Sistemas e Redes de Computadores Universidade de Lisboa Faculdade de Ciências, Portugal "Achieving fault-tolerant consensus in ad hoc networks" (THESIS/DISSERTATION)
2007/09/16 - 2012/01/10 Concluded	Engenharia Informática (Licenciatura) Universidade de Lisboa Faculdade de Ciências, Portugal

Science

	Category Host institution	Employer
2021/03/01 - 2022/06/30	Contracted Researcher (Research)	FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal
2020/01/05 - 2021/02/28	Contracted Researcher (Research)	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	Research Trainee (Research)	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	Research Trainee (Research)	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	Research Trainee (Research)	Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
	Universidade de Lisboa Faculdade de Ciências, Portugal

Teaching in Higher Education

	Category Host institution	Employer
2023/08/01 - Current	Assistant Professor (University Teacher)	Universidade de Lisboa Instituto Superior Técnico, Portugal
	Universidade de Lisboa Instituto Superior Técnico, Portugal
2022/07/01 - 2023/07/31	Invited Assistant Professor (University Teacher)	Universidade de Lisboa Instituto Superior Técnico, Portugal
	Universidade de Lisboa Instituto Superior Técnico, Portugal

Others

	Category Host institution	Employer
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

Contract

	Designation	Funders
2020/01/06 - Current	SEAL (SEcurity progrAmming of web appLications) PTDC/CCI-INF/29058/2017 Post-doc FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal	Fundação para a Ciência e a Tecnologia Ongoing
2025/03/01 - 2026/01/31	WELL - Carteira para registos de saúde electrónicos 2024.07494.IACDC 10.54499/2024.07494.IACDC Principal investigator Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Ongoing
2025/03/01 - 2026/01/31	Sistema de Apoio aos Cuidados Paliativos Pediátricos 2024.07300.IACDC 10.54499/2024.07300.IACDC Researcher Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal Centro Hospitalar Universitário Lisboa Norte EPE, Portugal	Fundação para a Ciência e a Tecnologia Ongoing
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 Ongoing
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 Concluded
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 Concluded
2015/09/01 - 2018/08/31	SafeCloud H2020-653884 PhD Student Fellow	European Union Concluded
2012/09/01 - 2014/03/31	SITAN - Services for Intrusion Tolerant Ad Hoc Networks info:eu-repo/grantAgreement/FCT/3599-PPCDT/113729/PT Master Student Fellow Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal	Associação para a Inovação e Desenvolvimento da FCT Concluded
2010/11/15 - 2011/04/15	PATI - IoT-Aware business Processes info:eu-repo/grantAgreement/FCT/3599-PPCDT/103751/PT Scientific Initiation Fellow Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal	Associação para a Inovação e Desenvolvimento da FCT Concluded

Publications

Book chapter	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
Conference abstract	David Rogério Póvoa de Matos; Nuno Fuentecilla Maia Ferreira Neves; Alysson Bessani. "SITAN : Services for Ad Hoc Networks with Unknown Participants". Paper presented in The 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2014), Atlanta, 2014.
Conference paper	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". Paper presented in 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". Paper presented in 35th International Conference on ICT Systems Security and Privacy Protection – IFIP SEC 2020, Maribor, 2020. Accepted 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". Paper presented in Middleware '18: Proceedings of the 19th International Middleware Conference, Rennes, 2018. Accepted • 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". Paper presented in P2DS'18: Workshop on Privacy by Design in Distributed Systems, Porto, 2018. Accepted • 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". Paper presented in Middleware '17: Proceedings of the 18th ACM/IFIP/USENIX Middleware Conference, Las Vegas, 2017. Accepted • 10.1145/3135974.3135978 Matos, David R; Miguel Nuno Dias Alves Pupo Correia. "NoSQL Undo: Recovering NoSQL databases by undoing operations". Paper presented in 2016 IEEE 15th International Symposium on Network Computing and Applications (NCA), Cambridge, 2016. Accepted • 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". Paper presented in Inforum Simpósio de Informática 2013, Évora, 2013. Accepted
Journal article	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
Preprint	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

Other distinction

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