David R. Matos

25 papers A 2B 6C 1Misc 1Journal 10Unranked 5
YearRankTypeTitle / Venue / Authors
2025 — conf
AI-Generated Distributed Algorithms: Paving the Way for More Dependable Distributed Systems.
EDCC-C
Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
2025 B conf
Bonsai: A Recovery Approach for Ethereum ERC-20 Transactions.
NCA
Diogo Melita, David R. Matos, Miguel L. Pardal
2025 — conf
Dependable Food Traceability Data Through Blockchain and Database Integration.
EDCC-C
Lourenço Preto, Samih Eisa, Orlando Remédios, David R. Matos, Miguel L. Pardal
2025 B conf
EvoChain: A Recovery Approach for Permissioned Blockchain Applications.
NCA
Francisco Faria, Samih Eisa, David R. Matos, Miguel L. Pardal
2025 B conf
Rûm: Multivalued Loss-Tolerant Byzantine Consensus for Mobile Ad-Hoc Networks.
NCA
João Pedro, Guilherme Ramos, David R. Matos
2025 — conf
Trust Through Transparency: Blockchain for Consent and Accountability in Femtech Applications.
GoodIT
Larissa Tomaz, David R. Matos, Teresa Almeida
2024 J jnl
Decentralized Storage And Self-Sovereign Identity For Document-Based Claims.
CoRR
Bruno Gomes, Samih Eisa, David R. Matos, Miguel L. Pardal
2024 J jnl
EvoChain: a Recovery Approach for Permissioned Blockchain Applications.
CoRR
Francisco Faria, Samih Eisa, David R. Matos, Miguel L. Pardal
2023 — conf
Automatic Generation of Distributed Algorithms with Generative AI.
DSN-S
Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
2023 J jnl
MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service.
IEEE Trans. Cloud Comput.
Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
2023 J jnl
MultiTLS: using multiple and diverse ciphers for stronger secure channels.
Comput. Secur.
Ricardo Moura, Ricardo Lopes, David R. Matos, Miguel L. Pardal, Miguel Correia
2023 J jnl
Sanare: Pluggable Intrusion Recovery for Web Applications.
IEEE Trans. Dependable Secur. Comput.
David R. Matos, Miguel L. Pardal, Miguel Correia
2023 J jnl
Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning.
IEEE Access
Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
2023 J jnl
μVerum: Intrusion Recovery for Microservice Applications.
IEEE Access
David R. Matos, Miguel L. Pardal, António Rito Silva, Miguel Correia
2022 J jnl
Learning to generate Reliable Broadcast Algorithms.
CoRR
Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
2020 B conf
MERLIN: Multi-Language Web Vulnerability Detection.
NCA
Alexandra Figueiredo, Tatjana Lide, David R. Matos, Miguel Correia
2020 C conf
MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks.
MobiQuitous
Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel P. Correia
2020 Misc conf
MultiTLS: Secure Communication Channels with Cipher Suite Diversity.
SEC
Ricardo Moura, David R. Matos, Miguel L. Pardal, Miguel Correia
2020 J jnl
MultiTLS: Secure communication channels with cipher suite diversity.
IACR Cryptol. ePrint Arch.
Ricardo Moura, David R. Matos, Miguel L. Pardal, Miguel Correia
2020 B conf
Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum.
NCA
Filipe F. Martins, David R. Matos, Miguel L. Pardal, Miguel Correia
2018 A conf
RockFS: Cloud-backed File System Resilience to Client-Side Attacks.
Middleware
David R. Matos, Miguel L. Pardal, Georg Carle, Miguel Correia
2018 J jnl
SITAN: Services for Fault-Tolerant Ad Hoc Networks with Unknown Participants.
CoRR
David R. Matos, Nuno Neves, Alysson Bessani
2018 — conf
Securing Electronic Health Records in the Cloud.
P2DS@EuroSys
David R. Matos, Miguel L. Pardal, Pedro Adão, António Rito Silva, Miguel Correia
2017 A conf
Rectify: black-box intrusion recovery in PaaS clouds.
Middleware
David R. Matos, Miguel L. Pardal, Miguel Correia
2016 B conf
NoSQL Undo: Recovering NoSQL databases by undoing operations.
NCA
David R. Matos, Miguel Correia