David R. Matos

According to our database, David R. Matos authored at least 16 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

MultiTLS: using multiple and diverse ciphers for stronger secure channels.

Ricardo Moura, Ricardo Lopes, David R. Matos, Miguel L. Pardal, Miguel Correia

Comput. Secur., September, 2023

Sanare: Pluggable Intrusion Recovery for Web Applications.

David R. Matos, Miguel L. Pardal, Miguel Correia

IEEE Trans. Dependable Secur. Comput., 2023

MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service.

Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia

IEEE Trans. Cloud Comput., 2023

Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning.

Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia

IEEE Access, 2023

μVerum: Intrusion Recovery for Microservice Applications.

David R. Matos, Miguel L. Pardal, António Rito Silva, Miguel Correia

IEEE Access, 2023

Automatic Generation of Distributed Algorithms with Generative AI.

Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

2022

Learning to generate Reliable Broadcast Algorithms.

Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia

CoRR, 2022

2020

MultiTLS: Secure communication channels with cipher suite diversity.

Ricardo Moura, David R. Matos, Miguel L. Pardal, Miguel Correia

IACR Cryptol. ePrint Arch., 2020

Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum.

Filipe F. Martins, David R. Matos, Miguel L. Pardal, Miguel Correia

Proceedings of the 19th IEEE International Symposium on Network Computing and Applications, 2020

MERLIN: Multi-Language Web Vulnerability Detection.

Alexandra Figueiredo, Tatjana Lide, David R. Matos, Miguel Correia

Proceedings of the 19th IEEE International Symposium on Network Computing and Applications, 2020

MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks.

Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel P. Correia

Proceedings of the MobiQuitous '20: Computing, 2020

2018

SITAN: Services for Fault-Tolerant Ad Hoc Networks with Unknown Participants.

David R. Matos, Nuno Neves, Alysson Bessani

CoRR, 2018

RockFS: Cloud-backed File System Resilience to Client-Side Attacks.

David R. Matos, Miguel L. Pardal, Georg Carle, Miguel Correia

Proceedings of the 19th International Middleware Conference, 2018

Securing Electronic Health Records in the Cloud.

David R. Matos, Miguel L. Pardal, Pedro Adão, António Rito Silva, Miguel Correia

Proceedings of the 1st Workshop on Privacy by Design in Distributed Systems, 2018

2017

Rectify: black-box intrusion recovery in PaaS clouds.

David R. Matos, Miguel L. Pardal, Miguel Correia

Proceedings of the 18th ACM/IFIP/USENIX Middleware Conference, Las Vegas, NV, USA, December 11, 2017

2016

NoSQL Undo: Recovering NoSQL databases by undoing operations.

David R. Matos, Miguel Correia

Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016