Journal papers
- 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 - David R. Matos, Miguel L. Pardal, António Rito Silva, Miguel Correia
μVerum: Intrusion Recovery for Microservice Applications
IEEE Access, 2023
📄PDF - Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning
IEEE Access, 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
- Francisco Faria, Samih Eisa, David R Matos, Miguel L Pardal
EvoChain: a Recovery Approach for Permissioned Blockchain Applications
2025 23rd International Symposium on Network Computing and Applications (NCA)
📄 PDF - João Pedro, Guilherme Ramos, David R Matos
Rûm: Multivalued Loss-Tolerant Byzantine Consensus for Mobile Ad-Hoc Networks
2025 23rd International Symposium on Network Computing and Applications (NCA)
📄 PDF - Larissa Tomaz, David R Matos, Teresa Almeida
Trust Through Transparency: Blockchain for Consent and Accountability in Femtech Applications
Proceedings of the 2025 International Conference on Information Technology for Social Good
📄 PDF - Diogo Melita, David R Matos, Miguel L Pardal
Bonsai: A Recovery Approach for Ethereum ERC-20 Transactions
2025 23rd International Symposium on Network Computing and Applications (NCA)
📄 PDF - L. Tomaz, D. Matos, T. Almeida
Trust Through Transparency: Blockchain for Consent and Accountability in Femtech Applications
ACM 5th International Conference on Information Technology for Social Good
📄PDF - Diogo Vaz, David R. Matos, Miguel L. Pardal, and Miguel Correia
Automatic Generation of Distributed Algorithms with Generative AI.
Proceedings of the 53th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Disrupt track
📄PDF - 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 𐄁 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, António Rito Silva, Beatriz Militão, Diogo Melita, Daniel Nunes, Daniela Camarinha
WELL: A Decentralized Wallet for Electronic Health Records
📄 PDF - David R. Matos, Miguel L. Pardal, Miguel Correia
Sanare: Pluggable Intrusion Recovery for Web Applications (2021)
📄PDF - David R. Matos, Nuno Neves, Alysson Bessani
SITAN: Services for Fault-Tolerant Ad Hoc Networks with Unknown Participants (2013)
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