Journal papers
- David R. Matos, Miguel L. Pardal, António Rito Silva, Miguel Correia
μVerum: Intrusion Recovery for Microservice Applications
IEEE Access, 2023
📄PDF (preprint) - Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning
IEEE Access, 2023
📄PDF - Ricardo Moura, Ricardo Lopes, David R. Matos, Miguel L. Pardal, Miguel Correia
MultiTLS: using multiple and diverse ciphers for stronger secure channels
Computers & Security, Volume 132, September 2023.
📄PDF - Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
MIRES: Intrusion Recovery for Application based on Backend-as-a-Service
IEEE Transactions on Cloud Computing (TCC), 2022
📄PDF - David Matos, Miguel Pardal, Miguel Correia
Sanare: Pluggable Intrusion Recovery for Web Applications
IEEE Transactions on Dependable and Secure Computing (TDSC), 2021
📄PDF
Conference papers
- Diogo Vaz, David R. Matos, Miguel L. Pardal, and Miguel Correia
MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks.
In Proceedings of MobiQuitous 2020 [Core A]
📄PDF - Filipe Martins, David Matos, Miguel Pardal and Miguel Correia
Recoverable Token: Recovering from Intrusions against Digital Assets in the Ethereum Blockchain.
In Proceedings of the 19th IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2020 [Core A]
📄PDF - Alexandra Figueiredo, Tatjana Lide, David Matos and Miguel Correia
MERLIN: Multi-Language Web Vulnerability Detection
In Proceedings of the 19th IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2020 [Core A]
📄PDF𐄁 📦Code - Ricardo Moura, David Matos, Miguel L. Pardal, Miguel Correia
MultiTLS: Secure communication channel with cipher suite diversity
In 35th IFIP TC-11 SEC 2020 International Information Security and Privacy Conference, 2020
📄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 [Core A]
📄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 [Core A]
📄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 [Core A]
📄PDF 𐄁 📦Code
Technical reports
- David R. Matos, Miguel L. Pardal, Miguel Correia
Sanare: Pluggable Intrusion Recovery for Web Applications
📄PDF - David R. Matos, Nuno Neves, Alysson Bessani
SITAN: Services for Fault-Tolerant Ad Hoc Networks with Unknown Participants
Short papers / Workshop papers
- David R. Matos, Miguel L. Pardal, Pedro Adão, Rito Silva and Miguel Correia
Securing Electronic Health Records in the Cloud
1st Workshop on Privacy by Design in Distributed Systems (in EuroSys 2018)
May 2018
📄PDF - David Matos, Nuno Neves, Alysson Bessani
SITAN: Services for Ad Hoc Networks with Unknown Participants
Fast Abstract in Supplement of the International Conference on Dependable Systems and Networks (DSN), Atlanta, USA, 2 pages, June 2014
📄PDF
Portuguese conference papers
- David Matos, Emanuel Alves, Nuno Neves, Alysson Bessani
MiCCS4Mobile: Middleware para Comunicação e Coordenação Segura em Redes Ad-hoc com Participantes Desconhecidos
Simpósio de Informática (INFORUM), Évora, Portugal, September 2013
📄PDF
Thesis
- David Matos. Intrusion Recovery in Cloud Computing
PhD Thesis. Instituto Superior Técnico - Universidade de Lisboa, July 2019
📄PDF - David Matos. Achieving fault-tolerant consensus in ad hoc networks
MSc Thesis. Faculdade de Ciências da Universidade de Lisboa, November 2013
📄PDF