About me
Bio
I am an Assistant Professor at Instituto Superior Técnico - Universidade de Lisboa, researcher at the Distributed Systems Group (GSD) of INESC-ID, and a member of the BIG ERA Chair Team.I have a BSc and a MSc in Informatics Engineering from Faculdade de Ciências da Universidade de Lisboa and a PhD in Computer Sciences and Engineering from Instituto Superior Técnico.
As a researcher, I participated in the following projects: PATI, SITAN, SafeCloud, SEAL, and BIG ERA Chair.
My research interests are related to distributed systems, cybersecurity, and cloud. More specifically, I have been researching novel intrusion recovery methods for applications and systems running in the cloud environment.
Selected Publications
- Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning
IEEE Access, 2023
📄PDF - David Matos, Miguel Pardal, Miguel Correia
Sanare: Pluggable Intrusion Recovery for Web Applications.
IEEE Transactions on Dependable and Secure Computing (TDSC), 2021
📄PDF - David Matos, Miguel Pardal, Georg Carle, and Miguel Correia
RockFS: Cloud-backed File System Resilience to Client-Side Attacks
In Proceedings of the 2018 ACM/IFIP/USENIX International Middleware Conference, Dec. 2018
📄PDF 𐄁 📦Code 𐄁 Slides 𐄁 Video - David Matos, Miguel Pardal, and Miguel Correia
Rectify: Black-Box Intrusion Recovery in PaaS Clouds
In Proceedings of the 2017 ACM/IFIP/USENIX International Middleware Conference, Dec. 2017
📄PDF 𐄁 📦Code - David Matos, Miguel Correia
NoSQL Undo: Recovering NoSQL Databases by Undoing Operations
In Proceedings of the 15th IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2016
📄PDF 𐄁 📦Code