David R. Matos

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 17

Top Topics

Electronic Health Records

Mobile Applications

Intrusion Detection

Deterministic Finite Automata

Top Venues

Publications

Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service. IEEE Trans. Cloud Comput. 11 (2) (2023)
Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning. IEEE Access 11 (2023)
Ricardo Moura, Ricardo Lopes, David R. Matos, Miguel L. Pardal, Miguel Correia
MultiTLS: using multiple and diverse ciphers for stronger secure channels. Comput. Secur. 132 (2023)
Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
Automatic Generation of Distributed Algorithms with Generative AI. DSN-S (2023)
David R. Matos, Miguel L. Pardal, António Rito Silva, Miguel Correia
μVerum: Intrusion Recovery for Microservice Applications. IEEE Access 11 (2023)
David R. Matos, Miguel L. Pardal, Miguel Correia
Sanare: Pluggable Intrusion Recovery for Web Applications. IEEE Trans. Dependable Secur. Comput. 20 (1) (2023)
Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
Learning to generate Reliable Broadcast Algorithms. CoRR (2022)
Filipe F. Martins, David R. Matos, Miguel L. Pardal, Miguel Correia
Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum. NCA (2020)
Ricardo Moura, David R. Matos, Miguel L. Pardal, Miguel Correia
MultiTLS: Secure communication channels with cipher suite diversity. IACR Cryptol. ePrint Arch. 2020 (2020)
Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel P. Correia
MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks. MobiQuitous (2020)
Alexandra Figueiredo, Tatjana Lide, David R. Matos, Miguel Correia
MERLIN: Multi-Language Web Vulnerability Detection. NCA (2020)
Ricardo Moura, David R. Matos, Miguel L. Pardal, Miguel Correia
MultiTLS: Secure Communication Channels with Cipher Suite Diversity. SEC (2020)
David R. Matos, Nuno Neves, Alysson Bessani
SITAN: Services for Fault-Tolerant Ad Hoc Networks with Unknown Participants. CoRR (2018)
David R. Matos, Miguel L. Pardal, Pedro Adão, António Rito Silva, Miguel Correia
Securing Electronic Health Records in the Cloud. P2DS@EuroSys (2018)
David R. Matos, Miguel L. Pardal, Georg Carle, Miguel Correia
RockFS: Cloud-backed File System Resilience to Client-Side Attacks. Middleware (2018)
David R. Matos, Miguel L. Pardal, Miguel Correia
Rectify: black-box intrusion recovery in PaaS clouds. Middleware (2017)
David R. Matos, Miguel Correia
NoSQL Undo: Recovering NoSQL databases by undoing operations. NCA (2016)