Safeguarding Data Consistency at the Edge. - Cláudio Correia (DSN (Supplements), 2020)

Cathode: A Consistency-Aware Data Placement Algorithm for the Edge. - Leonardo Epifâneo; Cláudio Correia; Luís E. T. Rodrigues (NCA, 2021)

Omega: A Secure Event Ordering Service for the Edge. - Cláudio Correia; Miguel Correia 001; Luís Rodrigues 001 (IEEE Trans. Dependable Secur. Comput., 2022)

Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge. - Cláudio Correia; Miguel Correia 001; Luís E. T. Rodrigues (CCS, 2023)

PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems. - Cláudio Correia; Rita Prates; Miguel Correia 001; Luís E. T. Rodrigues (PRDC, 2023)

Deduplication vs Privacy Tradeoffs in Cloud Storage. - Rodrigo Silva; Cláudio Correia; Miguel Correia 001; Luís E. T. Rodrigues (SAC, 2023)

Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge (Extended Version). - Cláudio Correia; Miguel Correia 001; Luís E. T. Rodrigues (CoRR, 2023)

PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems. - Cláudio Correia; Rita Prates; Luís Fonseca; Miguel Correia 001; Luís E. T. Rodrigues (Formal Aspects Comput., 2024)

Lara: Lightweight Anonymous Authentication with Asynchronous Revocation Auditability. - Cláudio Correia; Guilherme Santos; Luis Rodrigues (CoRR, 2025)