???global.info.a_carregar???
Identification

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://www.gsd.inesc-id.pt/~dmatos/ (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)
Education
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
Affiliation

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
Projects

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
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/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
Outputs

Publications

Book chapter
  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
Conference abstract
  1. 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
  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". Paper presented in 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". Paper presented in 35th International Conference on ICT Systems Security and Privacy Protection – IFIP SEC 2020, Maribor, 2020.
    Accepted
  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". Paper presented in Middleware '18: Proceedings of the 19th International Middleware Conference, Rennes, 2018.
    Accepted • 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". Paper presented in P2DS'18: Workshop on Privacy by Design in Distributed Systems, Porto, 2018.
    Accepted • 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". Paper presented in Middleware '17: Proceedings of the 18th ACM/IFIP/USENIX Middleware Conference, Las Vegas, 2017.
    Accepted • 10.1145/3135974.3135978
  8. 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
  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". Paper presented in Inforum Simpósio de Informática 2013, Évora, 2013.
    Accepted
Journal article
  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
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2017/03/30 NoSQL Undo: Recovering NoSQL Databases by Undoing Operations ICT Cost Action (IC1405) Meeting
Serbian Academy of Sciences and Arts (Belgrado, Serbia)

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2021/02/15 - Current Efficient Distributed Communication
Co-supervisor of Diogo Lopes Vaz
 Engenharia Informática e de Computadores (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/09/01 - 2022/11/30 MACHET3 - multi-path communication solution using secret sharing
Co-supervisor of João Miguel do Ó Matos Soares
 Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal

Jury of academic degree

Topic
Role 		Candidate name (Type of degree)
Institution / Organization
2024/01/17 A Hybrid Machine Learning System for Vulnerability Detection in Web Applications
(Thesis) Main arguer
 Miguel César de Albuquerque Oliveira (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2022/11/24 Automated Smart Fuzzing Vulnerability Testing
(Thesis) Main arguer
 João Coutinho (Master)
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
(Thesis) Main arguer
 Diogo Filipe Pinto Nogueira (Master)
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
(Thesis) Main arguer
 João Carlos Lopes Antunes (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal

Ad Hoc journal article review

Journal title (ISSN) Publisher
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

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
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
Distinctions

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