| RockFS: Cloud-backed file system resilience to client-side attacks DR Matos, ML Pardal, G Carle, M Correia Proceedings of the 19th International Middleware Conference, 107-119, 2018 | 22 | 2018 |
| Securing electronic health records in the cloud DR Matos, ML Pardal, P Adao, AR Silva, M Correia Proceedings of the 1st Workshop on Privacy by Design in Distributed Systems, 1-6, 2018 | 18 | 2018 |
| NoSQL undo: Recovering NoSQL databases by undoing operations D Matos, M Correia 2016 IEEE 15th International Symposium on Network Computing and Applications …, 2016 | 13 | 2016 |
| Rectify: Black-box intrusion recovery in paas clouds DR Matos, ML Pardal, M Correia Proceedings of the 18th ACM/IFIP/USENIX Middleware Conference, 209-221, 2017 | 12 | 2017 |
| Sanare: Pluggable intrusion recovery for web applications DR Matos, ML Pardal, M Correia IEEE Transactions on Dependable and Secure Computing 20 (1), 590-605, 2021 | 7 | 2021 |
| MERLIN: multi-language web vulnerability detection A Figueiredo, T Lide, D Matos, M Correia 2020 IEEE 19th International Symposium on Network Computing and Applications …, 2020 | 5 | 2020 |
| Recoverable token: Recovering from intrusions against digital assets in Ethereum FF Martins, DR Matos, ML Pardal, M Correia 2020 IEEE 19th International Symposium on Network Computing and Applications …, 2020 | 5 | 2020 |
| MultiTLS: using multiple and diverse ciphers for stronger secure channels R Moura, R Lopes, DR Matos, ML Pardal, M Correia Computers & Security 132, 103342, 2023 | 4 | 2023 |
| MIRES: Intrusion Recovery for Applications based on Backend-as-a-Service D Vaz, D Matos, ML Pardal, M Correia IEEE Transactions on Cloud Computing, 2022 | 4 | 2022 |
| Automatic Generation of Distributed Algorithms with Generative AI D Vaz, DR Matos, ML Pardal, M Correia 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems …, 2023 | 2 | 2023 |
| MIRES: Recovering mobile applications based on backend-as-a-service from cyber attacks D Vaz, D Matos, M Pardal, M Correia MobiQuitous 2020-17th EAI International Conference on Mobile and Ubiquitous …, 2020 | 2 | 2020 |
| μVerum: Intrusion Recovery for Microservice Applications DR Matos, ML Pardal, AR Silva, M Correia IEEE Access, 2023 | | 2023 |
| Synthesis of Fault-Tolerant Reliable Broadcast Algorithms with Reinforcement Learning D Vaz, DR Matos, ML Pardal, M Correia IEEE Access, 2023 | | 2023 |
| Learning to generate Reliable Broadcast Algorithms D Vaz, DR Matos, ML Pardal, M Correia arXiv preprint arXiv:2208.00525, 2022 | | 2022 |
| MultiTLS: Secure Communication Channels with Cipher Suite Diversity R Moura, DR Matos, ML Pardal, M Correia IFIP International Conference on ICT Systems Security and Privacy Protection …, 2020 | | 2020 |
| SITAN: Services for Fault-Tolerant Ad Hoc Networks with Unknown Participants DR Matos, N Neves, A Bessani arXiv preprint arXiv:1804.09107, 2018 | | 2018 |
| Achieving fault-tolerant consensus in ad hoc networks DRPM Matos | | 2013 |
| SITAN: Services for Ad Hoc Networks with Unknown Participants D Matos, N Neves, A Bessani | | |
