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)

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)