NoSQL Undo: Recovering NoSQL databases by undoing operations. - David R. Matos; Miguel Correia 001 (NCA, 2016)

Rectify: black-box intrusion recovery in PaaS clouds. - David R. Matos; Miguel L. Pardal; Miguel Correia 001 (Middleware, 2017)

Securing Electronic Health Records in the Cloud. - David R. Matos; Miguel L. Pardal; Pedro Adão; António Rito Silva; Miguel Correia 001 (P2DS@EuroSys, 2018)

RockFS: Cloud-backed File System Resilience to Client-Side Attacks. - David R. Matos; Miguel L. Pardal; Georg Carle; Miguel Correia 001 (Middleware, 2018)

SITAN: Services for Fault-Tolerant Ad Hoc Networks with Unknown Participants. - David R. Matos; Nuno Neves 001; Alysson Bessani (CoRR, 2018)

MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks. - Diogo Vaz; David R. Matos; Miguel L. Pardal; Miguel P. Correia 001 (MobiQuitous, 2020)

MERLIN: Multi-Language Web Vulnerability Detection. - Alexandra Figueiredo; Tatjana Lide; David R. Matos; Miguel Correia 001 (NCA, 2020)

Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum. - Filipe F. Martins; David R. Matos; Miguel L. Pardal; Miguel Correia 001 (NCA, 2020)

MultiTLS: Secure communication channels with cipher suite diversity. - Ricardo Moura; David R. Matos; Miguel L. Pardal; Miguel Correia 001 (IACR Cryptol. ePrint Arch., 2020)

Learning to generate Reliable Broadcast Algorithms. - Diogo Vaz; David R. Matos; Miguel L. Pardal; Miguel Correia 001 (CoRR, 2022)

Automatic Generation of Distributed Algorithms with Generative AI. - Diogo Vaz; David R. Matos; Miguel L. Pardal; Miguel Correia 001 (DSN-S, 2023)

μVerum: Intrusion Recovery for Microservice Applications. - David R. Matos; Miguel L. Pardal; António Rito Silva; Miguel Correia 001 (IEEE Access, 2023)

Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning. - Diogo Vaz; David R. Matos; Miguel L. Pardal; Miguel Correia 001 (IEEE Access, 2023)

MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service. - Diogo Vaz; David R. Matos; Miguel L. Pardal; Miguel Correia 001 (IEEE Trans. Cloud Comput., 2023)

Sanare: Pluggable Intrusion Recovery for Web Applications. - David R. Matos; Miguel L. Pardal; Miguel Correia 001 (IEEE Trans. Dependable Secur. Comput., 2023)

MultiTLS: using multiple and diverse ciphers for stronger secure channels. - Ricardo Moura; Ricardo Lopes; David R. Matos; Miguel L. Pardal; Miguel Correia 001 (Comput. Secur., 2023)

EvoChain: a Recovery Approach for Permissioned Blockchain Applications. - Francisco Faria; Samih Eisa; David R. Matos; Miguel L. Pardal (CoRR, 2024)

Decentralized Storage And Self-Sovereign Identity For Document-Based Claims. - Bruno Gomes; Samih Eisa; David R. Matos; Miguel L. Pardal (CoRR, 2024)