Total displayed: 20
Order by:
- MultiTLS: using multiple and diverse ciphers for stronger secure channels
Ricardo Manuel Mota de Moura, Ricardo Abreu Lopes, David Rogério Póvoa de Matos, Miguel L. Pardal, Miguel Correia
Computers & Security vol. 132,
2023 - μVerum: Intrusion Recovery for Microservice Applications
David Rogério Póvoa de Matos, Miguel L. Pardal, António Rito Silva, Miguel Correia
IEEE Access vol. 11, DOI 10.1109/ACCESS.2023.3298113
2023 - Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning
Diogo Lopes Vaz, David Rogério Póvoa de Matos, Miguel L. Pardal, Miguel Correia
IEEE Access vol. 11, DOI 10.1109/ACCESS.2023.3287405
2023 - MIRES: Intrusion Recovery for Applications based on Backend-as-a-Service
Diogo Lopes Vaz, David Rogério Póvoa de Matos, Miguel L. Pardal, Miguel Correia
IEEE Transactions on Cloud Computing
2022 - Sanare: Pluggable Intrusion Recovery for Web Applications
David Rogério Póvoa de Matos, Miguel L. Pardal, Miguel Correia
IEEE Transactions on Dependable and Secure Computing vol. 20, n. 1, DOI 10.1109/TDSC.2021.3139472
2021
- Automatic Generation of Distributed Algorithms with Generative AI
Diogo Lopes Vaz, David Rogério Póvoa de Matos, Miguel L. Pardal, Miguel Correia
Proceedings of the 53th IEEE/IFIP International Conference on Dependable Systems and Networks,
2023 - Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum
Filipe Miguel Fernandes Martins, David Rogério Póvoa de Matos
19th IEEE International Symposium on Network Computing and Applications (NCA),
2020 - MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks
Diogo Lopes Vaz, David Rogério Póvoa de Matos, Miguel L. Pardal, Miguel Correia
MobiQuitous 2020, - MERLIN: Multi-Language Web Vulnerability Detection
Alexandra Sofia Gaio Chaveiro Figueiredo, Tatjana Lide, David Rogério Póvoa de Matos, Miguel Correia
19th IEEE International Symposium on Network Computing and Applications (NCA),
2020 - MultiTLS: Secure communication channel with cipher suite diversity
Ricardo Moura, David Rogério Póvoa de Matos, Miguel L. Pardal, Miguel Correia
IFIP TC-11 SEC 2020 International Information Security and Privacy Conference, - RockFS: Cloud-backed File System Resilience to Client-Side Attacks
David Rogério Póvoa de Matos, Miguel L. Pardal, Georg Carle, Miguel Correia
ACM/IFIP/USENIX 19th International Middleware Conference,
2018 - Securing Electronic Health Records in the Cloud
David Rogério Póvoa de Matos, Miguel L. Pardal, Pedro Adão, António Rito Silva, Miguel Correia
1st Workshop on Privacy by Design in Distributed Systems, ACM, ACM,
2018
- Learning to generate Reliable Broadcast Algorithms
Diogo Lopes Vaz, David Rogério Póvoa de Matos, Miguel L. Pardal, Miguel Correia
2022
- MIRES - intrusion recovery system for Backed-as-a-Service / mobile applications
Diogo Lopes Vaz, David Rogério Póvoa de Matos, Miguel L. Pardal, Miguel Correia
2021 - Rectify - black-box intrusion recovery system for PaaS clouds
David Rogério Póvoa de Matos, Miguel L. Pardal, Miguel Correia
2018 - PREMIUM - Private REactive MultIpath commUnication Middleware
Isabel Cristina Monteiro da Costa, Karan Hamirshi Balu, Diogo Miguel Marcos Raposo, David Rogério Póvoa de Matos, Miguel L. Pardal, Miguel Correia
2018 - SafeCloudFS/RockFS - single cloud and cloud-of-clouds file system resilient to client side attacks
David Rogério Póvoa de Matos, Miguel L. Pardal, Miguel Correia
2018 - SafeAudit / S-Audit cloud storage integrity verification service
Filipe Miguel Marcos Apolinário, David Rogério Póvoa de Matos, Miguel L. Pardal, Miguel Correia
2018 - MultiTLS - middleware based on diversity and tunneling for keeping communication channels secure even when new vulnerabilities are discovered
Ricardo Moura, David Rogério Póvoa de Matos, Miguel L. Pardal, Miguel Correia
2018
- Intrusion Recovery in Cloud Computing
David Rogério Póvoa de Matos
Lisboa, Portugal, Doctorates
2019