TY - RPRT TI - Auditable Shared Objects: From Registers to Synchronization Primitives AU - Hagit Attiya AU - Antonio Fernández Anta AU - Alessia Milani AU - Alexandre Rapetti AU - Corentin Travers PY - 2025 UR - https://arxiv.org/abs/2508.14506 ID - 2508.14506 ER -