PQ-STAR: Post-Quantum Stateless Auditable Rekeying. - Shlomi Dolev; Avraham Yagudaev; Moti Yung (IACR Cryptol. ePrint Arch., 2025)