| 2025 | EDCC | Dependable Food Traceability Data Through Blockchain and Database Integration. | Loureno Preto, Samih Eisa, Orlando Remdios, David R. Matos, Miguel L. Pardal |
| 2025 | EDCC | AI-Generated Distributed Algorithms: Paving the Way for More Dependable Distributed Systems. | Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia |
| 2025 | NCA | EvoChain: A Recovery Approach for Permissioned Blockchain Applications. | Francisco Faria, Samih Eisa, David R. Matos, Miguel L. Pardal |
| 2025 | NCA | Bonsai: A Recovery Approach for Ethereum ERC-20 Transactions. | Diogo Melita, David R. Matos, Miguel L. Pardal |
| 2025 | NCA | Rm: Multivalued Loss-Tolerant Byzantine Consensus for Mobile Ad-Hoc Networks. | Joo Pedro, Guilherme Ramos, David R. Matos |
| 2023 | DSN | Automatic Generation of Distributed Algorithms with Generative AI. | Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia |
| 2020 | Mobiquitous | MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks. | Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel P. Correia |
| 2020 | NCA | MERLIN: Multi-Language Web Vulnerability Detection. | Alexandra Figueiredo, Tatjana Lide, David R. Matos, Miguel Correia |
| 2020 | NCA | Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum. | Filipe F. Martins, David R. Matos, Miguel L. Pardal, Miguel Correia |
| 2020 | SEC | MultiTLS: Secure Communication Channels with Cipher Suite Diversity. | Ricardo Moura, David R. Matos, Miguel L. Pardal, Miguel Correia |
| 2018 | EuroSys | Securing Electronic Health Records in the Cloud. | David R. Matos, Miguel L. Pardal, Pedro Ado, Antnio Rito Silva, Miguel Correia |
| 2018 | Middleware | RockFS: Cloud-backed File System Resilience to Client-Side Attacks. | David R. Matos, Miguel L. Pardal, Georg Carle, Miguel Correia |
| 2017 | Middleware | Rectify: black-box intrusion recovery in PaaS clouds. | David R. Matos, Miguel L. Pardal, Miguel Correia |
| 2016 | NCA | NoSQL Undo: Recovering NoSQL databases by undoing operations. | David R. Matos, Miguel Correia |